Automated code generation of embedded real-time systems

Antti Auer; Pekka Kemppainen; Ari Okkonen; Veikko Seppänen

doi:10.1016/0165-6074(88)90028-2

Automated code generation of embedded real-time systems

Antti Auer
, Pekka Kemppainen
, Ari Okkonen
, Veikko Seppänen

VTT Technical Research Centre of Finland

VTT (former employee or external)
Kone Oyj

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

6 Citations (Scopus)

Abstract

A code generator is presented. It produces full tasks for real-time systems from a structured data/control flow description. The work is based on ideas behind the RT-SA/SD methodology and program transformation paradigm. The code generator is written in Prolog. It is now capable of producing programs in PL/M-86 language for realistic applications and Petri nets for dynamic analysis. The resulting code has been found effective. The dynamic analysis has proven its ability to reveal severe errors from given RT-SA/SD specifications. First results of the work demonstrate the applicability of the approach used.

Original language	English
Pages (from-to)	51-55
Journal	Microprocessing and Microprogramming
Volume	24
Issue number	1-5
DOIs	https://doi.org/10.1016/0165-6074(88)90028-2
Publication status	Published - 1988
MoE publication type	A1 Journal article-refereed
Event	Supercomputers: Technology and Applications: Euromicro '88 - Zürich, Switzerland Duration: 29 Aug 1988 → 1 Sept 1988

Access to Document

10.1016/0165-6074(88)90028-2

Cite this

@article{58bc93b6d3b5402db349d7747747034b,

title = "Automated code generation of embedded real-time systems",

abstract = "A code generator is presented. It produces full tasks for real-time systems from a structured data/control flow description. The work is based on ideas behind the RT-SA/SD methodology and program transformation paradigm. The code generator is written in Prolog. It is now capable of producing programs in PL/M-86 language for realistic applications and Petri nets for dynamic analysis. The resulting code has been found effective. The dynamic analysis has proven its ability to reveal severe errors from given RT-SA/SD specifications. First results of the work demonstrate the applicability of the approach used.",

author = "Antti Auer and Pekka Kemppainen and Ari Okkonen and Veikko Sepp{\"a}nen",

year = "1988",

doi = "10.1016/0165-6074(88)90028-2",

language = "English",

volume = "24",

pages = "51--55",

journal = "Microprocessing and Microprogramming",

issn = "0165-6074",

number = "1-5",

note = "Supercomputers: Technology and Applications : Euromicro '88 ; Conference date: 29-08-1988 Through 01-09-1988",

}

TY - JOUR

T1 - Automated code generation of embedded real-time systems

AU - Auer, Antti

AU - Kemppainen, Pekka

AU - Okkonen, Ari

AU - Seppänen, Veikko

PY - 1988

Y1 - 1988

N2 - A code generator is presented. It produces full tasks for real-time systems from a structured data/control flow description. The work is based on ideas behind the RT-SA/SD methodology and program transformation paradigm. The code generator is written in Prolog. It is now capable of producing programs in PL/M-86 language for realistic applications and Petri nets for dynamic analysis. The resulting code has been found effective. The dynamic analysis has proven its ability to reveal severe errors from given RT-SA/SD specifications. First results of the work demonstrate the applicability of the approach used.

AB - A code generator is presented. It produces full tasks for real-time systems from a structured data/control flow description. The work is based on ideas behind the RT-SA/SD methodology and program transformation paradigm. The code generator is written in Prolog. It is now capable of producing programs in PL/M-86 language for realistic applications and Petri nets for dynamic analysis. The resulting code has been found effective. The dynamic analysis has proven its ability to reveal severe errors from given RT-SA/SD specifications. First results of the work demonstrate the applicability of the approach used.

U2 - 10.1016/0165-6074(88)90028-2

DO - 10.1016/0165-6074(88)90028-2

M3 - Article

SN - 0165-6074

VL - 24

SP - 51

EP - 55

JO - Microprocessing and Microprogramming

JF - Microprocessing and Microprogramming

IS - 1-5

T2 - Supercomputers: Technology and Applications

Y2 - 29 August 1988 through 1 September 1988

ER -

Automated code generation of embedded real-time systems

Abstract

Access to Document

Fingerprint

Cite this