A Model Based Development Approach for Distributed Embedded Systems - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2002

A Model Based Development Approach for Distributed Embedded Systems

Frédéric Gilliers
  • Fonction : Auteur
  • PersonId : 968342
Fabrice Kordon
Dan Regep
  • Fonction : Auteur
  • PersonId : 1009154

Résumé

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.

Dates et versions

hal-01544445 , version 1 (21-06-2017)

Identifiants

Citer

Frédéric Gilliers, Fabrice Kordon, Dan Regep. A Model Based Development Approach for Distributed Embedded Systems. 2002 Monterey Workshop : Radical Innovations of Software and Systems Engineering in the Future, Oct 2002, Venice, Italy. pp.137-151, ⟨10.1007/978-3-540-24626-8_9⟩. ⟨hal-01544445⟩
70 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More