%0 Book Section
%T Case Study Modeling Using MARTE
%+ ESEO-TRAME (TRAME)
%+ Institut de Recherche en Communications et en Cybernétique de Nantes (IRCCyN)
%+ Lab-STICC_ENSTAB_CACS_MOCS ; IDM
%A Delatour, Jérôme
%A Champeau, Joël
%B Embedded Systems. Analysis and Modeling with SysML, UML and AADL
%I Wiley
%P 139-156
%8 2013-04-01
%D 2013
%K analyses
%K systèmes embarqués
%K modélisation
%Z Computer Science [cs]/Embedded Systems
%Z Computer Science [cs]/Modeling and SimulationBook sections
%X Since the construction of the first embedded system in the 1960s, embedded systems have continued to spread. They provide a continually increasing number of services and are part of our daily life. The development of these systems is a difficult problem which does not yet have a global solution. Another difficulty is that systems are plunged into the real world, which is not discrete (as is generally understood in computing), but has a richness of behaviors which sometimes hinders the formulation of simplifying assumptions due to their generally autonomous nature and they must face possibly unforeseen situations (incidents, for example), or even situations that lie outside the initial design assumptions. Embedded Systems presents the state of the art of the development of embedded systems and, in particular, concentrates on the modeling and analysis of these systems by looking at "model-driven engineering", (MDE2): SysML, UML/MARTE and AADL. A case study (based on a pacemaker) is presented which enables the reader to observe how the different aspects of a system are addressed using the different approaches. All three systems are important in that they provide the reader with a global view of their possibilities and demonstrate the contributions of each approach in the different stages of the software lifecycle. Chapters dedicated to analyzing the specification and code generation are also presented. Chapter 7 : In this chapter, we will introduce the modeling of the case study of a pacemaker, using the UML-MARTE notation. Having laid out the MARTE principles in Chapter6, in this current chapter we will assume the reader has understood them.
%G English
%L hal-00821955
%U https://hal-ensta-bretagne.archives-ouvertes.fr/hal-00821955
%~ ENSTA-BRETAGNE
%~ CNRS
%~ INSTITUT-TELECOM
%~ ENSTA-BRETAGNE-STIC
%~ UNIV-BREST
%~ ENIB
%~ LAB-STICC_ENIB
%~ UNAM
%~ UNIV-UBS
%~ LAB-STICC
%~ ESEO-TECH
%~ EC-NANTES
%~ IRCCYN
%~ UNIV-NANTES
%~ ESEO-TRAME
%~ IRCCYN-STR
%~ TDS-MACS
%~ INSTITUTS-TELECOM
%~ ESEO-ERIS