An AADL-Based Modeling Method for ARINC653-Based Avionics Software.

Ying Wang Dianfu Ma Yongwang Zhao Lu Zou Xianqi Zhao

Published in: COMPSAC (2011)

Keyphrases

modeling method
test case generation
fuzzy neural network
hybrid genetic
software systems
test cases
high speed railway
software components
fault diagnosis
software testing
mathematical model
data mining
source code
software engineering
probabilistic model
user interface
pattern recognition