Flight Control Software Design for Stratospheric Aerostat

2009 ◽  
Author(s):  
Zewei Zheng ◽  
Ming Zhu ◽  
Guangtai Jiang
Keyword(s):  
Software Design ◽  
Flight Control ◽  
Control Software

EXPERIENCE IN METRICS AND MEASUREMENTS FOR N-VERSION PROGRAMMING

1994 ◽  
Vol 01 (01) ◽  
pp. 41-62 ◽  
Author(s):  
MICHAEL R. LYU ◽  
JIA-HONG CHEN ◽  
ALGIRDAS AVIŽIENIS
Keyword(s):  
Life Cycle ◽  
Flight Control ◽  
Fault Tolerant ◽  
Structural Diversity ◽  
Control Software ◽  
Baseline Design ◽  
Software Diversity ◽  
Points Of View ◽  
Design Diversity ◽  
Diversity Measurement

The N-Version Programming (NVP) approach applies the idea of design diversity to obtain fault-tolerant software units, called N-Version Software (NVS) units. The effectiveness of this approach is examined by the software diversity achieved in the member versions of an NVS unit. We define and formalize the concept of design diversity and software diversity in this paper. Design diversity is a property naturally applicable to the NVP process to increase its fault-tolerance attributes. The baseline design diversity is characterized by the employment of independent programming teams in the NVP. More design diversity investigations could be enforced in the NVP design process, including different languages, different tools, different algorithms, and different methodologies. Software diversity is the resulting dissimilarities appearing in the NVS member versions. We characterize it from four different points of view that are designated as: structural diversity, fault diversity, tough-spot diversity, and failure diversity. Our goals are to find a way to quantify software diversity and to investigate the measurements which can be applied during the life cycle of NVS to gain confidence that operation will be dependable when NVS is actually employed. The versions from a six-language N-Version Programming project for fault-tolerant flight control software were used in the software diversity measurement.

scholarly journals Third-party Evaluation of the Flight Control Software

2020 ◽  
Vol 1453 ◽  
pp. 012028
Author(s):  
Li Yuan ◽  
Xueyang Sun ◽  
Xingyu Liu
Keyword(s):  
Flight Control ◽  
Third Party ◽  
Control Software
Sign in / Sign up

Export Citation Format

Share Document