| Title: |
Ontology-based Model Driven Engineering for Safety Verification |
| Author(s): |
K. Mokos, G. Meditskos, P. Katsaros, N. Bassiliades, V. Vassiliadis.
|
| Availability: |
|
| 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. |
|
