A Component-based Safe Design method for train control systems
Résumé
In this paper, Formal verification and Discrete controller synthesis are combined within a component-based design method. Formal verification finds design errors and provides counter-examples. The Discrete Controller Synthesis technique attempts to enforce previously verified specifications which do not hold. It automatically produces control code, which is correct by construction with respect to the specification to enforce. This approach is presented and illustrated on an industrial railway system.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...