10.4230/OASICS.SLATE.2012.225
Martin, Jean-Noël
Jean-Noël
Martin
Martin-Guillerez, Damien
Damien
Martin-Guillerez
Enhancing Coherency of Specification Documents from Automotive Industry
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
2012
Article
coherency
specification
model generation
automatic text processing
Simões, Alberto
Alberto
Simões
Queirós, Ricardo
Ricardo
Queirós
da Cruz, Daniela
Daniela
da Cruz
2012
2012-06-21
2012-06-21
2012-06-21
en
urn:nbn:de:0030-drops-35251
10.4230/OASIcs.SLATE.2012
978-3-939897-40-8
2190-6807
10.4230/OASIcs.SLATE.2012
OASIcs, Volume 21, SLATE 2012
1st Symposium on Languages, Applications and Technologies
2012
21
17
225
237
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Simões, Alberto
Alberto
Simões
Queirós, Ricardo
Ricardo
Queirós
da Cruz, Daniela
Daniela
da Cruz
2190-6807
Open Access Series in Informatics (OASIcs)
2012
21
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
14 pages
917852 bytes
application/pdf
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license
info:eu-repo/semantics/openAccess
A specification describes how a system should behave. If a specification is incorrect or wrongly implemented, then the resulting system will contain errors that can lead to catastrophic states especially in sensitive systems like the one embedded in cars.
This paper presents a method to construct a formal model from a specification written in natural language. This implies that the specification is sufficiently accurate to be incorporated in a model so as to find the inconsistencies in this specification. Sufficiently means that the error rate is down 2%. The error counting method is discussed in the paper. A definition of specification consistency is thus given in this paper.
The method used to construct the model is automatic and points out to the user the inconsistencies of the specification. Moreover once the model is constructed, the general test plan reflecting the specification is produced. This test plan will ensure that the system that implements the specification meets the requirements.
OASIcs, Vol. 21, 1st Symposium on Languages, Applications and Technologies, pages 225-237