Login / Signup

Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device.

Brian R. LarsonJohn HatcliffKim R. FowlerJulien Delange
Published in: HILT (2013)
Keyphrases
  • safety critical
  • nuclear power plant
  • formal methods
  • medical imaging
  • medical devices
  • e learning
  • object oriented
  • low cost
  • decision support
  • safety analysis
  • regulatory requirements