System-software co-engineering: Dependability and safety perspective

Proceedings - 4th IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2011

Volumn , Issue , 2011, Pages 18-25

  Yushtein, Y ^a   Bozzano, M ^b   Cimatti, A ^b   Katoen, J P ^c   Nguyen, V Y ^c   Noll, Th ^c   Olive, X ^d   Roveri, M ^b  

^a EUROPEAN SPACE AGENCY   (Netherlands)

^b FONDAZIONE BRUNO KESSLER   (Italy)

^c RWTH AACHEN UNIVERSITY   (Germany)

^d THALES ALENIA SPACE   (France)

Author keywords

Correctness; Dependability; Fault tree analysis; Model checking; Performability; Safety

Indexed keywords

ANALYSIS TECHNIQUES; CORRECTNESS; DEPENDABILITY; FAULT-TREES; FULL SPECTRUM; HARDWARE AND SOFTWARE; MULTI-DISCIPLINARY APPROACH; ON CURRENTS; PERFORMABILITY; SPACE SYSTEM; SYSTEM ASPECTS;

ACCIDENT PREVENTION; ARCHITECTURAL DESIGN; FAULT TREE ANALYSIS; MODEL CHECKING; SAFETY ENGINEERING;

INFORMATION TECHNOLOGY;

EID: 80053139309     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SMC-IT.2011.16     Document Type: Conference Paper

References (17)

1. "Space product assurance: Software product assurance," European Cooperation for Space Standardization, ECSS Standard Q-ST-80C, Mar. 2009.
2. "Space product assurance: Failure modes, effects (and criticality) analysis (FMEA/FMECA)," European Cooperation for Space Standardization, ECSS Standard Q-ST-30-02C, Mar. 2009.
3. "The COMPASS project web site," http://compass.informatik.rwth- aachen.de/
4. "Architecture Analysis and Design Language (AADL) V2," International Society of Automotive Engineers, SAE Draft Standard AS5506 V2, Mar. 2008.
5. "Architecture Analysis and Design Language Annex (AADL), Volume 1, Annex E: Error Model Annex," International Society of Automotive Engineers, SAE Standard AS5506/1, Jun. 2006.
6. M. Bozzano, A. Cimatti, J.-P. Katoen, V. Y. Nguyen, T. Noll, and M. Roveri, "Codesign of dependable systems: A component-based modelling language," in Proc. 7th Int. Conf. on Formal Methods and Models for Co-Design (MEMOCODE 2009). IEEE CS Press, 2009, pp. 121-130.
7. M. Bozzano, A. Cimatti, J.-P. Katoen, V. Y. Nguyen, T. Noll, and M. Roveri, "Safety, dependability, and performance analysis of extended AADL models," The Computer Journal, vol. doi: 10.1093/com, March 2010.
8. "Space product assurance: Dependability," European Cooperation for Space Standardization, ECSS Standard Q-ST-30C, Mar. 2009.
9. "Space product assurance: Availability analysis," European Cooperation for Space Standardization, ECSS Standard Q-ST-30-09C, Jul. 2008.
10. "Space product assurance: Safety," European Cooperation for Space Standardization, ECSS Standard Q-ST-40C, Mar. 2009.
11. "Space product assurance: Fault tree analysis - adoption notice ECSS/IEC 61025," European Cooperation for Space Standardization, ECSS Standard Q-ST-40-12C, Jul. 2008.
12. M. Bozzano, A. Cimatti, J.-P. Katoen, V. Y. Nguyen, T. Noll, and M. Roveri, "The COMPASS approach: Correctness, modelling and performability of aerospace systems," in Proc. 28th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP 2009), ser. LNCS, vol. 5775. Springer, 2009, pp. 173-186.
13. "Architecture Analysis and Design Language (AADL) Annex, Volume 1, Annex A: Graphical AADL Notation," International Society of Automotive Engineers, SAE Standard AS5506/1, Jun. 2006.
14. M. Odenbrett, V. Y. Nguyen, and T. Noll, "Slicing AADL specifications for model checking," in Proc. Of the 2nd NASA Formal Methods Symposium (NFM 2010), no. NASA/CP-2010-216215. NASA Langley Research Center, Hampton, USA, 2010, http://shemesh.larc.nasa.gov/NFM2010/proceedings/NASA-CP- 2010-216215.pdf.
15. B. Bittner, M. Bozzano, A. Cimatti, and X. Olive, "Symbolic synthesis of observability requirements for diagnosability," in Proc. 11th Symp. on Advanced Space Technologies in Robotics and Automation (ASTRA 2011), to be published.
16. J. M. Cobleigh, G. S. Avrunin, and L. A. Clarke, "Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning," ACM Trans. Softw. Eng. Methodol., vol. 17, pp. 7:1-7:52, 2008.
17. A. Cohen and K. S. Namjoshi, "Local proofs for lineartime properties of concurrent programs," in Proc. of 20th Int. Conference on Computer Aided Verification (CAV 2008), ser. LNCS, vol. 5123. Springer, 2008, pp. 149-161.