Systems modeling with east-adl for fault tree analysis through hip-hops ?

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 4, Issue PART 1, 2013, Pages 91-96

  Chen, DeJiu ^a   Mahmud, Nidhal ^b   Walker, Martin ^b   Feng, Lei ^a   Lönn, Henrik ^c   Papadopoulos, Yiannis ^b  

^a ROYAL INSTITUTE OF TECHNOLOGY   (Sweden)

^b UNIVERSITY OF HULL   (United Kingdom)

^c VOLVO AERO CORPORATION   (Sweden)

Author keywords

Behavior; Embedded systems; Error modeling; Formal specification; Safety analysis; System engineering

Indexed keywords

EMBEDDED SYSTEMS; FORMAL SPECIFICATION; MODELING LANGUAGES; SAFETY ENGINEERING; SYSTEMS ENGINEERING;

AUTOMOTIVE EMBEDDED SYSTEMS; BEHAVIOR; DOMAIN SPECIFIC MODELING; ERROR MODEL; FUNCTIONAL SAFETY; ORTHOGONAL SYSTEMS; REQUIREMENTS SPECIFICATIONS; SAFETY ANALYSIS;

FAULT TREE ANALYSIS;

EID: 84885630330     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.3182/20130904-3-UK-4041.00043     Document Type: Conference Paper

References (16)

1. A. Arnold, A. Griffault, et al. The Altarica formalism for describing concurrent systems. Fundamenta Informaticae, vol. 40, pp.109-124, 2000.
2. AUTOSAR. AUTOSAR, 2013. http://www.autosar.org.
3. M. Bozzano, A. Villafiorita, et al. ESACS: An integrated methodology for design and safety analysis of complex systems. ESREL European Safety and Reliability Conference, Balkema, pp.237-245. 2003.
4. EAST-ADL. EAST-ADL Domain Model Specification, Version M.2.1.9. 2011. http://www.maenad.eu.
5. D. Chen, R. Johansson, et al. Modelling Support for Design of Safety-Critical Automotive Embedded Systems. LNCS, vol. 5219, pp. 72-85. Springer. 2008.
6. D. Chen, R. Johansson, et al. Integrated Safety and Architecture Modeling for Automotive Embedded Systems. e&i, vol. 128, Number 6. Springer. 2011.
7. D. Chen, L. Feng, et al. An Architectural Approach to the Analysis, Verification and Validation of Software Intensive Embedded Systems. Computing, Springer. DOI: 10.1007/s00607-013-0314-4. 2013.
8. ISO 26262. ISO 26262, International Organization for Standardization. 2010.
9. J. Lygeros, C. Tomlin, and S. Sastry. Controllers for reachability specifications for hybrid systems. Automatica, Special Issue on Hybrid Systems. 1999.
10. N. Mahmud, Y. Papadopoulos, M. Walker. A Translation of State Machines to Temporal Fault Trees. Proc. 40th Annu. IEEE/IFIP Int. Conf. Dependable Syst. and Netw., pp. 45-51, Chicago, Illinois, 2010.
11. N. Mahmud. Dynamic Model-based Safety Analysis: From State Machines to Temporal Fault Trees. Ph.D. dissertation, Univ. of Hull, UK. 2012.
12. N. Mahmud, M. Walker, Y. Papadopoulos. Compositional synthesis of Temporal Fault Trees from State Machines. ACM SiGMETRICS Performance Evaluation Review, Volume 39 (4):79-88. ACM New York, NY, USA. 2012.
13. Y. Papadopoulos, J.A. McDermid. Hierarchically performed hazard origin and propagation studies. LNCS, vol. 1698, pp.139-152. Springer. 1999.
14. Y. Papadopoulos, M. Walker, et al. Automatic allocation of safety integrity levels. ACM CARS2010, pp. 7-10, Valencia, Spain, 27 April 2010.
15. M. Walker, Y. Papadopoulos. Qualitative temporal analysis: Towards a full implementation of the Fault Tree Handbook. Control Eng. Practice, Vol. 17, pp. 1115-1125. Oct. 2009.
16. M. Walker, M.-O. Reiser, et al. Automatic Optimisation of System Architectures using EAST-ADL. Journal of Systems and Software, Elsevier. DOI: 10.1016/j.jss.2013.04.001. 2013.