nSafety Certification of Software-Intensive Systems with Reusable Components (NSAFECER)

Framework: FP7 — Cooperation
Programme: Joint Technology Initiatives (Annex IV-SP1)
Theme: Public-private partnerships
Destination: Embedded Computing Systems
Action type: Collaborative project
Partnership: ARTEMIS (Art-185)
Countries involved: Sweden,Austria,Austria,Spain,Spain,France,France,Italy,Italy,Latvia,Sweden,Sweden,Spain,Latvia,Sweden
Call:  (ARTEMIS-2011-1, 2011)
Start date: 2012-04-01
End date: 2015-03-31
Duration (months): 36.0
Total project cost (EUR): 15290742.0
EU funding (EUR): 2553553.92
Participants: 31
Project status: CLOSED

European industry has a great potential to achieve a leading position in the growing global market of safety-relevant embedded systems, provided it is able to devise efficient and industrial-strength methods and processes for their development and certification. nSafeCer targets increased efficiency and reduced time-to-market by composable safety certification of safety-relevant embedded systems. A primary objective is to provide support for system safety arguments based on arguments and properties of system components, as well as to provide support for generation of corresponding evidence in a similar compositional way. By efficient reuse during certification and stronger links between certification and development, a higher degree of component reuse is envisioned. Improved quality and reduced risk during verification, qualification and certification, will increase European industry competitiveness and pave the way for a cross-domain market for components qualified for certification. The main industrial domains targeted in nSafeCer are aerospace, automotive, construction equipment and railway. Other domains such as health care and cross-domain aspects will also be considered. nSafeCer builds on the 2 year ARTEMIS pilot project pSafeCer launched in April 2011. Sharing the same overall goals, the concepts developed in pSafeCer are in nSafeCer advanced into tangible industrial implementations of “project-ready”, unified and seamlessly integrated solutions, and demonstrators of the proof of concepts. Certification guidelines and training examples for various other domains will also be developed. In addition to the deepening of the pSafeCer knowledge, nSafeCer adds scientific objectives, including support for product-lines and cross-domain certification and reuse. nSafeCer brings together leading companies and SMEs across Europe (including technology, tool, and competence providers, as well as certification and standardisation experts), which together with selected academic institutions are capable and motivated to realize the nSafeCer goals, specifically addressing ARTEMIS subprograms ASP1 and ASP5. The TA v2.1 was accepted by the ARTEMIS-JU PO on 7/3/2012. Withdraw of Latvian partner LDz resulted in new TA v2.2. The TA v2.2 was accepted by ARTEMIS-JU PO on 22/3/2012 Withdraw of French partner Delphi resulted in new TA v2.3 (numbering in TAv2.3 still includes DElPHI as partner number 15 but with zero effort and funding) In NEF Delphi is removed and MDS is partner 15, AdaCore partner 16 and so forth. The revised version 2.3 is accepted by the JU PO on 11/7/2012. Delphi withdraw was accepted by nSafeCer General Assembly on 12/7/2012.

Keywords: functional safety,certification,software-intensive systems,reusable components,composable certification,qualification,safety argumentation,cross-domain reuse.