Download Embedded Systems: Analysis and Modeling with SysML, UML and AADL

One of the most popular book of all time Embedded Systems: Analysis and Modeling with SysML, UML and AADL by by Fabrice Kordon (Editor), Jérôme Hugues (Editor), Agusti Canals (Editor), Alain Dohet (Editor).  Book describe each and every aspect of embedded systems. See below the the table of content.

Table of contents

Chapter 1. Elements for the Design of Embedded Computer Systems
System modeling, A brief presentation of UML, The UML static diagrams, The UML dynamic diagrams, Model-driven development approaches, The concepts, The technologies, The context of the wider field, System analysis, Formal verification via proving, Formal verification by model-checking, The languages to express specifications, The actual limits of formal approaches, Methodological aspects of the development of embedded computer systems, The main technical processes, The importance of the models

Chapter 2. Case Study
The heart and the pacemaker, The heart, Presentation of a pacemaker, Case study specification, System definition, System lifecycle, System requirements, Pacemaker behavior, Conclusion, Bibliography,

3 Introduction
The origins of SysML 48, General overview: the nine types of diagrams, Modeling the requirements, Use case diagram,  Requirement diagram, Structural modeling, Block definition diagram, Internal block diagram, Package diagram, Dynamic modeling, Sequence diagram, State machine diagram,  Activity diagram, Transverse modeling, Parametric diagram, Allocation and traceability, Environment and tools

Chapter 4. Modeling of the Case Study Using SysML
System specification, Context, Requirements model and operational scenarios, Requirements model, System design, Functional model, Domain-specific data, Logical architectural model, Physical architectural model, traceability and allocations,  Technical needs: divers” traceability diagram,  Traceability diagram “technical needs: behavior of the pacemaker” ,  Allocation diagram, Test model, Traceability diagram “system test: requirements, verification”,  Sequence diagram for the test game, Diagrams presenting a general view of the requirements.

Chapter 5. Requirements Analysis
The AVATAR language and the Tool tool, Method, AVATAR language and SysML standard, The TEPE language for expressing properties, TTool, An AVATAR expression of the SysML model of the enhanced pacemaker, Functioning of the pacemaker and modeling hypotheses, Requirements diagram, Architecture, Behavior, Formal verification of the VVI mode, General properties 108, Expressing properties using TEPE,  The use of temporal logic,  Observer-guided verification, Coming back to the model, Related work, Languages, Tools.

Chapter 6. An Introduction to MARTE Concepts
General remarks, Possible uses of MARTE, How should we read the norm, The MARTE architecture, MARTE and SysML, An open source support, Several MARTE details, Modeling non-functional properties, A components model for the real-time embedded system.

Chapter 7. Case Study Modeling Using MARTEH
Hypotheses used in modeling, The modeling methodology used, Chapter layout, Software analysis, Use case and interface characterization, The sphere of application, Preliminary software design – the architectural component, The candidate architecture, Identifying the components, Presentation of the candidate architecture, A presentation of the detailed interfaces, Software preliminary design – behavioral component, The controller, The cardiologist, The operating modes of the cardiologist .

Chapter 8. Model-Based Analysis
Model and requirements to be verified, The UML-MARTE model that needs to be translated in Fiacre, Fiacre language,  The translation principles of the UML model in Fiacre, Requirements, Model-checking of the requirements, Use case,  Properties, Property check, First assessment, Context exploitation, Identifying the context scenarios, Automatic partitioning of the context graphs,  CDL language, CDL model exploitation in a model-checker, Description of a CDL context, Results, Assessment.

Chapter 9. Model-Based Deployment and Code Generation
Input models, Description of the executable component-based model, Description of the platform model, Description of the deployment model, Generation of the implementation model, Main concepts, Connector pattern, Container pattern, Implementation of the components, Resulting implementation components, Code generation, Deployment of the components, Transformation into an object-oriented model, Generating code, Support tools.

Chapter 10. Presentation of the AADL Concepts
General ADL concepts, AADLv2, an ADL for design and analysis, A history of the AADL, A brief introduction to AADL , Tools, Taxonomy of the AADL entities, Language elements: the components, Connections between the components, Language elements: attributes, Language elements: extensions and refinements, AADL annexes, Data modeling annex, Analysis of AADL models, Structural properties, Qualitative properties, Quantitative properties.

Chapter 11.  Case Study Modeling Using AADL
Review of the structure of a pacemaker, AADL modeling of the structure of the pacemaker, Decomposition of the system into several subsystems, Execution and communication infrastructure, Overview of the functioning of the pacemaker, The operational modes of the pacemaker, The operational sub-modes of the pacemaker, Some functionalities of the pacemaker, AADL modeling of the software architecture of the pulse generator, AADL modeling of the operational modes of the pulse generator, AADL modeling of the features of the pulse generator in the permanent mode, Modeling of the deployment of the pacemaker.

Chapter 12.  Model-Based Analysis
Behavioral validation, per mode and global, Validation context and fine tuning of the requirements, Translation of the behavioral automata into UPPAAL, Refining requirements 22-23/P, Study of the permanent/VVT mode, Study of the changing of the permanent/VVT→Magnet/VOO mode.

Chapter 13.  Model-Based Code Generation
Software component generation , Data conversion, Conversion of subprograms, Conversion of execution threads, Conversion of the instances of shared data, Middleware components generation, Configuration and deployment of middleware components, Deployment, Integration of the compilation chain.

Author: admin