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)
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)
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)