Analysing sanity of requirements for avionics systems
Analysing sanity of requirements for avionics systems
About this item
Full title
Author / Creator
Publisher
London: Springer London
Journal title
Language
English
Formats
Publication information
Publisher
London: Springer London
Subjects
More information
Scope and Contents
Contents
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 requirement...
Alternative Titles
Full title
Analysing sanity of requirements for avionics systems
Authors, Artists and Contributors
Author / Creator
Identifiers
Primary Identifiers
Record Identifier
TN_cdi_proquest_miscellaneous_1800491330
Permalink
https://devfeature-collection.sl.nsw.gov.au/record/TN_cdi_proquest_miscellaneous_1800491330
Other Identifiers
ISSN
0934-5043
E-ISSN
1433-299X
DOI
10.1007/s00165-015-0348-9
