Demands for higher flexibility in aerospace applications has led to increasing deployment of recon-figuarble modules in the form of Field Programmable Gate Arrays (FPGAs). FPGAs act as digital hardware, but in the context of safety analysis they should be treated as software. Formal anlysis of safety-related properties of such components is thus essential… (More)
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)
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.