28 research outputs found
Spartan Daily, May 8, 1947
Volume 35, Issue 131https://scholarworks.sjsu.edu/spartandaily/8996/thumbnail.jp
Spartan Daily, May 27, 1947
Volume 35, Issue 144https://scholarworks.sjsu.edu/spartandaily/9008/thumbnail.jp
Spartan Daily, May 23, 1947
Volume 35, Issue 142https://scholarworks.sjsu.edu/spartandaily/13010/thumbnail.jp
Spartan Daily, April 8, 1947
Volume 35, Issue 109https://scholarworks.sjsu.edu/spartandaily/8978/thumbnail.jp
Spartan Daily, April 17, 1940
Volume 28, Issue 121https://scholarworks.sjsu.edu/spartandaily/3068/thumbnail.jp
FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain
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 and verify (V&V) the generated models. To
tackle this challenge, in this paper, we present a systematic engineering
approach, named Formal Requirement Engineering Platform in Aircraft (FREPA),
for formal requirement modeling and V\&V in the aerospace and aviation control
domains. FREPA is an outcome of the seamless collaboration between the academy
and industry over the last eight years. The main contributions of this paper
include 1) an automated and systematic engineering approach FREPA to construct
requirement models, validate and verify systems in the aerospace and aviation
control domain, 2) a domain-specific modeling language AASRDL to describe the
formal specification, and 3) a practical FREPA-based tool AeroReq which has
been used by our industry partners. We have successfully adopted FREPA to seven
real aerospace gesture control and two aviation engine control systems. The
experimental results show that FREPA and the corresponding tool AeroReq
significantly facilitate formal modeling and V&V in the industry. Moreover, we
also discuss the experiences and lessons gained from using FREPA in aerospace
and aviation projects.Comment: 12 pages, Published by FSE 202
Spartan Daily, May 1, 1940
Volume 28, Issue 131https://scholarworks.sjsu.edu/spartandaily/3078/thumbnail.jp
Spartan Daily, April 25, 1940
Volume 28, Issue 127https://scholarworks.sjsu.edu/spartandaily/3074/thumbnail.jp
Spartan Daily, December 17, 1945
Volume 34, Issue 50https://scholarworks.sjsu.edu/spartandaily/3680/thumbnail.jp
Spartan Daily, May 12, 1942
Volume 30, Issue 135https://scholarworks.sjsu.edu/spartandaily/3455/thumbnail.jp