#### Filter Results:

#### Publication Year

1979

2016

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

An approach to specification of requirements and verification of design for real-time systems is presented, A system is defined by a conventional mathematical model for a dynamic system where application specific state variables denote total functions of real time. Specifications are formulas in a real-time interval logic, where predicates define durations… (More)

Based on the diierential action introduced in 12] we extend the action system framework into a hybrid action system framework. Hybrid action systems are to be used in modelling and analysing hybrid systems. The meaning of a hybrid action system is given as an ordinary action system. We also extended the deenition of a parallel composition for action systems… (More)

- Anders P. Ravn
- 1995

Keywords: Formal methods Multi-view modelling rCOS Software design process Tool design UML a b s t r a c t Modern software development is complex as it has to deal with many different and yet related aspects of applications. In practical software engineering this is now handled by a UML-like modelling approach in which different aspects are modelled by… (More)

- Jifeng He, C. A. R. Hoare, Martin Fränzle, Markus Müller-Olm, Ernst-Rüdiger Olderog, Michael Schenke +3 others
- FTRTFT
- 1994

The goal of the Provably Correct Systems project (ProCoS) is to develop a mathematical basis for development of embedded, real-time, computer systems. This survey paper introduces the speciication languages and veriication techniques for four levels of development: Requirements deenition and control design; Transformation to a systems architecture with… (More)