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 -