AltaRica - a high level modeling language dedicated to Safety Analyses
For more information and publications, see http://altarica-association.org/index.html and https://altarica.labri.fr/wp/.
The OSMOSIS model LightIspectionV5 describes the safety procedures achieved to manage hazards during the light inspection with the robot. Associated files:
- source file: LightIspectionV5.alt.
- report: LightIspectionV5.pdf.
It has been developed and analyzed with Cecilia Workbench from Dassault Aviation.
The analysis aims at computing combinations of technical failures or human error leading to several undesired events. Analysis results are given in the following files: