| Titre : |
Embedded systems : analysis and modeling with SysML, UML and aadl / |
| Type de document : |
texte imprimé |
| Auteurs : |
Fabrice Kordon ; Jerome Hugues ; Agustí Canals ; Alain Dohet |
| Importance : |
xxii, 292 pages |
| Présentation : |
illustrations |
| Format : |
24 cm |
| ISBN/ISSN/EAN : |
978-1-84821-500-9 |
| Mots-clés : |
Embedded systems -ELEMENTS FOR dhe designofembeded-casestudy pacemaker- presentation of sysml concepts-modeling of dhe case study using sysml-requirements analysis-an introduction to marte concepts-model based analysis -presentation ofv dhe aadl concepts |
| Résumé : |
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. Contents: Foreword, Brian R. Larson. Foreword, Dominique Potier. Introduction, Fabrice Kordon, J�r�me Hugues, Agusti Canals and Alain Dohet. Part 1. General Concepts 1. Elements for the Design of Embedded Computer Systems, Fabrice Kordon, J�r�me Hugues, Agusti Canals and Alain Dohet. 2. Case Study: Pacemaker, Fabrice Kordon, J�r�me Hugues, Agusti Canals and Alain Dohet. Part 2. SysML 3. Presentation of SysML Concepts, Jean-Michel Bruel and Pascal Roques. 4. Modeling of the Case Study Using SysML, Lo�c Fejoz, Philippe Leblanc and Agusti Canals. 5. Requirements Analysis, Ludovic Apvrille and Pierre De Saqui-Sannes. Part 3. MARTE 6. An Introduction to MARTE Concepts, S�bastien G�rard and Fran�ois Terrier. 7. Case Study Modeling Using MARTE, J�r�me Delatour and Jo�l Champeau. 8. Model-Based Analysis, Frederic Boniol, Philippe Dhaussy, Luka Le Roux and Jean-Charles Roger. 9. Model-Based Deployment and Code Generation, Chokri Mraidha, Ansgar Radermacher and S�bastien G�rard. Part 4. AADL 10. Presentation of the AADL Concepts, J�r�me Hugues and Xavier Renault. 11. Case Study Modeling Using AADL, Etienne Borde. 12. Model-Based Analysis, Thomas Robert and J�r�me Hugues. 13. Model-Based Code Generation, Laurent Pautet and B�chir Zalila. The purpose of this book is to address modelling aspects for embedded systems. The idea is to start from a common case study, and use SysML, Uml and AADL for modelling. An original and pedagogic book to understand and use SysML, UML and AADL, through a complete case study in the embedded systems context. This book addresses modeling aspects for embedded systems. It starts from a common case study and uses SysML, UML, and AADL for modeling. An original and instructive work, this book provides readers with clear, practical guidance on how to use SysML, UML, and AADL, walking them step by step through a complete case study in the embedded systems context.
|
Embedded systems : analysis and modeling with SysML, UML and aadl / [texte imprimé] / Fabrice Kordon ; Jerome Hugues ; Agustí Canals ; Alain Dohet . - [s.d.] . - xxii, 292 pages : illustrations ; 24 cm. ISBN : 978-1-84821-500-9
| Mots-clés : |
Embedded systems -ELEMENTS FOR dhe designofembeded-casestudy pacemaker- presentation of sysml concepts-modeling of dhe case study using sysml-requirements analysis-an introduction to marte concepts-model based analysis -presentation ofv dhe aadl concepts |
| Résumé : |
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. Contents: Foreword, Brian R. Larson. Foreword, Dominique Potier. Introduction, Fabrice Kordon, J�r�me Hugues, Agusti Canals and Alain Dohet. Part 1. General Concepts 1. Elements for the Design of Embedded Computer Systems, Fabrice Kordon, J�r�me Hugues, Agusti Canals and Alain Dohet. 2. Case Study: Pacemaker, Fabrice Kordon, J�r�me Hugues, Agusti Canals and Alain Dohet. Part 2. SysML 3. Presentation of SysML Concepts, Jean-Michel Bruel and Pascal Roques. 4. Modeling of the Case Study Using SysML, Lo�c Fejoz, Philippe Leblanc and Agusti Canals. 5. Requirements Analysis, Ludovic Apvrille and Pierre De Saqui-Sannes. Part 3. MARTE 6. An Introduction to MARTE Concepts, S�bastien G�rard and Fran�ois Terrier. 7. Case Study Modeling Using MARTE, J�r�me Delatour and Jo�l Champeau. 8. Model-Based Analysis, Frederic Boniol, Philippe Dhaussy, Luka Le Roux and Jean-Charles Roger. 9. Model-Based Deployment and Code Generation, Chokri Mraidha, Ansgar Radermacher and S�bastien G�rard. Part 4. AADL 10. Presentation of the AADL Concepts, J�r�me Hugues and Xavier Renault. 11. Case Study Modeling Using AADL, Etienne Borde. 12. Model-Based Analysis, Thomas Robert and J�r�me Hugues. 13. Model-Based Code Generation, Laurent Pautet and B�chir Zalila. The purpose of this book is to address modelling aspects for embedded systems. The idea is to start from a common case study, and use SysML, Uml and AADL for modelling. An original and pedagogic book to understand and use SysML, UML and AADL, through a complete case study in the embedded systems context. This book addresses modeling aspects for embedded systems. It starts from a common case study and uses SysML, UML, and AADL for modeling. An original and instructive work, this book provides readers with clear, practical guidance on how to use SysML, UML, and AADL, walking them step by step through a complete case study in the embedded systems context.
|
|  |
Affiner la recherche Interroger des sources externes
