Safeware: system safety and computers
Safeware: system safety and computers
Towards integrated safety analysis and design
ACM SIGAPP Applied Computing Review - Special issue on saftey-critical software
Safety Critical Computer Systems
Safety Critical Computer Systems
FORM: A feature-oriented reuse method with domain-specific reference architectures
Annals of Software Engineering
From Safety Analysis to Software Requirements
IEEE Transactions on Software Engineering
Efficient System Modeling for Complex Real-Time Industrial Networks using the ACCORD/UML Methodology
DIPES '00 Proceedings of the IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems: Architecture and Design of Distributed Embedded Systems
Safety and Security Analysis of Object-Oriented Models
SAFECOMP '02 Proceedings of the 21st International Conference on Computer Safety, Reliability and Security
The Galileo Fault Tree Analysis Tool
FTCS '99 Proceedings of the Twenty-Ninth Annual International Symposium on Fault-Tolerant Computing
Applying Adaptive Safety Analysis Techniques
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Basic Concepts and Taxonomy of Dependable and Secure Computing
IEEE Transactions on Dependable and Secure Computing
Managing Highly Complex Product Families with Multi-Level Feature Trees
RE '06 Proceedings of the 14th IEEE International Requirements Engineering Conference
Annotating UML models with non-functional properties for quantitative analysis
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Using product sets to define complex product decisions
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
Using variation propagation for model-driven management of a system family
SPLC'05 Proceedings of the 9th international conference on Software Product Lines
UML&AADL '2007 grand challenges
ACM SIGBED Review
Towards model-based engineering of self-configuring embedded systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Integration of component fault trees into the UML
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
Hi-index | 0.00 |
The complexity of embedded automotive systems calls for a more rigorous approach to system development compared to current state of practice. A critical issue is the management of the engineering information that defines the embedded system. Development time, cost efficiency, quality and most importantly, dependability, all benefit from appropriate information management. System modeling based on an architecture description language is a way to keep the engineering information in one information structure. The EAST-ADL was developed in the EAST-EEA project (www.east-eea.org) and is an architecture description language for automotive embedded systems. It is currently refined in the ATESST project (www.atesst.org). This chapter describes how dependability is addressed in the EAST-ADL. The engineering process defined in the EASIS project (www.easis-online.org) is used as an example to illustrate the support for engineering processes in EAST-ADL.