Sokrates-SA - A formal method for specifying real-time systems

Abstract The complexity and requirements of embedded real-time systems have reached the limit where current design methodologies do not sufficiently support the practical needs of specification, implementation and testing. We introduce a method and a graphic language for specification of real-time systems. By this methodology a system is modelled at different abstraction levels using the same language constructs. The specification models can then be transformed automatically to a selected implementation. Our compilers are integrated to a commercial CASE-tool. This paper outlines the method and language and gives a short description of computer tools used to demonstrate the methodology.