A Method to Formally Evaluate Safety Case Arguments against a System Architecture Model
暂无分享,去创建一个
Kristina Lundqvist | Stefan Björnander | Patrick Graydon | P. Graydon | K. Lundqvist | Philippa Conmy | Stefan Björnander | P. Conmy
[1] Tim Kelly,et al. The Goal Structuring Notation – A Safety Argument Notation , 2004 .
[2] Tim Kelly,et al. The Use of Satisfaction Arguments for Traceability in Requirements Reuse for System Families : Position Paper , 2004 .
[3] P. Feiler,et al. The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .
[4] Tim Kelly,et al. The Who, Where, How, Why And When of Modular and Incremental Certification , 2007 .
[5] Ivica Crnkovic,et al. Towards Guidelines for a Development Process for Component-Based Embedded Systems , 2009, ICCSA.
[6] Séverine Sentilles,et al. Integration of Extra-Functional Properties in Component Models , 2009, CBSE.