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