论文信息 - Automated Safety Critical Software Development for Distributed Control Systems: A COTS Approach - 字舞流文

Automated Safety Critical Software Development for Distributed Control Systems: A COTS Approach

Brendan Hall | Reinhard Maier | Brian J. Sellner | R. Maier | B. Hall | Brian Sellner

[1] John A. McDermid,et al. The potential for a generic approach to certification of safety critical systems in the transportation sector , 1999 .

[2] Boris Beizer,et al. Software Testing Techniques , 1983 .

[3] T. Baker,et al. Altitude and latitude variations in avionics SEU and atmospheric neutron flux , 1993 .

[4] E. Normand. Single event upset at ground level , 1996 .

[5] John Penix,et al. Verification of time partitioning in the DEOS scheduler kernel , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[6] H. Pfeifer,et al. Formal verification for time-triggered clock synchronization , 1999, Dependable Computing for Critical Applications 7.

[7] Jan Gustafsson,et al. Towards Industry-Strength Worst-Case Execution Time Analysis , 1999 .