Workshop Program

Wosocer

Workshop Program

	Tuesday, November 27
14:00 14:10	Welcome to WoSoCER 2012
14:10 14:25	Technical Session 1, Research Paper I
14:25 14:40	Technical Session 1, Research Paper II
14:40 15:30	Panel
15:30 16:00	Coffee Break
16:00 16.15	Technical Session 1, Research Paper III
16:15 16:45	Keynote (Dr. Gabriella Carrozza)
16:45 17:00	Technical Session 2, Research Paper I
17:00 17:15	Technical Session 2, Research Paper II
17:15 17:30	Technical Session 2, Research Paper III

Technical Session #1: Certification Methods

RPI: Combination of Static and Dynamic Analyses for the Certification of Avionics Software

Antoine Ferlin and Virginie Wiels

RPII: A Method to Formally Evaluate Safety Case Evidences Against a System Architecture Model
Stefan Björnander, Rikard Land, Kristina Lundqvist, and Philippa Conmy

RPIII Safety-Critical Composable Systems Based on Pre-Certified Software Components
Andreas Söderberg and Benjamin Vedder

Technical Session #2: Practical Experience Reports

RPI: Industrial Experiences of Building a Safety Case in Compliance with ISO 26262

Raghad Dardar, Barbara Gallina, Andreas Johnsen, Kristina Lundqvist, and Mattias Nyberg

RPII: 10 years of ISVV: What's next?
Nuno Silva and Rui Lopes

RPIII: Agile Practices in Regulated Railway Software Development

Henrik Jonsson, Stig Larsson, and Sasikumar Punnekkat

< Prev		Next >