Formal Modeling Approach for Aerospace Embedded Software

Bin GU,Yun-Wei DONG,Zheng WANG
DOI: https://doi.org/10.13328/j.cnki.jos.004784
2015-01-01
Abstract:The success of aerospace depends on the correctness of aerospace embedded software. Such embedded software are usually period-driven and can be decomposed into different modes with each mode representing a system state observed from outside. Such software may also involve intensive computing in their modes. Currently, there is lack of domain-specific formal modeling languages for such software in the relevant industry. To address this problem, this article proposes a formal visual modeling approach called SPARDL as a concise and precise way to specify such software. To capture the temporal properties of aerospace embedded software, a property specification language is provided based on interval logic. To support application in industry, code generation methodology is also discussed. This modeling approach is applied in some real-life cases in aerospace industry.
What problem does this paper attempt to address?