Towards compositional safety analysis via semantic representation of component failure behaviour

Frontiers in Artificial Intelligence and Applications

Volumn 180, Issue 1, 2008, Pages 405-414

  Mokos, Konstantinos ^a   Katsaros, Panagiotis ^a   Bassiliades, Nick ^a   Vassiliadis, Vangelis ^b   Perrotin, Maxime ^c  

^a ARISTOTLE UNIVERSITY OF THESSALONIKI   (Greece)

^b Gnomon Informatics   (Greece)

^c EUROPEAN SPACE AGENCY   (Netherlands)

Author keywords

Dependability; Model Driven Software Development; Ontology; Safety Analysis

Indexed keywords

INDUSTRIAL RESEARCH; ONTOLOGY; SAFETY ENGINEERING; SEMANTICS; SOFTWARE DESIGN; SYSTEMS ENGINEERING;

COMPONENT FAILURES; DEPENDABILITY; DEPENDABLE SYSTEMS; ENGINEERING SAFETY; FAILURE BEHAVIORS; MODEL-DRIVEN SOFTWARE DEVELOPMENT; ONTOLOGY'S; SAFETY ANALYSIS; SAFETY ASSESSMENTS; SEMANTIC REPRESENTATION;

MODELING LANGUAGES;

EID: 78549269025     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-58603-900-4-405     Document Type: Conference Paper

References (15)

1. Leveson, N. G. Safeware: System safety and computers. Addison-Wesley Publishing Company, 1995
2. Avizienis, J.-C., Laprie, Landwehr, B. Basic concepts and taxonomy of dependable and secure computing, IEEE Transactions on Dependable and secure Computing, Vol. 1 (1), pp. 11-33, 2004
3. Society of Automotive Engineers, SAE Architecture Analysis and Design Language, SAE standard AS5506. Available in: http://www.aadl.info.
4. Joshi, A., Miller, S. P., Whalen, M., Heimdahl, M. P. E. A proposal for model-based safety analysis, 24th Digital Avionics Systems Conference (DASC), 2005
5. Bieber, P., Castel, C., Seguin, C. Combination of Fault Tree Analysis and Model Checking for safety assessment of complex system, 4th Europ. Dependable Computing Conf., LNCS 2845, pp. 19-31, 2002
6. Safety assessment with AltaRica-Lessons learnt Based on Two Aircraft System Studies. 18th IFIP World Computer Congress, Toulouse, France, 2004
7. Feiler, P., Rugina, A. Dependability Modeling with the Architecture Analysis & Design Language (AADL), Software Engineering Institute (SEI), 2007
8. Dietrich, J., Elgar, C. An Ontology Based Representation of Software Design Patterns, In: Design Pattern Formalization Techniques, Toufik Taibi (Ed.), IGI Publishing, pp. 258-279, 2007
9. Bieber, P., Blanquart, JP., Durrieu, G., Lesens, D., Lucotte, J., Tardy, F., Turin, M., Seguin, C., Conquet, E. Integration of formal fault analysis in ASSERT: Case studies and lessons learnt, 4th European Congress on Embedded Real Time Software (ERTS 2008), Toulouse, France, Jan 2008
10. Stahl, T. and Volter, M. Model-driven software development: Technology, Engineering, Management, Wiley, 2005
11. The Official openArchitectureWare Homepage, http://www. openarchitectureware.org/
12. Saeki, M. and Kaiya, H. On Relationships among Models, Meta Models and Ontologies, Proceedings of the 6th OOPSLA Workshop on Domain-Specific Modeling (DSM'06), Un. of Jyväskylä, Finland 2006
13. Pahl, C. An ontology for software component matching, International Journal of Software Tools Technology Transfer, Vol. 9, Springer, pp. 169-178, 2007
14. EODM-EMF Ontology Definition Metamodel, http://www.eclipse.org/modeling/ mdt/?project=eodm
15. McDermid, J. and Pumfrey, D. A development of Hazard Analysis to aid software design, 9th Annual Conference on Computer Assurance (COMPASS), 1994.