LPIS Home Page
Google Search

Title: Ontology-based Model Driven Engineering for Safety Verification
Author(s): K. Mokos, G. Meditskos, P. Katsaros, N. Bassiliades, V. Vassiliadis.
Keywords: model driven engineering, safety, verification and validation, ontology reasoning, model transformation.
Appeared in: Proc. 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2010), IEEE Computer Society, pp. 47-54, Lille, France, 1-3 Sep 2010, 2010.
Abstract: 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 ontology-based model-driven engineering process for automating transformations of models that are utilized as reusable artifacts. The logical and syntactical 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, where the architecture design is expressed in Architecture Analysis and Design Language (AADL) and safety models are specified in the AltaRica formal language.
See also :

        This paper has been cited by the following:

1 David Hastbacka, Developing Modern Industrial Control Applications: On Information Models, Methods and Processes for Distributed Engineering, PhD Thesis, Tampere University of Technology, Finland, Publication 1143, Aug 2013.
2 Daramola, O.; Stålhane, T.; Omoronyia, I.; Sindre, G.; Using Ontologies and Machine Learning for Hazard Identification and Safety Analysis, in Managing Requirements Knowledge, Maalej, Walid; Thurimella, Anil Kumar, Eds., Springer, 2013, pp. 117-141.
3 Hongyue He, Zhixue Wang, Qingchao Dong, Weizhong Zhang, Weixing Zhu, "Ontology-Based Semantic Verification For UML Behavioral Models", International Journal of Software Engineering and Knowledge Engineering, Vol. 23, No. 2 (2013), pp. 117-145.
4 Irene Bicchierai, Giacomo Bucci, Carlo Nocentini, Enrico Vicario, Using Ontologies in the Integration of Structural, Functional, and Process Perspectives in the Development of Safety Critical Systems, Reliable Software Technologies Ada-Europe 2013, Lecture Notes in Computer Science Volume 7896, 2013, pp 95-108.
5 David Hastbacka and Seppo Kuikka, Semantics enhanced engineering and model reasoning for control application development, Multimedia Tools and Applications, Vol. 65, No 1, July 2013, pp. 47-62.
6 Bittner, B., Bozzano, M., Cimatti, A., De Ferluc, R., Gario, M., Guiotto, A., Yushtein, Y., An integrated process for FDIR design in aerospace, (2014) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8822, pp. 82-95.