English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Formal methods are promising for modeling and analyzing system requirements.However, applying formal methods to large-scale industrial projects is aremaining challenge. The industrial engineers are suffering from the lack ofautomated engineering methodologies to effectively conduct precise requirementmodels, and rigorously validate and verify (V&V) the generated models. Totackle this challenge, in this paper, we present a systematic engineeringapproach, named Formal Requirement Engineering Platform in Aircraft (FREPA),for formal requirement modeling and V\&V in the aerospace and aviation controldomains. FREPA is an outcome of the seamless collaboration between the academyand industry over the last eight years. The main contributions of this paperinclude 1) an automated and systematic engineering approach FREPA to constructrequirement models, validate and verify systems in the aerospace and aviationcontrol domain, 2) a domain-specific modeling language AASRDL to describe theformal specification, and 3) a practical FREPA-based tool AeroReq which hasbeen used by our industry partners. We have successfully adopted FREPA to sevenreal aerospace gesture control and two aviation engine control systems. Theexperimental results show that FREPA and the corresponding tool AeroReqsignificantly facilitate formal modeling and V&V in the industry. Moreover, wealso discuss the experiences and lessons gained from using FREPA in aerospaceand aviation projects.

FREPA: An Automated and Formal Approach to Requirement Modeling and Analysis in Aircraft Control Domain