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

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

doi:10.1016/0165-6074(89)90102-6

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

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

Research output: Contribution to journal › Article › Scientific › peer-review

10 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 language	English
Pages (from-to)	513-520
Journal	Microprocessing and Microprogramming
Volume	27
Issue number	1-5
DOIs	https://doi.org/10.1016/0165-6074(89)90102-6
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 Sept 1989 → 8 Sept 1989

Access to Document

10.1016/0165-6074(89)90102-6

Cite this

@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 = "Microprocessing and Microprogramming",

issn = "0165-6074",

publisher = "Elsevier",

number = "1-5",

note = "15th EUROMICRO Symposium on Microprocessing and Microprogramming, EUROMICRO 89, EUROMICRO 89 ; Conference date: 04-09-1989 Through 08-09-1989",

}

TY - JOUR

T1 - Sokrates-SA

T2 - 15th EUROMICRO Symposium on Microprocessing and Microprogramming, EUROMICRO 89

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

SN - 0165-6074

VL - 27

SP - 513

EP - 520

JO - Microprocessing and Microprogramming

JF - Microprocessing and Microprogramming

IS - 1-5

Y2 - 4 September 1989 through 8 September 1989

ER -

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

Abstract

Access to Document

Fingerprint

Cite this