Jerker Hammarberg

Learn More
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)
  • 1