Specifying safety monitors for autonomous systems - Archive ouverte HAL Accéder directement au contenu
Rapport Année : 2013

Specifying safety monitors for autonomous systems

Résumé

The approach is to strengthen the elicitation of safety monitor requirements for autonomous systems by the use of formal methods (e.g., model-checking, controllable natural language).
Fichier principal
Vignette du fichier
machin2013specifying.pdf (99.47 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00841711 , version 1 (22-07-2013)
hal-00841711 , version 2 (22-07-2013)

Identifiants

  • HAL Id : hal-00841711 , version 1

Citer

Mathilde Machin, Jean-Paul Blanquart, Jérémie Guiochet, David Powell, Hélène Waeselynck. Specifying safety monitors for autonomous systems. 2013. ⟨hal-00841711v1⟩
243 Consultations
202 Téléchargements

Partager

Gmail Facebook X LinkedIn More