A modeling methodology to facilitate safety-oriented architecture design of industrial avionics software

Ji Wu, Tao Yue, Shaukat Ali, HuiHui Zhang. A modeling methodology to facilitate safety-oriented architecture design of industrial avionics software. Software: Practice and Experience, 45(7):893-924, 2015. [doi]

Abstract

Abstract is missing.