Technical Programme

Session: TU3I Model Based Safety Assessment
Day/Time Tuesday, 2021 September 21 / 15:20-16:20 hrs
Venue Giffard

232

"K6 Telecom", a Dynamic Component Library to Lead Model-Based Safety Analysis for Critical Communication Networks
Legendre Anthony, Druet Jules, Sanchez-Torres José and Carer Philippe

682

Benefits of Graphical Animation of Advanced AltaRica 3.0 Models
Michel Batteux, Walid Bennaceur, Tatiana Prosvirnova and Antoine Rauzy

561

Flexibility of Analysis Through Knowledge Bases
Ola Bäckström, Marc Bouissou, Pavel Krcal and Pengbo Wang