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]

@article{WuYAZ15,
  title = {A modeling methodology to facilitate safety-oriented architecture design of industrial avionics software},
  author = {Ji Wu and Tao Yue and Shaukat Ali and HuiHui Zhang},
  year = {2015},
  doi = {10.1002/spe.2281},
  url = {http://dx.doi.org/10.1002/spe.2281},
  researchr = {https://researchr.org/publication/WuYAZ15},
  cites = {0},
  citedby = {0},
  journal = {Software: Practice and Experience},
  volume = {45},
  number = {7},
  pages = {893-924},
}