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 Why the demonstrators show whether key requirements are met Sasikumar Punnekkat Mälardalen University ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 Sept 25-27, 2013 Riga Overall Expected Impacts of SafeCer l  l  l  l  l  l  l  Increased efficiency Reduced time-to-market Increased quality Reduced risk Increased level of reuse New requirements and standards Meeting the out-of-context challenge MDH Sasi Punnekkat, 26-Sept-2013 Page 2 <logo> ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 SafeCer Overview WP1 Requirements analysis Sept 25-27, 2013 Riga WP110 New domains Requirements WP2.1 WP2.2 WP2.3 WP120 Safecer Models, Metamodels Initial models State of the art WP2.4 WP3 Requirements CAR+CTF WP4+ WP5 WP130 WP140 Refinements of models & methods based on evaluations WP150 WP200 Design& Development CAR+CTF Instantiations & proof -of-concept demo Variety of industrial use cases & demos pSafeCer Y1 MDH Sasi Punnekkat, 26-Sept-2013 Y3 Y2 Page 3 WP300 WP400 WP500 WP600 WP700 nSafeCer Y4 <logo> ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 Sept 25-27, 2013 Riga Generic requirements on Demonstrators l  l  l  l  l  l  Focus on a domain of interest Address an aspect of relevance to safety Use SafeCer Technology & process Provide feedback to SafeCer process/methods/tools Iteratively Implement the use case successfully Evaluate applicability & effectiveness of SafeCer processes/methods/tools MDH Sasi Punnekkat, 26-Sept-2013 Page 4 <logo> ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 Sept 25-27, 2013 Riga Overview of Demonstrators •  HEV •  AutoSAR •  Lifting Unit •  Software defined radio •  ARTAS Automotive & Construction Equipment Avionics & Aerospace •  Cross-Domain •  TTEthernet •  TCMS •  Snow Sensor •  Emergency braking MDH Sasi Punnekkat, 26-Sept-2013 Railways New domains •  Healthcare (AED) •  Aerospace Page 5 <logo> ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 Sept 25-27, 2013 Riga Application of Safecer results in Demonstrators Automotive & Constr. Equipment Generic Process X X Component Model x X Safety Arguments X Verification & Validation x Tools Framework X X X MDH Sasi Punnekkat, 26-Sept-2013 Avionics & Aerospace x X X Railways X x x x X x x x x X x x x x x X x X x X X X X X Page 6 Health care X X CrossDomain X X X X X <logo> ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 Sept 25-27, 2013 Riga Key themes/results coverage- Examples Safety Argumentation l  Focussed on SEooC –AutoSAR BSW, l  Composition of safety argument- HEV power train l  Overall Methodology validations – AutoSAR BSW l  Tool development – AutoSAR BSW l  Integration of tools to CTF –AT & CE, Avionics l  Checklists and guidelines - AT & CE l  Handling complexity- Cross domain, Lifting unit, Avionics l  V&V – Avionics, Cross domain,-l  MDH Sasi Punnekkat, 26-Sept-2013 Page 7 <logo> ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 Sept 25-27, 2013 Riga Applicability & effectiveness l  Key SafeCer aspects such as Compositional certification, product-line certification, re-certification, component based Safety Engineering, model-based development, modelbased verification, traceability through architecture --etc being covered in multiple demonstrators l  High coverage of safety relevant artifacts & coverage of life cycle processes Applicability of verification/ tools to cross- & new domains l  MDH Sasi Punnekkat, 26-Sept-2013 Page 8 <logo> ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 Sept 25-27, 2013 Riga Targetting Expected Impacts (as in TA) Integration of component-based development and composable certification, enabling management of the growing complexity l  in the targeted domains. (Avionics, Rail and AT&CE demos) l  in the other(new) domains. ( AED and Aerospace) l  A certification tool-platform that is exploitable across different industrial domains that will provide competitive advantages for both tool providers and industrial users. – All demos together l  Tools and techniques that will enable a cross-domain market for safetycritical components – TTEthernet, Lifting Units) l  Development of relevant safety-standards (Feed back to standardization bodies based on results from Demos focusing on safety argumentation & process) l  MDH Sasi Punnekkat, 26-Sept-2013 Page 9 <logo> ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 Sept 25-27, 2013 Riga Summary – SafeCer Demonstrators l  l  l  l  l  SafeCer demonstrators cover a variety of critical domains and related safety standards Addresses all the safety-relevant lifecycle phases Each demonstrator addresses specific scientific objectives as well as company objectives in relation to the expected project outcomes All the technology, processes and tools developed within SafeCer are being exercised/evaluated by one or the other demonstrator Collectively meets the SafeCer key requirements MDH Sasi Punnekkat, 26-Sept-2013 Page 10 <logo> ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 Sept 25-27, 2013 Riga What next? l  l  Elaboration of use cases, development of needed artefacts, tool/process instantiations and evaluations( keeping in mind the key objectives during next phase) Feedbacks on Technical aspects ¡  We believe that the demos all together show our ability to provide comprehensive solutions. In case any missing elements are noticed, refinements in technology and tools will be planned together with Innovations and tools work packages ¡  Evaluation of economic aspects ¡  Making a long term plan for collection of data and quantify the economic gains in real-life future projects ¡  Organizational aspects ¡  Provision of improved training as part of Demonstrator implementations l  MDH Sasi Punnekkat, 26-Sept-2013 Page 11 <logo> ARTEMIS-2010-1 JU Grant Agreement number 269265 ARTEMIS-2011-1 JU Grant Agreement number 295373 Sept 25-27, 2013 Riga SafeCer Legacy l  l  l  l  l  l  Scientific innovations Technical contributions Tool framework Contributions to standards Training materials Complementing related Projects Industrial requirements Scientific Innovations Methods & Tools Standard -ization Composable certification Re-use of Components & subsystems Re-use of Evidence & Arguments Demonstrators Industrial Impact MDH Sasi Punnekkat, 26-Sept-2013 Page 12 <logo>