Analysing Sanity of Requirements for Avionics Systems
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F16%3A00089171" target="_blank" >RIV/00216224:14330/16:00089171 - isvavai.cz</a>
Result on the web
<a href="http://dx.doi.org/10.1007/s00165-015-0348-9" target="_blank" >http://dx.doi.org/10.1007/s00165-015-0348-9</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s00165-015-0348-9" target="_blank" >10.1007/s00165-015-0348-9</a>
Alternative languages
Result language
angličtina
Original language name
Analysing Sanity of Requirements for Avionics Systems
Original language description
In the last decade it became a common practice to formalise software requirements to improve the clarity of users' expectations. In this work we build on the fact that functional requirements can be expressed in temporal logic and we propose new sanity checking techniques that automatically detect flaws and suggest improvements of given requirements. Specifically, we describe and experimentally evaluate approaches to consistency and redundancy checking that identify all inconsistencies and pinpoint their exact source (the smallest inconsistent set). We further report on the experience obtained from employing the consistency and redundancy checking in an industrial environment. To complete the sanity checking we also describe a semi-automatic completeness evaluation that can assess the coverage of user requirements and suggest missing properties the user might have wanted to formulate. The usefulness of our completeness evaluation is demonstrated in a case study of an aeroplane control system.
Czech name
—
Czech description
—
Classification
Type
J<sub>x</sub> - Unclassified - Peer-reviewed scientific article (Jimp, Jsc and Jost)
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/7H13001" target="_blank" >7H13001: Critical System Engineering Acceleration</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2016
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Name of the periodical
Formal Aspects of Computing
ISSN
0934-5043
e-ISSN
—
Volume of the periodical
28
Issue of the periodical within the volume
1
Country of publishing house
US - UNITED STATES
Number of pages
19
Pages from-to
45-63
UT code for WoS article
000372262000003
EID of the result in the Scopus database
—