1. ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 Sept 25-27, 2013 Riga Safety Certification of Software-intensive Systems with Reusable Components WP150: Verification and Certification Elena Gómez-Martínez Universidad Politécnica de Madrid, Spain

2. UPM, Elena Gómez-Martínez Page 2 ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 Sept 25-27, 2013 Riga Objectives To reduce the cost of qualification, certification and verification for compositional development. The certification process includes:  Software verification  System verification  Safety Unsafe conditions may arise in the interaction among components.

3. UPM, Elena Gómez-Martínez Page 3 ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 Sept 25-27, 2013 Riga Objectives A big amount of evidence to convince a certifying authority that a system is safe:  To integrate the certification into the development process  To enrich the system description with properties that are relevant to demonstrate the system’s safety.  Modelling languages must support the specification of Safety Properties.

4. UPM, Elena Gómez-Martínez Page 4 ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 Sept 25-27, 2013 Riga Objectives WP151:  To extend and adapt existing V&V methods to the certification of components and their composition. WP152:  To integrate V&V methods in a coherent development methodology. WP153:  To specify methods for parameterised V&V and proposal of implementation.

5. UPM, Elena Gómez-Martínez Page 5 ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 Sept 25-27, 2013 Riga Objectives We must consider…  Generic Component Metamodel.  Instantiations of the Generic Component Metamodel.  Generic Process Metamodel.  Safety Contracts and Safety Arguments.

6. UPM, Elena Gómez-Martínez Page 6 ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 Sept 25-27, 2013 Riga WP151 (UPM) Review of certification properties Extension proposal of V&V methods  Fault Tree Analysis: New Fault Tree (FT) event that captures the relationship between faults, errors and failures represented in a FT.  Mutation-Based Testing: Incremental procedure to generate integration test.  Contract-Base design  Modeling and simulation by co-simulation

7. UPM, Elena Gómez-Martínez Page 7 ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 Sept 25-27, 2013 Riga WP152 (FBK) To integrate V&V methods in a coherent development methodology. What methods? Methodology? How to integrate these methods into Generic Component Model? How to integrate this methodology into Generic Component Process?

8. UPM, Elena Gómez-Martínez Page 8 ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 Sept 25-27, 2013 Riga WP153 (UPM) To specify methods for parameterised V&V and proposal of implementation. What parameters? How to identify them? What methods are more suitable for parameterisation?

9. UPM, Elena Gómez-Martínez Page 9 ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 Sept 25-27, 2013 Riga WP150 To provide efficient support for a compositional component-based certification approach using a portfolio of V&V techniques. How to reach this objective?