1. ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 Safety Certification of Software-intensive Systems with Reusable Components Sept 25-27, 2013 Riga nSCWP2: Innovations Deliverables Status Sasikumar Punnekkat MDH, Sweden

2. MDH Sasi Punnekkat, 25-09-2013 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 Objectives continue the collection of stakeholders needs from pSafeCer WP1 (special focus new scientific scope for nSafeCer and input from new nSafeCer partners; nSafeCer WP110) to define a generic process model with generic activities and generic artifacts to take ad-vantage of the compositional approach for co- certification (nSafeCer WP120) to define languages to specify certification related properties and safety contracts and their integration into existing component models (nSafeCer WP130) to provide a safety argument describing why the overall system is acceptably safe, and evidence to support claims made in the argument (nSafeCer WP140) to adapt existing verification and validation techniques to aid the certification of compo-nents and their composition (nsafeCer WP150)

3. MDH Sasi Punnekkat, 25-09-2013 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 nSCWP110: Requirements Requirements collected from new partners Analysis under progress

4. MDH Sasi Punnekkat, 25-09-2013 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 nSCWP120: Process Model Telcos to decide in which way the deliverable should evolve to support demonstrator-providers w.r.t. process aspects. Telcos to synchronize the work done within D2.1.1 w.r.t. to process modeling and CAR/CTF providers. This includes understand which scenarios demonstrator providers are willing to consider. More specifically, MDH has provided the XML (which is the ex-port format of EPF) that models the design phase to let CAR/CTF providers to examine it and understand if they can retrieve the information they need.

5. MDH Sasi Punnekkat, 25-09-2013 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 nSC120 – Status of Deliverables

6. MDH Sasi Punnekkat, 25-09-2013 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 nSCWP120: Component Model The current work in WP130 is focused on the two deliverables with deadlines next month (Sep 2013): D131 defines the component model requirements, and D132 is the first version of the new component meta-model. Most of the work on D131.1, led by AIT, was done earlier in spring, but the finalization of the deliverable was postponed since a few sections were missing. The requirements from pSafeCer were revisited, and new requirements were gathered from the new do-mains in nSafeCer. The document has now been finalized and sent to the reviewers. The work on D132, led by MDH, started in April. Discussion topics for meta-model im- provements were defined based on requirements analysis on the preliminary version of D131.1. This strategy was important to help the discussion group drive the selection of the proper meta-model features in line with the project objectives. The identified topics were discussed by email and in four telephone conferences. A first proposal for the new meta- model, capturing as much as possible of the outcome from the discussion, was presented to the partners involved in D132 in the beginning of August. We have also started writing the accompanying report, and the plan is to have it ready for review by the end of September, which is the deadline for the first, confidential, version of the de-liverable. The final public version should be ready in December 2014.

7. MDH Sasi Punnekkat, 25-09-2013 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 nSC130 - Status of Deliverables

8. MDH Sasi Punnekkat, 25-09-2013 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 nSCWP140: Safety Argumentation Planning meetings conducted regarding deliverables D141.1- “Detailed methods and assessments of the different ways in which the safety of product lines can be argued”, and D142.1 – “An extensive model for the safety contracts (SC) that form an integral part of the modular safety case and try to break the safety contracts, deliberately creat-ing problems and looking at ‘null hypothesis”. We have agreed on the contents, but the writing has yet to start. Some studies are ongoing with Crosscontrol and another one with VCE in the planning stage.

9. MDH Sasi Punnekkat, 25-09-2013 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 nSC140- Status of Deliverables

10. MDH Sasi Punnekkat, 25-09-2013 Page 10 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 nSCWP150: Verification & Validation Activities related to D152 on the integration of V&V techniques have been started regularly and are proceeding without any plan deviation (the next deliverable due M36). This deliverable focuses on the integration of different V&V methods. For example, it will describe how contract-based design can be integrated with fault-tree analysis and how petri-nets analysis techniques can be integrated with the extension of fault trees proposed in D151.

11. MDH Sasi Punnekkat, 25-09-2013 Page 11 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 nSC150- Status of Deliverables