Welcome to WoSoCer 2015

The WoSoCer workshop series is a forum for discussing novel solutions for the assessment and certification of software in critical systems, and for promoting their adoption through industrial and academic research projects.

A special issue of the workshop will be published in Reliability Engineering & System Safety, a high-impact Elsevier journal (call for papers)

WoSoCer 2015 program

TitleAuthors
09:00 - 09:15Workshop opening 
09:15 - 10:00Invited talk: On the importance of systematic testing of safety-critical systems (Abstract Slides)Anneliese Andrews
(Univ. of Denver)
10:00 - 10:30Panel discussion on testing of safety-critical systems (moderator: Barbara Gallina; panelists: Annaliese Andrews, Mikael Lindvall) 
   
10:30 - 11:00Coffee break 
   
11:00 - 12:30Research papers session: Formalisms for the evaluation of software-intensive systems 
 Efficient Reachability Graph Development for State/Event Fault Trees to Support the Analysis Process of Software-Intensive Systems (Abstract, Slides)Michael Roth, Agus Hartoyo and Peter Liggesmeyer
 Automated Compositional Safety Analysis Using Component Fault Trees (Abstract, Slides)Felix Möhrle, Marc Zeller, Kai Höfig, Martin Rothfelder and Peter Liggesmeyer
 Qualitative Evaluation of Fault Hypotheses with Non-Intrusive Fault Injection (Abstract, Slides)Jelena Frtunikj, Joachim Fröhlich, Tim Rohlfs and Alois Knoll
 Panel discussion of research papers 
   
12:30 - 14:00Lunch break 
   
14:00 - 15:00Invited talk: Software Reliability Assessment for Nuclear Digital Instrumentation and Control Systems (Abstract)Carol Smidts
(Ohio State Univ.)
15:00 - 15:30Panel discussion on reliability assessment of safety-critical systems (moderator: Roberto Natella; Panelists: Carol Smidts, Pete Rotella) 
   
15:30 - 16:00Coffee break 
   
16:00-17:30Research papers session: Certification and Assurance Practices 
 Process Improvement in Governmental Agencies: Toward CMMI Certification (Abstract, Slides)Ziyad Alshaikh, Mansour Alsaleh, Abdulrahman Alarifi and Mohammad Zarour
 SysML-based and Prolog-supported FMEA (Abstract, Slides)Fabio Scippacercola, Roberto Pietrantuono, Stefano Russo and Nuno Pedro Silva
 Preventing recurrence of SCADA system accident using assurance case (Abstract, Slides)Mirko Napolano, Fumio Machida, Roberto Pietrantuono and Domenico Cotroneo
 Panel discussion of research papers 
   
17:30 - 17:45Thank you and Workshop closing (info about the special issue)

Previous editions

Please see the following links for more information about previous editions of WoSoCer: