loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock
A Formal Compositional Verification Approach for Safety–Critical Systems Correctness - Model–Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software

Topics: Modeling Formalisms, Languages, and Notations (e.g. UML, ER variants); Modeling of Distributed Systems; Tools, Techniques and Methodologies for System Development

Authors: Manuel I. Capel 1 and Luis E. Mendoza Morales 2

Affiliations: 1 University of Granada, Spain ; 2 Simón Bolívar University, Venezuela

ISBN: 978-989-8565-11-2

Keyword(s): Safety–Critical Systems, Compositional Verification, Model–Checking, Software Specification, Software Verification, Methodological Approach.

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Information Systems Analysis and Specification ; Modeling of Distributed Systems ; Tools, Techniques and Methodologies for System Development

Abstract: The complexity of modern Safety–Critical Systems (SCS) together with the absence of appropriate software verification tools is one reason for the large number of errors in the design and implementation of these systems. Moreover, exhaustive testing is hard and highly complex because of the combinatorial explosion in the great number of states that an SCS can reach when it executes. A methodological approach named FCVA that uses Model–Checking (MC) techniques to automatically verify SCS software is presented here. This approach facilitates decomposition of complex SCS software into independently verified individual components, and establishes a compositional method to verify these systems using state–of–the–art MC tools. Our objective in this paper is to facilitate the description of an SCS as a collection of verified components, allowing complete complex SCS software verification. An application on a real–life project in the field of mobile phone communication is discussed to demonstr ate the applicability of FCVA. (More)

PDF ImageFull Text

Download
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 18.206.194.161

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:
I. Capel, M. and E. Mendoza Morales, L. (2012). A Formal Compositional Verification Approach for Safety–Critical Systems Correctness - Model–Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software.In Proceedings of the 14th International Conference on Enterprise Information Systems - Volume 1: ICEIS, ISBN 978-989-8565-11-2, pages 105-112. DOI: 10.5220/0004003801050112

@conference{iceis12,
author={Manuel I. Capel. and Luis E. Mendoza Morales.},
title={A Formal Compositional Verification Approach for Safety–Critical Systems Correctness - Model–Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software},
booktitle={Proceedings of the 14th International Conference on Enterprise Information Systems - Volume 1: ICEIS,},
year={2012},
pages={105-112},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004003801050112},
isbn={978-989-8565-11-2},
}

TY - CONF

JO - Proceedings of the 14th International Conference on Enterprise Information Systems - Volume 1: ICEIS,
TI - A Formal Compositional Verification Approach for Safety–Critical Systems Correctness - Model–Checking based Methodological Approach to Automatically Verify Safety Critical Systems Software
SN - 978-989-8565-11-2
AU - I. Capel, M.
AU - E. Mendoza Morales, L.
PY - 2012
SP - 105
EP - 112
DO - 10.5220/0004003801050112

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.