Mandated Requirements for Hardware / Software Combination in Safety-Critical Systems

Safety-critical systems are an important subset of high-assurance systems. Higher performance requirements have led to the increased use of combined hardware/software systems therein, with hardware devices taking processing load off software. As might be expected, safety-critical systems have many requirements made of them by established standards. By implication, and now by emerging safety standards, such requirements must be discharged over hardware/software combinations, with important ramifications for best practice. In this paper we discuss the impact that such requirements have on the co-development of hardware/software combinations, and suggest adaptations of existing best practice that could discharge them.

[1]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[2]  Alan Burns,et al.  The Ravenscar tasking profile for high integrity real-time programs , 1998, SIGAda '98.

[3]  Bernhard K. Aichernig,et al.  Mutation Testing in the Refinement Calculus , 2003, Formal Aspects of Computing.

[4]  Hoyt Lougee,et al.  SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION , 2001 .

[5]  J. E. Barnes,et al.  Mathematical theory of synchronous communication , 1993 .

[6]  Augusto Sampaio,et al.  Refinement of actions in Circus , 2002, Refine.

[7]  N. C. Audsley,et al.  Language issues of compiling Ada to hardware , 2002, IRTAW '02.

[8]  Bernhard K. Aichernig.  Contract-based mutation testing in the refinement calculus , 2002, Electron. Notes Theor. Comput. Sci..

[9]  Michel Renovell,et al.  A Specific Test Methodology for Symmetric SRAM-Based FPGAs , 2000, FPL.

[10]  Steve McKeever,et al.  Pebble: A Language for Parametrised and Reconfigurable Hardware Design , 1998, FPL.

[11]  Kris Gaj,et al.  Fast implementations of secret-key block ciphers using mixed inner- and outer-round pipelining , 2001, FPGA '01.

[12]  Steve King,et al.  The Value of Verification: Positive Experience of Industrial Proof , 1999, World Congress on Formal Methods.

[13]  Ralph-Johan Back,et al.  Trace Refinement of Action Systems , 1994, CONCUR.

[14]  Adrian J. Hilton,et al.  Refining specifications to programmable logic , 2002, Electron. Notes Theor. Comput. Sci..