Yet Another Real-Time Specification for the Steam Boiler: Local Clocks to Statically Measure Systems Performance


In this paper we apply a new real-time modeling to the well-known Steam Boiler case study. The novelty of our approach is in explicitly representing the various system components, i. e. hardware sensors, software controllers and so on, with separate local clocks. The aim of our approach is to be able to statically analyze the global system speciication… (More)
DOI: 10.1007/978-3-540-49020-3_4


Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics