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

Ari Okkonen, Antti Auer, Mikko Levanto, Jyrki Okkonen, Jarmo Kalaoja

    Research output: Contribution to journalArticleScientificpeer-review

    10 Citations (Scopus)


    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.
    Original languageEnglish
    Pages (from-to)513-520
    JournalMicroprocessing and Microprogramming
    Issue number1-5
    Publication statusPublished - 1989
    MoE publication typeA1 Journal article-refereed
    Event15th EUROMICRO Symposium on Microprocessing and Microprogramming, EUROMICRO 89 - Cologne, Germany
    Duration: 4 Sept 19898 Sept 1989


    Dive into the research topics of 'Sokrates-SA: A formal method for specifying real-time systems'. Together they form a unique fingerprint.

    Cite this