Ensuring Safety of Avionics Software at the Architecture Design Level: An Industrial Case Study.

Ji Wu Tao Yue Shaukat Ali Huihui Zhang

Published in: QSIC (2013)

Keyphrases

software maintenance
higher level
software systems
software architecture
website
computer systems
software tools
software testing
database systems
embedded systems
levels of abstraction
software package
commercial software
safety critical