Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Safeware: system safety and computers
Safeware: system safety and computers
Component Based Design of Multitolerant Systems
IEEE Transactions on Software Engineering
Model Driven Architecture: Applying MDA to Enterprise Computing
Model Driven Architecture: Applying MDA to Enterprise Computing
Synthesis of fault-tolerant concurrent programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Model-based run-time monitoring of end-to-end deadlines
Proceedings of the 5th ACM international conference on Embedded software
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Rich services: addressing challenges of ultra-large-scale software-intensive systems
Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems
A Rich Services Approach to CoCoME
The Common Component Modeling Example
Model-Driven Adaptive Self-healing for Autonomic Computing
MACE '08 Proceedings of the 3rd IEEE international workshop on Modelling Autonomic Communications Environments
Quality assurance of automotive hybrid embedded software
Proceedings of the Warm Up Workshop for ACM/IEEE ICSE 2010
Model-based failure management for distributed reactive systems
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Model-based analysis and development of dependable systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Requirements for service composition in ultra-large scale software-intensive systems
Monterey'08 Proceedings of the 15th Monterey conference on Foundations of Computer Software: future Trends and Techniques for Development
A UML2 profile for service modeling
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Hi-index | 0.00 |
Failure management is a particular challenge problem in the automotive domain. Today's cars host a network of 30 to 80 electronic control units (ECUs), distributed over up to five interconnected in-car networks supporting hundreds to thousands of softwaredefined functions. This high degree of distribution of hard- and software components is a key contributor to the difficulty of failure management in vehicle. This paper addresses comprehensive failure management, starting from domain models for logical and deployment models of automotive software. These models capture interaction patterns as a critical part of both logical and deployment architectures, introducing failure detection and mitigation as "wrapper" services to "unmanaged services", i.e. services without failure management. We show how these models can be embedded into an interaction-centric development process, which captures failure management information across development phases. Finally, we exploit the failure management models to verify that a particular architecture meets its requirements under the stated failure hypothesis.