Mastering safety and reliability in a model based process

Proceedings - Annual Reliability and Maintainability Symposium

Volumn , Issue , 2011, Pages

  Cressent, Robin ^a   Idasiak, Vincent ^a   Kratz, Frederic ^a   David, Pierre ^b  

^a Institut PRISME   (France)

^b UNIVERSITÉ DE TECHNOLOGIE DE COMPIÈGNE   (France)

Author keywords

AADL; Reliable system engineering; Simulink; SysML

Indexed keywords

AADL; CRITICAL SYSTEMS; DESIGN STAGE; DESIGNING SYSTEMS; FUNDAMENTAL CONCEPTS; HYPERSONIC AIRCRAFT; INDUSTRIAL PARTNERS; INDUSTRIAL PROJECTS; MODEL-BASED; RELIABLE SYSTEM ENGINEERING; SIMULINK; SPECIFICATION STAGE; SYSML; SYSTEM ENGINEERING;

EMBEDDED SYSTEMS; HYPERSONIC VEHICLES; MAINTAINABILITY; SYSTEMS ENGINEERING;

RELIABILITY ANALYSIS;

EID: 79956346538     PISSN: 0149144X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/RAMS.2011.5754506     Document Type: Conference Paper

References (16)

1. Friedenthal, S., Moore, A. & Steiner, R., "A Practical Guide to SysML : The Systems Modeling Language", The MK/OMG press, Elsevier, 2008.
2. David, P., Idasiak, V. & Kratz, F., "Automating the synthesis of AltaRica Data-Flow models from SysML". Proceedings of ESREL 2009, Prague, Czech Republic, 7-10 September 2009.
3. David, P., Idasiak, V. & Kratz, F., "Use and Improvements of SYS ML in Reliability Study" Proc. of the Annual Reliability and Maintainability Symposium, 26-29 January, 2009.
4. David, P, Idasiak, V. & Kratz, F., "Reliability study of complex physical systems using SysML", Journal of Reliability Engineering and System Safety (2009), doi:10.1016/j.ress.2009.11.015, 2009.
5. OMG 2008. "OMG Systems Modeling Language (OMG SysML) V1.1., 1st November 2008.
6. Rauzy, A., "Mode Automata and their compilation into Fault tree". Reliability Engineering and System Safety 78: 1-12, 2002.
7. SAE, Society of Automotive Engineers, "Architecture Analysis & Design Language. Specification V2", January 2009.
8. Singhoff, F., "The Cheddar AADL Property sets (Release 2.x). LISyC technical report, February 2007
9. Price, C. & Taylor, N., "Automated multiple failure FMEA". Reliability Engineering and System Safety Vol. 76, pp. 1-10, 2002.
10. Teoh, P. & Case, K., "Failure modes and effects analysis through knowledge modelling. Journal of Materials Processing Technology 153-154, pp. 253-260, 2004.
11. Klein, M., Ralya, T., Pollak, B., Obenza, R., Harbour, M. & Harbour G. "A practitioner's Handbook for Real-Time Analysis". Kluwer Academic Publishers, 1993.
12. st M-BED workshop, during DATE 2010, Dresden, Germany, 12 March 2010.
13. SAE, Society of Automotive Engineers, June 2006. "SAE Standards: AS5506/1, Architecture Analysis & Design.
14. Feiler, P. & Rugina A. "Dependability Modeling with the Architecture Analysis & Design Language (AADL)", Carnegie Mellon Institute, CMU/SEI-2007-TN-043, July 2007.
15. Niemann, H. & Stoustrup, J., "An Architecture for Fault Tolerant Controllers", International Journal of Control, 78(14):1091-1110, 2005. (Pubitemid 41657389)
16. Odgaard, P.F., Stroustrup, J., Andersen, P., Wickerhauser, M.V.& Mikkelsen, "Feature based handling of surface faults in compact disc players". Control Engineering Practice, Volume 14, Issue 12, 2006.