Safety Assessment with Altarica [chapter]

Pierre Bieber, Christian Bougnol, Charles Castel, Jean-Pierre Heckmann Christophe Kehren, Sylvain Metge, Christel Seguin
Building the Information Society  
AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are presented.
doi:10.1007/978-1-4020-8157-6_45 dblp:conf/ifip/BieberBCHKMS04 fatcat:tunnkicp5re5fo5flmzffyiotm