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
Okkonen, A., Auer, A., Levanto, M., Okkonen, J., & Kalaoja, J. (1989). Sokrates-SA: A formal method for specifying real-time systems. Microprocessing and Microprogramming, 27(1-5), 513-520. https://doi.org/10.1016/0165-6074(89)90102-6