NEWSLETTER N. 06 Dec 2014

Transcription

1 NEWSLETTER N. 06 Dec 2014 OPEN PLATFORM FOR EVOLUTIONARY CERTIFICATION OF SAFETY-CRITICAL SYSTEMS The Project in a nutshell EDITORIAL OPENCOSS is a European large scale FP7 project ( Its objective is to produce the first Europe-wide, open safety certification platform. This is meant to reduce time & cost for (re)certification of safety-critical embedded systems, specifically in the Railway, Avionic and Automotive domains. Want to know more? Choose and download any public deliverable: The project has been running 3 years now, and it is approaching its completion in April Since Newsletter issue 5, more feedback was collected on the working prototype, the OPENCOSS Platform, by means of three industrial case studies. FEEDBACK The feedback was used to incrementally improve the prototype; this produced the third and final version of the OPENCOSS Platform, which was then applied in the case studies, thus completing Milestone 5. OPENCOSS NEWSLETTER N. 06 Dec 2014 Pag. 1/11

2 The improvements to the prototype were made possible by conceptual and engineering work, carried out simultaneously behind the scenes: Refinements of architecture Usage scenarios and their customization onto case studies Prototype integration with third party tools (development, safety, process management) Methodological guide to Common Certification Language (review of) Compositional certification advancements (concepts, rules and guides) Business Process Modeling Notation (BPMN) diagrams Enhancement in Certification Service infrastructure On the last item, it is worth citing that the prototype now provides support for gap analysis, which pinpoints the gap to be filled in order to achieve compliance with a given safety standard (see snapshot below): OPENCOSS NEWSLETTER N. 06 Dec 2014 Pag. 2/11

3 THE CONSORTIUM A STRONG AND REPRESENTATIVE EUROPEAN TEAM AdaCore ALSTOM Transport Altreonic ATEGO France ATEGO UK FR FR BE FR UK Centro Ricerche FIAT IT HPDahle NO IKV++ DE INSPEARIT FR/NL INTECS IT Parasoft PL RINA IT SIMULA NO TECNALIA R&I (Coordinating Partner) ES THALES Avionics FR TU Eindhoven NL University of York UK OPENCOSS NEWSLETTER N. 06 Dec 2014 Pag. 3/11

4 The main task of the EAB is to provide strategic guidance and support to the OPENCOSS Consortium in order to ensure that eventually the results will meet the project objectives. THE EXTERNAL ADVISORY BOARD (EAB) External Advisory Board members: Airbus, France AIST, Japan BAE Systems, UK CAF, Spain Deutsche Bahn (DB-Netz), Germany EADS/Eurocopter, France EADS/IW, UK & Germany Eclipse, Europe ERA, Europe Flanders Drive, Belgium NASA, USA Renault, France RFI Italian Railway Network, Italy Ricardo, UK SafeTrans, Germany Thales Railway, Austria TÜV Rheinland, Germany Verocel, USA Volvo, Sweden More about EAB and its role: OPENCOSS NEWSLETTER N. 06 Dec 2014 Pag. 4/11

5 NEW PAPERS Extracting Models from ISO for Reusable Safety Assurance, Y. Luo, M. van den Brand, L. Engelen, J. Favaro, M. Klabbers, G. Sartori, Safe and Secure Software Reuse, Lecture Notes in Computer Science Volume 7925, 2013, pp , From Conceptual Models to Safety Assurance, Y. Luo, M. van den Brand, L. Engelen, M. Klabbers, Conceptual Modeling, pp , Springer International Publishing, A Modeling Approach to Support Safety Assurance in the Automotive Domain, Y. Luo, M. Van den Brand, L. Engelen, M. Klabbers, Progress in Systems Engineering, pp , Metamodel Comparison and Model Comparison for Safety Assurance, Y. Luo, L. Engelen, M. van den Brand, Computer Safety, Reliability, and Security, , The use of Controlled Vocabulary and Structured Expressions in the Assurance of CPS, Katrina Attwood, Philippa Conmy, Tim Kelly, Challenges and New Approaches for Dependable and Cyber-Physical Systems Engineering (De-CPS 2014), part of Ada Europe Paris, 23 rd June 2014 (accepted/revised for publication in special edition of Ada Users' Journal, next December 2014), olled_vocabularies_and_structured_expressions_in_the_assurance_of_ CPS An extended systematic literature review on provision of evidence for safety certification, Sunil Nair, Josè Luis de la Vara, Mehrdad Sabetzadeh, Lionel C. Briand, Information and Software Technology, Volume 56, Issue 7, July 2014, pp , Current and necessary insights into SACM: an analysis based on past publications, Josè Luis de la Vara, IEEE 7 th International Workshop on Requirements Engineering and Law (RELAW 2014), Karlskrona (Sweden) Aug. 2014, pp DOI: Quantifying Uncertainty in Safety Cases Using Evidential Reasoning, Sunil Nair, Neil Walkinshaw, Tim Kelly, SAFECOMP Workshops 2014, Florence (I), Sept 2014, pp , Systematic Application of ISO on a SEooC Support by applying a systematic reuse approach, Alejandra Ruiz, Alberto Melzi, Tim Kelly, Design, Automation & Test in Europe, March 2015, Grenoble (F), OPENCOSS NEWSLETTER N. 06 Dec 2014 Pag. 5/11

6 KEY EVENTS RINA participated at the 4 th meeting between the Italian Railways Safety Authority (ANSF, and the independent and accredited Railways Safety Assessors. The event took place in Florence, 09 June RINA presented OPENCOSS, receiving much interest by the audience. ANSF AND SAFETY ASSESSORS MEETING Full presentation available at ect_overview.pdf. OPENCOSS NEWSLETTER N. 06 Dec 2014 Pag. 6/11

7 KEY EVENTS For facilitating the utilization of the (evolving) OPENCOSS infrastructure onto the Use Cases, a comprehensive internal training session was held. This saw some 20 participants, and it represented a key synchronization point for the project. OPENCOSS INTERNAL TRAINING SESSION (UNIVERSITY OF YORK, JUNE 23-26) OPENCOSS NEWSLETTER N. 06 Dec 2014 Pag. 7/11

8 KEY EVENTS 22 nd IEEE Int l Requirements Engineering Conference José Luis de la Vara (Simula) attended the 7 th International Workshop on Requirements Engineering and Law, in conjunction with the 22 nd IEEE International Requirements Engineering Conference, in Karlskrona (Sweden), August 25-29, There he presented the OPENCOSS-related paper Current and necessary insights into SACM: an analysis based on past publications. ADVANCED EMBEDDED SYSTEMS ENGINEERING WORKSHOP On 28 Nov 2014 in Leuven (B), Eric Verhulst (Altreonic), within a comprehensive Embedded Systems Engineering Workshop, as a combined dissemination and exploitation event, presented also OPENCOSS. The project was presented as key, contributing element to the general Correct by Construction approach for systems and safety engineering. OPENCOSS NEWSLETTER N. 06 Dec 2014 Pag. 8/11

9 KEY EVENTS ANNUAL OPENCOSS AND SASSUR WORKSHOPS AT SAFECOMP 2014, THE 33 RD INTERNATIONAL CONFERENCE ON COMPUTER SAFETY, RELIABILITY AND SECURITY The International Workshop on Next Generation of System Assurance Approaches for Safety-Critical Systems (SASSUR), jointly organized by Tecnalia, University of York and Simula, and attended by several other Partners, has been co-located within the 33 rd SAFECOMP International Conference ( SAFECOMP is an annual event covering the state-of-the-art, experience and new trends in the areas of safety, security and reliability of critical computer applications. This event took place in Florence on Sept , and it also represented the official annual workshop of OPENCOSS. The event also hosted the periodic meeting of the OPENCOSS External Advisory Board (EAB). Last EAB was also co-located with SAFECOMP (Toulouse, Sept 2013). At 7 months to project completion the EAB, acknowledging the project current and near-term expected results, suggested the most suitable, final steps for facilitating their exploitation. OPENCOSS NEWSLETTER N. 06 Dec 2014 Pag. 9/11

10 DISSEMINATION MATERIAL The following material can be downloaded from the OPENCOSS Web site ( Flyer (also called brochure, fact-sheet, leaflet) Abstract Position Paper (also called white paper) Press Release (issues at project kick-off) Roll-Up Poster Short Presentation Long Presentation This Newsletter (June to Dec 2014), and previous ones In the photo, Alejandra Ruiz, from Tecnalia, while stepping out. OPENCOSS NEWSLETTER N. 06 Dec 2014 Pag. 10/11

11 Project Web site: OPENCOSS WEB SITES AND ON THE SOCIAL NETWORKS Cordis: The project is also visible as a LinkedIn professional group with currently 205 members (+25 in a few months), and on Twitter and Facebook. Join us! OPENCOSS NEWSLETTER N. 06 Dec 2014 Pag. 11/11