loading
Papers

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Amine Raji and Phillipe Dhaussy

Affiliation: Université Européenne de Bretagne, France

ISBN: 978-989-8425-06-5

Keyword(s): Formal verifications, Context description language, Model transformation, User context models, Property specification patterns.

Related Ontology Subjects/Areas/Topics: Enterprise Information Systems ; Information Engineering Methodologies ; Information Systems Analysis and Specification ; Requirements Analysis And Management

Abstract: Several works emphasize the difficulties of software verification applied to embedded systems. In past years, formal verification techniques and tools were widely developed and used by the research community. However, the use of formal verification at industrial scale remains difficult, expensive and requires lot of time. This is due to the size and the complexity of manipulated models, but also, to the important gap between requirement models manipulated by different stackholders and formal models required by existing verification tools. In this paper, we fill this gap by providing the UCM framework to automatically generate formal models used by formal verification tools. At this stage of our work, we generate behavior models of environment actors interacting with the system directly from an extended form of use cases. These behavioral models can be composed directly with the system automata to be verified using existing model checking tools.

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 34.204.200.74

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:
Raji A.; Dhaussy P. and (2010). USER CONTEXT MODELS - A Framework to Ease Software Formal Verifications.In Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 2: ICEIS, ISBN 978-989-8425-06-5, pages 380-383. DOI: 10.5220/0003019803800383

@conference{iceis10,
author={Amine Raji and Phillipe Dhaussy},
title={USER CONTEXT MODELS - A Framework to Ease Software Formal Verifications},
booktitle={Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 2: ICEIS,},
year={2010},
pages={380-383},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0003019803800383},
isbn={978-989-8425-06-5},
}

TY - CONF

JO - Proceedings of the 12th International Conference on Enterprise Information Systems - Volume 2: ICEIS,
TI - USER CONTEXT MODELS - A Framework to Ease Software Formal Verifications
SN - 978-989-8425-06-5
AU - Raji, A.
AU - Dhaussy, P.
PY - 2010
SP - 380
EP - 383
DO - 10.5220/0003019803800383

Login or register to post comments.

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