Model-Based Synthesis of Fault Trees from Matlab-Simulink Models
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Generating Code from Hierarchical State-Based Requirements
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Modelling Support for Design of Safety-Critical Automotive Embedded Systems
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Architecting dependable systems IV
Generalizable safety annotations for specification of failure patterns
Software—Practice & Experience
Capture and reuse of composable failure patterns
International Journal of Critical Computer-Based Systems
Simulation framework for small scale engagement
Computers and Industrial Engineering
Model-based safety engineering of interdependent functions in automotive vehicles using EAST-ADL2
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
The EAST-ADL architecture description language for automotive embedded software
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Component deployment optimisation with bayesian learning
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Proceedings of the 13th annual conference on Genetic and evolutionary computation
Computer-aided PHA, FTA and FMEA for automotive embedded systems
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Architecture-driven reliability optimization with uncertain model parameters
Journal of Systems and Software
Entropy-based adaptive range parameter control for evolutionary algorithms
Proceedings of the 15th annual conference on Genetic and evolutionary computation
Hi-index | 0.00 |
Development processes in the automotive industry need to evolve to address increasing demands for integration of car functions over common networked infrastructures. New processes must address cost and safety concerns and maximize the potential for automation to address the problem of increasing technological complexity. In this paper, we propose a design process in which techniques for semi-automatic safety and reliability analysis of systems models are combined with multi-objective optimisation techniques to assist the gradual development of designs that can meet reliability and safety requirements and maximise profit within pragmatic development cost constraints. The proposed process relies on tools to automate some aspects of the design that we believe could be automated and thus simplified without loss of the creative input brought in the process by designers.