SCS '04 Proceedings of the 9th Australian workshop on Safety critical systems and software - Volume 47
Probabilistic optimization and assessment of voting strategies for X-by-wire systems
SEUS'07 Proceedings of the 5th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems
Reliability-driven deployment optimization for embedded systems
Journal of Systems and Software
Component deployment optimisation with bayesian learning
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
Architecture-driven reliability optimization with uncertain model parameters
Journal of Systems and Software
| Hi-index | 0.00 |
Recent growth in the area of model-based productdevelopment in the automotive industry means that systemmodels in electronic form become increasingly moreavailable as they progressively find more applications inthe course of the development process.Such models,Matlab-Simulink models for example, are currently usedfor simulation, fault injection and source codegeneration.In our work, the utility of such models ispushed further into a hitherto unexplored area that ofsafety and reliability analysis.We propose a design process in which techniques forsemi-automatic safety and reliability analysis of suchmodels are combined with multi-criteria optimisationtechniques to assist the gradual development of designsthat can meet set reliability and safety targets withinpragmatic cost constraints.The proposed process relieson tools to automate some aspects of the design that webelieve could be automated and thus simplified withoutany loss of the creative input brought in the process bydesigners.