Combining SysML and formals methods for safety requirements verification

Dominique Evrot (1, 2) , Jean-François Pétin (1) , Gérard Morel (1)

1 CRAN - Centre de Recherche en Automatique de Nancy
2 INRS ( Vandoeuvre lès Nancy) - Institut national de recherche et de sécurité (Vandoeuvre lès Nancy)

This work, developed at Nancy Research Centre of Automatic Control (CRAN from Nancy University) jointly with INRS (Institut National de Recherche et de Sécurité) deals with the verification of safety requirements for the design of complex control systems involving software, mechanical, or electrical components for industrial safety-critical applications such as power plant control or embedded control systems.

Domaines: Automatique / Robotique

Dominique Evrot, Jean-François Pétin, Gérard Morel. Combining SysML and formals methods for safety requirements verification. INSIGHT - International Council on Systems Engineering (INCOSE), 2008, 11 (3), pp.21-22. ⟨hal-00344894⟩