Computer Science ›› 2012, Vol. 39 ›› Issue (3): 128-130.
Previous Articles Next Articles
XU Xian-liang,ZHANG Feng-ming,CHU Wen-kui
Online:
Published:
Abstract: Based on adaptation of architecture tradeoff analysis method (ADAM),a safety-centered architecture design method was proposed for integrated modular avionics (IMA) software. Hazardous scenarios were used to evaluate the safety property of a designed IMA software architecture. Prevention, elimination or minimization actions to fateful hazards were derived. Contracts were used to document all the constraints which should be met in the next refined process of IMA software architecture. With the method, it will eliminate or reduce design bugs in the IMA software architecture, especially those that will contribute to hazards of the IMA system or fighters.
Key words: Software architecture, Software safety, Safety requirements, Integrated modular aviorucs(IMA),Architecture tradeoff analysis method(ATAM)
XU Xian-liang,ZHANG Feng-ming,CHU Wen-kui. Safety-centered Architecture Design Method for IMA Software[J].Computer Science, 2012, 39(3): 128-130.
0 / / Recommend
Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks
URL: https://www.jsjkx.com/EN/
https://www.jsjkx.com/EN/Y2012/V39/I3/128
Cited