Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH scholarly article en Martin, Jean-NoŽl; Martin-Guillerez, Damien http://www.dagstuhl.de/oasics License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-35251
URL:

;

Enhancing Coherency of Specification Documents from Automotive Industry

pdf-format:


Abstract

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.

BibTeX - Entry

@InProceedings{martin_et_al:OASIcs:2012:3525,
  author =	{Jean-No{\"e}l Martin and Damien Martin-Guillerez},
  title =	{{Enhancing Coherency of Specification Documents from Automotive Industry}},
  booktitle =	{1st Symposium on Languages, Applications and Technologies},
  pages =	{225--237},
  series =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-939897-40-8},
  ISSN =	{2190-6807},
  year =	{2012},
  volume =	{21},
  editor =	{Alberto Sim{\~o}es and Ricardo Queir{\'o}s and Daniela da Cruz},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2012/3525},
  URN =		{urn:nbn:de:0030-drops-35251},
  doi =		{http://dx.doi.org/10.4230/OASIcs.SLATE.2012.225},
  annote =	{Keywords: coherency, specification, model generation, automatic text processing}
}

Keywords: coherency, specification, model generation, automatic text processing
Seminar: 1st Symposium on Languages, Applications and Technologies
Issue date: 2012
Date of publication: 2012


DROPS-Home | Fulltext Search | Imprint Published by LZI