- Full text PDF available (3)
- This year (0)
- Last 5 years (0)
- Last 10 years (0)
Journals and Conferences
Demands for higher flexibility in aerospace applications has led to increasing deployment of FPGAs. Clearly, analysis of safety-related properties of such components is essential for their use in safety-critical subsystems. The contributions of this paper are twofold. First, we illustrate a development process, using a language with formal semantics… (More)
Demands for higher flexibility in aerospace applications has led to increasing deployment of reconfiguarble modules. In several cases the industry is looking into Field Programmable Gate Arrays (FPGA) as a means of efficient adaption of existing components. This paper addresses the safety analysis issues for reconfigurable modules with an emphasis on FPGAs.… (More)
This work has been supported by: SSF within the SAVE project, Volvo and Vinnova wihtin the EAST/EEA project, and KKS within the HEAVE project.