Read more
Informationen zum Autor Sebastien Gerard is a CEA LIST senior researcher in software engineering and computer science. He graduated in 1995 from ENSMA (the Superior School of Mechanics and Aeronautics in Poitiers, France) as a mechanical and aeronautics engineer, after which he obtained a doctorate in computer science in 2000. He is currently leading a research team of about 20 engineers at CEA LIST (an arm of the French Atomic Energy Agency, http://www-list.cea.fr/gb/index_gb.htm) within the LISE (Laboratory for Model-based Engineering of real-time and embedded (RT/E) systems). The principal objective of this research of this team is to achieve "correct-by-construction? design of RT/E systems from requirements to implementation?. Through his involvement in a numerous national and international research projects, Dr. Sebastien Gerard has worked with many industrial partners such as Peugeot Citroen, Airbus, ST Microelectronics, EADS, gaining extensive experience and insight into industrial problems and requirements. Dr. Sébastien Gérard is also deeply involved in various standardization activities, and is currently co-chairing both the UML 2 and MARTE (the UML extension for RT/E) standardization task forces. He is also core member of the European network of excellence, ArtistDesign (http://www.artist-embedded.org), where he is a prime on issues related to modeling and standardization. In addition, Dr. Sébastien Gérard is a member of the editorial board of the SoSyM journal, co-founder of the summer school on model-based development for DRES (http://www.mdd4dres.info) and a frequent member of program committees of major technical and scientific conferences (MODELS, ECRTS, ISORC, etc.). Klappentext Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE is the first book to explain the MARTE standard. Coauthors Bran Selic and Sébastien Gérard lead the efforts to write the standard and distill it in this approachable reference so you can design and develop embedded software to control complex technical systems. The MARTE addendum to the UML standard will help you build real-time and embedded systems for transportation! communication! and industrial control. The functional sophistication required of advanced cyber-physical systems has reached a point where traditional code-centric development methods are proving less and less capable of delivering a reliable product in a timely manner. In Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE! Selic and Gérard explain how to overcome these limitations by taking advantage of modern model-based engineering methods and corresponding industry standards. These methods rely on the use of high-level models and supporting techniques and technologies! taking full advantage of computer automation to yield higher levels of productivity and product quality. This book includes models that will help you improve communication between stakeholders! increasing the likelihood that the right product will be implemented. You'll also learn how models enable more accurate computer-supported prediction of key system properties early in the development cycle. Zusammenfassung Explains how to apply the complex MARTE standard in practical situations. This guide illustrates with numerous examples how you can use MARTE to design and develop real-time and embedded systems and software. ...
List of contents
Preface
I: Introduction
1: An Overview of MARTE
II: Foundations
2: An Introduction to the UML Profile Mechanism
3: Specifying System Qualities (Non-Functional Properties)
4: Modeling Time and Resources
III: Modeling Real-Time Software Systems with MARTE
5: Basic Application Modeling
6: Platform Modeling
7: Specifying Deployment
8: Combining MARTE and SysML
9: Modeling Component Based Systems
10: Combining MARTE and SysML
IV: System analysis using MARTE
11: Foundations of System Analysis
12: Performance Analysis
13: Schedulability Analysis
V: Extending MARTE
14: Extending MARTE
APPENDICES
A. The Value Specification Language
B. The MARTE NFP Library Reference
C. MARTE tools
