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

    8 Citations (Scopus)

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

    Fingerprint

    Formal methods
    Real time systems
    Specifications
    Embedded systems
    Testing

    Cite this

    Okkonen, Ari ; Auer, Antti ; Levanto, Mikko ; Okkonen, Jyrki ; Kalaoja, Jarmo. / Sokrates-SA : A formal method for specifying real-time systems. In: Microprocessing and Microprogramming. 1989 ; Vol. 27, No. 1-5. pp. 513-520.
    @article{914ea979245a4341a176507718c41d96,
    title = "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.",
    author = "Ari Okkonen and Antti Auer and Mikko Levanto and Jyrki Okkonen and Jarmo Kalaoja",
    year = "1989",
    doi = "10.1016/0165-6074(89)90102-6",
    language = "English",
    volume = "27",
    pages = "513--520",
    journal = "Journal of Systems Architecture",
    issn = "1383-7621",
    publisher = "Elsevier",
    number = "1-5",

    }

    Sokrates-SA : A formal method for specifying real-time systems. / Okkonen, Ari; Auer, Antti; Levanto, Mikko; Okkonen, Jyrki; Kalaoja, Jarmo.

    In: Microprocessing and Microprogramming, Vol. 27, No. 1-5, 1989, p. 513-520.

    Research output: Contribution to journalArticleScientificpeer-review

    TY - JOUR

    T1 - Sokrates-SA

    T2 - A formal method for specifying real-time systems

    AU - Okkonen, Ari

    AU - Auer, Antti

    AU - Levanto, Mikko

    AU - Okkonen, Jyrki

    AU - Kalaoja, Jarmo

    PY - 1989

    Y1 - 1989

    N2 - 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.

    AB - 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.

    U2 - 10.1016/0165-6074(89)90102-6

    DO - 10.1016/0165-6074(89)90102-6

    M3 - Article

    VL - 27

    SP - 513

    EP - 520

    JO - Journal of Systems Architecture

    JF - Journal of Systems Architecture

    SN - 1383-7621

    IS - 1-5

    ER -