Embedded software generation from system level design languages
Haobo Yu, Rainer Dömer, Daniel D. Gajski
Abstract
Haobo Yu, Rainer Dömer, Daniel D. Gajski
Abstract
Abstract — To meet the challenge of increasing design com-plexity, designers are turning to system level design languages (SLDLs) to model systems at a higher level of abstraction. This paper presents a method of automatically generating embedded software from system specification written in SLDL. Several re-finement steps and intermediate models are introduced in our software generation flow. We demonstrate the effectiveness of the proposed method by a tool which can generate efficient ANSI C code from system models written in SLDL. I.
OpenAlex reports 41 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Abstract — To meet the challenge of increasing design com-plexity, designers are turning to system level design languages (SLDLs) to model systems at a higher level of abstraction. This paper presents a method of automatically generating embedded software from system specification written in SLDL. Several re-finement steps and intermediate models are introduced in our software generation flow. We demonstrate the effectiveness of the proposed method by a tool which can generate efficient ANSI C code from system models written in SLDL. I.
Key concepts: Computer science, Electronic system-level design and verification, Programming language, Abstraction, Code generation, ANSI C, Software system, Software