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.
|Microprocessing and Microprogramming
|Published - 1989
|MoE publication type
|A1 Journal article-refereed
|15th EUROMICRO Symposium on Microprocessing and Microprogramming, EUROMICRO 89 - Cologne, Germany
Duration: 4 Sept 1989 → 8 Sept 1989