Ontology-Based Model Driven Engineering for Safety Verification

Konstantinos Mokos, George Meditskos, Panagiotis Katsaros, Nick Bassiliades, Vangelis Vasiliades
2010 2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications  
Safety assessment of dependable systems is a complex verification task that is desirable to be explicitly incorporated into the development cycle during the very early stages of a project. The main reason is that the cost to correct a safety error at the late stages of system development is excessively high. Towards this aim, we introduce an ontologybased model-driven engineering process for automating transformations of models that are utilized as reusable artifacts. The logical and
more » ... structures of the design and safety models have to conform to a number of metamodel constraints. These constraints are semantically represented by mapping them onto an OWL domain ontology, allowing the incorporation of a Description Logic OWL reasoner and inference rules, in order to detect lacks of model elements and semantically inconsistent parts. Model validation throughout the ontology-based transformation assures that the generated formal safety model fulfils a series of requirements that render it analyzable. Our approach has been implemented as a response to an industrial problem 1 , where the architecture design is expressed in Architecture Analysis and Design Language (AADL) and safety models are specified in the AltaRica formal language.
doi:10.1109/seaa.2010.60 dblp:conf/euromicro/MokosMKBV10 fatcat:ld7itb36eje3tg4u3yo2vqvnom