WAFERS Program

 

For more details please refer to the individual workshop page.

Monday, October 9th

Program

(8:30 - 9:30) Keynote: Verification and Validation of Systems Engineering Models and Modeling Languages Zoltan Micskei (60 mins: 45-50 mins + 10-15 mins of Q&A)

Model-based development is an often-used technique in the context of cyber-physical systems. Systems engineering modeling languages, like SysML, offer many benefits, including early verification and validation of key system behavior. However, in safety-critical systems requiring strong guarantees, V&V needs to be holistically applied to both the models and the modeling tools at multiple meta-levels. This talk will present results on the V&V of the engineering models and the modeling languages used to create those models.

(9:30 - 9:50) J1C2 Paper Presentation: A Model-Driven Approach for the Management and Enforcement of Coding Conventions
Elder Rodrigues, José D'Abruzzo Pereira, Leonardo Montecchi (20 minutes)

(10:00 - 10:30) Coffee Break

(10:30 - 10:50) Research Paper Presentation: The GOLDS satellite constellation: preparatory works for a model-based performability analysis
Francesco Mariotti, Paolo Lollini and Fátima Mattiello-Francisco (20 minutes)

(10:50 - 11:10) Research Paper Presentation: Towards Robust Visual Odometry Systems Against Camera Lens Failures
Lorenzo Sarti, Hudson Bruno, Tommaso Puccetti, Esther Colombini and Andrea Ceccarelli (20 minutes)

(11:10 - 11:30) Research Paper Presentation: Validating the BIECO Security Evaluation Methodology within a Smart Grid Monitoring SW
Irene Bicchierai, Enrico Araniti, Sara Nieves Matheu-García and Juan Francisco Martínez Gil (20 minutes)

(11:30 - 11:50) Research Paper Presentation: Modeling Moving Target Defense strategies and attacks with SAN and ADVISE
Francesco Mariotti, Lorenzo Manetti and Paolo Lollini (20 mins) (20 minutes)

(11:50 - 12:00) Concluding Remarks