loading
Papers Papers/2020

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Vladimir Estivill-Castro and René Hexel

Affiliation: Griffith University, Australia

Keyword(s): Model-driven Engineering, Formal Methods, Software Modelling, Failure Mode Effects Analysis.

Related Ontology Subjects/Areas/Topics: Cross-Feeding between Data and Software Engineering ; Formal Methods ; Model-Driven Engineering ; Requirements Engineering Frameworks and Models ; Service-Oriented Software Engineering and Management ; Simulation and Modeling ; Software and Systems Development Methodologies ; Software Engineering ; Software Engineering Methods and Techniques ; Software Quality Management

Abstract: Model-driven development results in directly runnable implementations, and therefore it is of utmost importance to formally verify and validate such models. However, model-checking usually faces the challenge of concurrent modules generating a state space equal to the Cartesian product of the state spaces of all modules. This is even more dramatic as recent trends in model-driven-engineering aim at not only modelling the software in question, but other components of the system as well, in order to perform Failure Mode Effects Analysis (FMEA). These additional components further enlarge the collective state space. We provide an algorithm that identifies the sections of the system that are independent, enabling verification of separate sections of the system. As a consequence, formal verification of the system as well as the corresponding FMEA can be performed much more efficiently.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 3.236.107.249

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
Estivill-Castro, V. and Hexel, R. (2013). Module Isolation for Efficient Model Checking and its Application to FMEA in Model-driven Engineering. In Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE, ISBN 978-989-8565-62-4; ISSN 2184-4895, pages 218-225. DOI: 10.5220/0004557502180225

@conference{enase13,
author={Vladimir Estivill{-}Castro. and René Hexel.},
title={Module Isolation for Efficient Model Checking and its Application to FMEA in Model-driven Engineering},
booktitle={Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE,},
year={2013},
pages={218-225},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004557502180225},
isbn={978-989-8565-62-4},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE,
TI - Module Isolation for Efficient Model Checking and its Application to FMEA in Model-driven Engineering
SN - 978-989-8565-62-4
IS - 2184-4895
AU - Estivill-Castro, V.
AU - Hexel, R.
PY - 2013
SP - 218
EP - 225
DO - 10.5220/0004557502180225