Workshop on Software Certification(WoSoCer)

Monday, October 15, 2018

Session 1: Open Challenges in Software Certification (9:00AM - 10:30AM)

-Keynote Talk: Software Testing Certification under the Systems Tesing Excellence Program(STEP). Mark L. Gillenson

-Robotics Software Engineering and Certification: Issues and Challenges. Roberto Pietrantuono, Stefano Russo

Session 2: Testing & Certification (11:00AM - 12:30PM)

-TensorFI: TensorFI: A Configurable Fault Injector for TensorFlow Applications. Guanpeng Li, Karthik Pattabiraman and Nathan DeBardeleben

-Dependability Certification Guidelines for NFVIs through Fault Injection. Domenico Cotroneo, Luigi De Simone and Roberto Natella

-Toward a Systematic Safety Evidence Productive Verification Approach for Safety-Critical Systems. Aiman Gannous, Anneliese Andrews and Barbara Gallina

Session 3: Certificable Software Development and Verification (2:00PM - 3:30PM)

-Towards Agile Yet Regulatory-Compliant Development of Medical Software. Vlad Stirbu and Tommi Mikkonen

-Verifiable Self-Certifying Autonomous Systems. Michael Fisher, Emily Collins, Louise Dennis, Matthew Luckcuck, Matt Webster, Michael Jump, Vincent Page, Charles Patchett, Fateme Dinmohammadi, David Flynn, Valentin Robu and Xingyu Zhao. 

-Model-Based Computer-Aided Monitoring for Safety Case Construction. Adedjouma Morayo and Asma Smaoui