Technical Programme

301	Multi-Core Processor: Stepping Inside the Box Philippe Cuenot, Kevin Delmas and Claire Pagetti
324	Model-Based Safety Assessment of an Insulin Pump System with AltaRica 3.0 Julien Vidalie, Michel Batteux, Faïda Mhenni and Jean-Yves Choley
671	Efficient Modeling of Large Markov Chains Models with AltaRica 3.0 Michel Batteux, Tatiana Prosvirnova and Antoine Rauzy
680	Altarica 3.0 Modeling Pattern for Production Systems Availability Assessment Michel Batteux, Walid Bennaceur, Tatiana Prosvirnova and Antoine Rauzy
718	Binding Fault Logic to System Design: A SysML Approach Kester Clegg, David Stamp and John McDermid

Session: TU1I	Model Based Safety Assessment
Day/Time	Tuesday, 2021 September 21 / 08:30-10:10 hrs
Venue	Giffard