Automatic Code Generation from Real-Time Systems Specifications

被引：0
|
作者：
Carnevali, L. [1 ]
D'Amico, D. [1 ]
Ridi, L. [1 ]
Vicario, E. [1 ]
机构：
[1] Univ Florence, Dipartimento Sistemi & Informat, I-50121 Florence, Italy
来源：
RSP 2009: TWENTIETH IEEE/IFIP INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE | 2009年
关键词：
D O I：
10.1109/RSP.2009.24
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：102 / 105
页数：4
相关论文
共 50 条
  • [1] Automatic code generation for real-time reactive systems in TROMLAB environment
    Alagar, VS
    Zhang, L
    [J]. SEVENTH INTERNATIONAL CONFERENCE ON REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS, PROCEEDINGS, 2000, : 503 - 510
  • [2] Automatic abstractions of real-time specifications
    Brockmeyer, M
    [J]. FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, : 147 - 158
  • [3] AUTOMATED CODE GENERATION OF EMBEDDED REAL-TIME SYSTEMS
    AUER, A
    KEMPPAINEN, P
    OKKONEN, A
    SEPPANEN, V
    [J]. MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 51 - 55
  • [4] Target software generation: an approach for automatic mapping of SystemC specifications onto real-time operating systems
    Matthias Krause
    Oliver Bringmann
    Wolfgang Rosenstiel
    [J]. Design Automation for Embedded Systems, 2005, 10 : 229 - 251
  • [5] Target software generation: an approach for automatic mapping of SystemC specifications onto real-time operating systems
    Krause, Matthias
    Bringmann, Oliver
    Rosenstiel, Wolfgang
    [J]. DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 2005, 10 (04) : 229 - 251
  • [6] Automatic Code Generation for Real-Time Systems: a Development Approach based on Components, Models, and Frameworks
    Alonso, Diego
    Angel Pastor, Juan
    Sanchez, Pedro
    Alvarez, Barbara
    Vicente-Chicote, Cristina
    [J]. REVISTA IBEROAMERICANA DE AUTOMATICA E INFORMATICA INDUSTRIAL, 2012, 9 (02): : 170 - 181
  • [7] Automatic generation of code within the context of the design of the embedded real-time systems: Case study
    Ben Abderrahmen, M
    Abid, M
    Diguet, JP
    Philippe, JL
    [J]. ICM 2003: PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON MICROELECTRONICS, 2003, : 313 - 316
  • [8] Automated generation of test suites from formal specifications of real-time reactive systems
    Zheng, Mao
    Alagar, Vasu
    Ormandjieva, Olga
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2008, 81 (02) : 286 - 304
  • [9] A Code Generation Framework for Time-Triggered Real-Time Systems
    Pletzer, Johannes
    Templ, Josef
    Pree, Wolfgang
    [J]. 2009 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, PROCEEDINGS, 2009, : 437 - 442
  • [10] A Code Generation Framework for Distributed Real-Time Embedded Systems
    Bambagini, Mario
    Di Natale, Marco
    [J]. 2012 IEEE 17TH CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION (ETFA), 2012,
12345