Extending formal methods for requirements engineering to risk management

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.