Modelling Support for Design of Safety-Critical Automotive Embedded Systems 1st edition by DeJiu Chen, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Anders Sandberg, Fredrik Törner, Martin Törngren – Ebook PDF Instant Download/Delivery. 3540876977, 978-3540876977
Full download Modelling Support for Design of Safety-Critical Automotive Embedded Systems 1st Edition after payment
Product details:
ISBN 10: 3540876977
ISBN 13: 978-3540876977
Author: DeJiu Chen, Rolf Johansson, Henrik Lönn, Yiannis Papadopoulos, Anders Sandberg, Fredrik Törner, Martin Törngren
This paper describes and demonstrates an approach that promises to bridge the gap between model-based systems engineering and the safety process of automotive embedded systems. The basis for this is the integration of safety analysis techniques, a method for developing and managing Safety Cases, and a systematic approach to model-based engineering – the EAST-ADL2 architecture description language. Three areas are highlighted: (1) System model development on different levels of abstraction. This enables fulfilling many requirements on software development as specified by ISO-CD-26262; (2) Safety Case development in close connection to the system model; (3) Analysis of mal-functional behaviour that may cause hazards, by modelling of errors and error propagation in a (complex and hierarchical) system model.
Modelling Support for Design of Safety-Critical Automotive Embedded Systems 1st Table of contents:
Introduction
-
Introduction
- Overview of Safety-Critical Automotive Systems
- The Role of Modelling in Safety-Critical System Design
- Objectives and Structure of the Book
Fundamentals of Automotive Embedded Systems
- Introduction to Automotive Embedded Systems
- Key Components of Safety-Critical Automotive Systems
- Challenges in Designing Safety-Critical Systems
Model-Based Design for Safety-Critical Systems
- Overview of Model-Based Design (MBD)
- Benefits of MBD in Automotive System Design
- MBD Methodologies and Tools
Safety Standards and Guidelines for Automotive Systems
- Overview of Safety Standards (e.g., ISO 26262)
- Functional Safety in Automotive Systems
- Applying Safety Standards in the Design Process
Modelling Techniques for Safety Analysis
- Hazard Analysis and Risk Assessment Models
- Fault Tree Analysis (FTA) and Failure Mode Effects Analysis (FMEA)
- Reliability and Safety Modelling Approaches
Verification and Validation of Automotive Systems
- Model Checking and Formal Verification Techniques
- Simulation and Testing Approaches
- Validating Safety Requirements in Embedded Systems
Design of Safety-Critical Automotive Embedded Systems
- System Design Process for Safety-Critical Automotive Systems
- Case Studies in Automotive Embedded Systems Design
- Integration of Safety and Functional Requirements
Tools and Techniques for Modelling Automotive Embedded Systems
- Tools for Safety Analysis and System Modelling
- Simulation and Prototyping Tools
- Integration of Modelling Tools into the Development Lifecycle
Advanced Topics in Safety-Critical Automotive Systems
- Cybersecurity in Automotive Systems
- Autonomous Driving and its Safety Implications
- Real-Time and Distributed Systems in Automotive Design
Applications of Model-Based Design in Automotive Systems
- Modelling Safety-Critical Applications in Automotive Domains
- Applications of Modelling in Autonomous Vehicles
- Ensuring Safety in Electrified and Connected Vehicles
Challenges and Future Directions
- Current Challenges in Safety-Critical Automotive System Design
- Future Trends in Model-Based Design for Automotive Systems
- Emerging Technologies and their Impact on Automotive Safety
Conclusion
- Summary of Key Insights
- Impact of Model-Based Design on Automotive Safety
- Final Thoughts on Future Research and Development
People also search for Modelling Support for Design of Safety-Critical Automotive Embedded Systems 1st:
design support model
a working model of a design
a design model needs to have several important characteristics
support for modeling and analysis
c4 model for architecture