DocumentCode :
2439289
Title :
Automatic Code Generation from Real-Time Systems Specifications
Author :
Carnevali, L. ; Amico, D.D. ; Ridi, L. ; Vicario, E.
Author_Institution :
Dipt. di Sist. e Inf., Univ. di Firenze, Firenze, Italy
fYear :
2009
fDate :
23-26 June 2009
Firstpage :
102
Lastpage :
105
Abstract :
We address the problem of rapid development of complex real-time task-sets through a Model Driven Development (MDD) approach. The task-set is specified according to the graphic formalism of timeline schemas and it is translated into C-code that implements the dynamic architecture of the task-set on top of Linux-RTAI operating system. The transformation is performed through an engine obtained as an instance of a new model-transformation framework based on Java and eXtensible Stylesheet Language Transformations (XSLT) called JComposer. This is designed according to a flexible architecture that enables agile evolution of specification formalisms and target artifacts employed along the development process.
Keywords :
Java; Linux; formal specification; program compilers; real-time systems; JComposer; Java; Linux-RTAI operating system; agile evolution; automatic code generation; eXtensible stylesheet language transformation; graphic formalism; model driven development; real-time system specification; timeline schema; Analytical models; Certification; Context modeling; Engines; Graphics; Java; Prototypes; Real time systems; Style sheet languages; Time factors; Linux-RTAI; Model Driven Development; concurrent real-time systems; design patterns; dynamic architecture; preemptive Time Petri Nets; software engineering; visual specification language;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Rapid System Prototyping, 2009. RSP '09. IEEE/IFIP International Symposium on
Conference_Location :
Paris
ISSN :
1074-6005
Print_ISBN :
978-0-7695-3690-3
Type :
conf
DOI :
10.1109/RSP.2009.24
Filename :
5158506
Link To Document :
بازگشت