WoSoCer 2015

5th IEEE International Workshop on Software Certification (WoSoCer) - Monday, November 2nd, room: West Square.

Program
 

Session #1 9:00 - 10:30
 

Chair: Barbara Gallina (Mälardalen University, Sweden)

09:00 - 09:15 Workshop opening

09:15 - 10:00 Invited talk: On the importance of systematic testing of safety-critical systems by Anneliese Andrews (University of Denver)

10:00 - 10:30 Panel discussion on testing of safety-critical systems

Coffee break 10:30 - 11:00
 

Session #2: 11:00 - 12:30
 

Chair: Barbara Gallina (Mälardalen University, Sweden)

11:00 - 12:30 Research papers: 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, by Michael Roth, Agus Hartoyo and Peter Liggesmeyer.

Automated Compositional Safety Analysis Using Component Fault Trees, by Felix Möhrle, Marc Zeller, Kai Höfig, Martin Rothfelder and Peter Liggesmeyer.

Qualitative Evaluation of Fault Hypotheses with Non-Intrusive Fault Injection, by Jelena Frtunikj, Joachim Fröhlich, Tim Rohlfs and Alois Knoll.

Panel discussion of research papers

Lunch break 12:30 - 14:00
 

Session #3 14:00 - 15:30
 

Chair: Roberto Natella (Federico II Univ. of Naples, Italy)

14:00 - 15:00 Software Reliability Assessment  for Nuclear Digital Instrumentation and Control Systems by Carol Smidts (Ohio State Univ., USA)

15:00 - 15:30 Panel discussion

Coffee break 15:30 - 16:00
 

Session #4 16:00 - 17:45
 

Chair: Roberto Natella (Federico II Univ. of Naples, Italy)

16:00-17:30    Research papers: Certification and Assurance Practices

Process Improvement in Governmental Agencies: Toward CMMI Certification, by Ziyad Alshaikh, Mansour Alsaleh, Abdulrahman Alarifi and Mohammad Zarour.

SysML-based and Prolog-supported FMEA, by Fabio Scippacercola, Roberto Pietrantuono, Stefano Russo and Nuno Pedro Silva.

Preventing recurrence of industrial control system accident using assurance case, by Mirko Napolano, Fumio Machida, Roberto Pietrantuono and Domenico Cotroneo.

Panel discussion of research papers

17:30 - 17:45    Thank you and Workshop closing (info about the special issue)