FREPA: an automated and formal approach to requirement modeling and analysis in aircraft control domain

ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering Virtual Event USA November, 2020, pp. 1376-1386, 2020.

Cited by: 0|Bibtex|Views2|DOI:https://doi.org/10.1145/3368089.3417047
EI
Other Links: dl.acm.org|dblp.uni-trier.de|academic.microsoft.com

Abstract:

Formal methods are promising for modeling and analyzing system requirements. However, applying formal methods to large-scale industrial projects is a remaining challenge. The industrial engineers are suffering from the lack of automated engineering methodologies to effectively conduct precise requirement models, and rigorously validate an...More

Code:

Data:

Full Text
Your rating :
0

 

Tags
Comments