Combining SysML and formal methods for safety requirements verification
Résumé
Industrial safety-related standards strongly recommend the use of formal methods to control the complexity of software-intensive automation. This paper deals with the verification of safety requirements for the design of an industrial machinery control system embedding safety-critical software applications. It combines SysML semi-formal modelling approach to capture and structure safety requirements and model-checking techniques for the formal verification purposes.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...