论文信息 - Revolutionizing Electronics: Software and the Challenge of Flight Control - 字舞流文

Revolutionizing Electronics: Software and the Challenge of Flight Control

Nancy G. Leveson | N. Leveson

[1] James K. Orr,et al. The Legacy of Space Shuttle Flight Software , 2011 .

[2] William A. Madden,et al. Design, development, integration: space shuttle primary flight software system , 1984, CACM.

[3] John R. Garman,et al. The "BUG" heard 'round the world: discussion of the software problem which delayed the first shuttle orbital flight , 1981, SOEN.

[4] Nancy G. Leveson,et al. A reply to the criticisms of the Knight & Leveson experiment , 1990, SOEN.

[5] Nancy G. Leveson,et al. An experimental evaluation of the assumption of independence in multiversion programming , 1986, IEEE Transactions on Software Engineering.