Extending formal methods for requirements engineering to risk management

Project: Research

Description

Software certification is now required for all safety-critical devices. Risk analysis and control is a key step of certification: Based on our experience in requirements engineering, we propose to set up a method to deal efficiently with risk analysis. It will be tailored to small enterprises.
AcronymBAAR
StatusFinished
Effective start/end date1/11/9931/10/03

Keywords

  • risk management
  • medical electronics
  • certification
  • reliability