Processus d'identification de contraintes de sécurité innocuité vérifiables en ligne pour des systèmes autonomes critiques

Autor: Mekki-Mokhtar, Amina

Publikováno v: Autre [cs.OH]. Université Paul Sabatier-Toulouse III, 2012. Français

Recent progress in the definition of decisional mechanisms has allowed computer-based systems to become more and more autonomous. For example, service robots can nowadays work in direct interaction with humans and carry out increasingly complex tasks

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2592::7040f0c9a829b887936c05ff5b290657
https://tel.archives-ouvertes.fr/tel-00800859/document

Elicitation of Executable Safety Rules for Critical Autonomous Systems

Autor: Mekki-Mokhtar, Amina, Blanquart, Jean-Paul, Guiochet, Jérémie, Powell, David, Roy, Matthieu

Publikováno v: ERTS 2012 proceedings
Embedded Real Time Software and Systems (ERTS2012)
Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. 10p

International audience; The progress of artificial intelligence techniques, particularly decisional mechanisms, has allowed reactive systems to become more autonomous. This allows new applications in domains such as service robotics in which failures

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::4dde8aee662dbb0cd4fb2eca796d10fb
https://hal.archives-ouvertes.fr/hal-01282237

Safety Trigger Conditions for Critical Autonomous Systems.

Autor: Mekki-Mokhtar, Amina, Blanquart, Jean-Paul, Guiochet, Jeremie, Powell, David, Roy, Matthieu

Publikováno v: 2012 IEEE 18th Pacific Rim International Symposium on Dependable Computing; 1/ 1/2012, p61-69, 9p