A model based development approach for distributed embedded systems

被引：0
|
作者：
Gilliers, F
Kordon, F
Regep, D
机构：
[1] Univ Paris 06, Lab Informat, F-75252 Paris 05, France
[2] Sagem SA, F-95610 Eragny, France
[3] Sagem SA, F-95612 Cergy Pontoise, France
来源：
RADICAL INNOVATIONS OF SOFTWARE AND SYSTEMS ENGINEERING IN THE FUTURE | 2004年 / 2941卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Design of reliable distributed systems is stretching limits in terms of complexity since existing development techniques are usually not fully accurate for this type of applications. The main problem is the gap between the various notations used during the development process. Even if UML is a significant step forward, it is not fully suitable for model based development of distributed systems. We present a model based development approach based on LfP (Language for Prototyping) applied to distributed systems. It emphasizes the use of a model serving as a basis for automatic code generation; strong connections with formal verification techniques enforce correcteness of the system. The paper focuses on the description of code generation techniques.
引用
收藏
页码：137 / 151
页数：15
相关论文
共 50 条
  • [21] A decomposition-based approach to optimization of TTP-based distributed embedded systems
    Zhang, Ming
    Zheng, Nenggan
    Li, Hong
    Gu, Zonghua
    [J]. JOURNAL OF SYSTEMS ARCHITECTURE, 2018, 91 : 53 - 61
  • [22] A CLOUD-BASED APPROACH TO DEVELOPMENT OF EMBEDDED SYSTEMS SOFTWARE
    Hausladen, Juergen
    Pohn, Birgit
    Horauer, Martin
    [J]. INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2015, VOL 9, 2016,
  • [23] Model-Based Development of Distributed Embedded Real-Time Systems with the DECOS Tool-Chain
    Herzner, Wolfgang
    Schlager, Martin
    Csertan, Gyorgy
    Huber, Bernhard
    Le-Sergent, Thierry
    Schoitsch, Erwin
    Schlick, Rupert
    [J]. ERCIM NEWS, 2008, (75): : 25 - 26
  • [24] Automotive Embedded Systems-Model Based Approach Review
    Shaout, Adnan
    Pattela, Shanmukha
    [J]. INTERNATIONAL ARAB JOURNAL OF INFORMATION TECHNOLOGY, 2022, 19 (3A) : 456 - 462
  • [25] Applying a model-based approach for embedded system development
    Bunse, Christian
    Gross, Hans-Gerhard
    Peper, Christian
    [J]. SEAA 2007: 33RD EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS, 2007, : 121 - +
  • [26] Model-based Development of Embedded Systems' User Interfaces
    Barth, Jelena
    Westphal, Bernd
    Arlt, Stephan
    [J]. PROCEEDINGS OF THE 5TH INTERNATIONAL WORKSHOP ON MODEL BASED ARCHITECTING AND CONSTRUCTION OF EMBEDDED SYSTEMS (ACES'MB 2012), 2013, : 37 - 42
  • [27] Towards Model Based Development of Managed Networked Embedded Systems
    Aboussoror, El Arbi
    Ober, Ileana
    Sibilla, Michelle
    [J]. SDL 2009: DESIGN FOR MOTES AND MOBILES, PROCEEDINGS, 2009, 5719 : 53 - 62
  • [28] Rapid Embedded Systems Prototyping - an effective approach to embedded systems development
    Brzoza-Woch, Robert
    Gurdek, Lukasz
    Szydlo, Tomasz
    [J]. PROCEEDINGS OF THE 2018 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2018, : 629 - 636
  • [29] Model-to-Model based Approach for Software Component Allocation in Embedded Systems
    Al-Dakheel, Lujain
    Al-Azzoni, Issam
    [J]. MODELSWARD: PROCEEDINGS OF THE 5TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2017, : 320 - 328
  • [30] Innovation Welcome: An Agile Approach to Model-Based Development of Safety-Critical Embedded Systems
    Mills, John
    Turin, Raymond
    Mangas, Jeremy
    Ranville, Scott
    [J]. 2018 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C 2018), 2018, : 152 - 152
12345