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.

Slides:

Advertisements

Similar presentations

ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number Safety Certification of Software-intensive Systems with.

Advertisements

SAFe Automotive aRchItecture SAFARI. SAFARI_Presentation_Short_v1.ppt 2 / /P. Cuenot/ © Continental AG ARTEMIS/Call2 R&D Project Proposal Project.

Domain Engineering Silvio Romero de Lemos Meira

ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number Safety Certification of Software-intensive Systems with.

©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 24 Slide 1 Critical Systems Validation 2.

ECE 720T5 Fall 2012 Cyber-Physical Systems Rodolfo Pellizzoni.

ARTEMIS pSafeCer Grant Agreement number ARTEMIS nSafeCer Grant Agreement number Safety Certification of Software-intensive.

Basic Concepts in Component-Based Software Engineering

Page 1 Building Reliable Component-based Systems Chapter 16 - Component based embedded systems Chapter 16 Component based embedded systems.

Page 1 Building Reliable Component-based Systems Ivica Crnkovic Chapter 9 Component Composition and Integration.

Software Fault Tolerance – The big Picture RTS April 2008 Anders P. Ravn Aalborg University.

1 Certification Chapter 14, Storey. 2 Topics  What is certification?  Various forms of certification  The process of system certification (the planning.

Pratt & Whitney National Workshop on Aviation Software Systems for the Second Century of Flight: Design for Certifiably Dependable Systems October 5-6,

Federal Aviation Administration Software for Critical Aviation Systems Presented to:National Workshop on Aviation Software Systems By:Hal Pierson Date:5.

Industrial Avionics Working Group 19/04/07 Architecture Integration.

Software Fault Tolerance – The big Picture mMIC-SFT September 2003 Anders P. Ravn Aalborg University.

João Batista Camargo Jr Safety Analysis Group (GAS) Computer and Digital Systems Engineering Department (PCS) Escola Politécnica.

 QUALITY ASSURANCE:  QA is defined as a procedure or set of procedures intended to ensure that a product or service under development (before work is.

Course Instructor: Aisha Azeem

Romaric GUILLERM Hamid DEMMOU LAAS-CNRS Nabil SADOU SUPELEC/IETR.

ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number Safety Certification of Software-intensive Systems with.

ARTEMIS pSafeCer Grant Agreement number ARTEMIS nSafeCer Grant Agreement number Safety Certification of Software-intensive.

Free Mini Course: Applying SysML with MagicDraw

ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number Safety Certification of Software-intensive Systems with.

 The software systems must do what they are supposed to do. “do the right things”  They must perform these specific tasks correctly or satisfactorily.

Assurance techniques for code generators Ewen Denney USRA/RIACS, NASA Ames Bernd Fischer ECS, U Southampton.

©Ian Sommerville 2004Software Engineering, 7th edition. Chapter 19 Slide 1 Component-based software engineering 1.

No: 1 CEMSIS 1 WP3 - Use of pre-developed products Key issues N. Thuy EDF R&D.

ECE 720T5 Winter 2014 Cyber-Physical Systems Rodolfo Pellizzoni.

Software Models (Cont.) 9/22/2015ICS 413 – Software Engineering1 -Component-based software engineering -Formal Development Model.

ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number Safety Certification of Software-intensive Systems with.

©Ian Sommerville 2000, Mejia-Alvarez 2009 Slide 1 Software Processes l Coherent sets of activities for specifying, designing, implementing and testing.

Formalizing the Asynchronous Evolution of Architecture Patterns Workshop on Self-Organizing Software Architectures (SOAR’09) September 14 th 2009 – Cambrige.

Odyssey A Reuse Environment based on Domain Models Prepared By: Mahmud Gabareen Eliad Cohen.

Research Heaven, West Virginia A Compositional Approach for Validation of Formal Models Bojan Cukic, Dejan Desovski West Virginia University NASA OSMA.

Agile User Stories Enriched with Usability ANA M. MORENO AND AGUSTÍN YAGÜE UNIVERSIDAD POLITECNICA DE MADRID MADRID, SPAIN

ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number Safety Certification of Software-intensive Systems with.

West Virginia University Towards Practical Software Reliability Assessment for IV&V Projects B. Cukic, E. Gunel, H. Singh, V. Cortellessa Department of.

1 Introduction to Software Engineering Lecture 1.

Haptic Interfaces and Force-Control Robotic Application in Medical and Industrial Contexts Applicants Prof. Doo Yong Lee, KAIST Prof. Rolf Johansson,

Open Platform for EvolutioNary Certification Of Safety-critical Systems Large-scale integrating project (IP) Nuanced Term-Matching to Assist in Compositional.

ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number Safety Certification of Software-intensive Systems with.

1 Centre for Intelligent Systems and their Applications Division of Informatics, University of Edinburgh Draft for AKT July Workshop Jessica Chen-Burger.

Toulouse, September 2003 Page 1 JOURNEE ALTARICA Airbus ESACS  ISAAC.

ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number Safety Certification of Software-intensive Systems with.

Slide 1 Systems Analysis and Design With UML 2.0 An Object-Oriented Approach, Second Edition Chapter 2: Introduction to Object-Oriented Systems Analysis.

1 Unified Modeling Language, Version 2.0 Chapter 2.

RLV Reliability Analysis Guidelines Terry Hardy AST-300/Systems Engineering and Training Division October 26, 2004.

ARTEMIS JU Grant Agreement number WP4 Instantiation WP4 Status 25 September, 2013.

SAFEWARE System Safety and Computers Chap18:Verification of Safety Author : Nancy G. Leveson University of Washington 1995 by Addison-Wesley Publishing.

Page 1 Building Reliable Component-based Systems Chapter 9 - Component Composition and Integration Chapter 9 Component Composition and Integration.

ARTEMIS pSafeCer Grant Agreement number ARTEMIS nSafeCer Grant Agreement number Safety Certification of Software-intensive.

Enabling Technology for Fault Tolerance Ricardo Jiménez-Peris Marta Patiño-Martínez Technical University of Madrid (Universidad Politécnica de Madrid,

FOSE-MAS Session Wrap-UP. Major Points (1) Scott DeLoach –We have yet to demonstrate benefits of MAS, address industrial needs –Lack of key concepts,

Methodology Review Chapter 7 Part 2: Design Methodology Object-Oriented Modeling and Design Byung-Hyun Ha

SE513 Software Quality Assurance Lecture12: Software Reliability and Quality Management Standards.

ARO Workshop Wendy Roll - May 2004 Topic 4: Effects of software certification on the current balance between software/system modeling, analysis and testing.

ARTEMIS Industry Association Title Presentation - 1 MORTIMUS+MACE+DECISIVE (ASP-5) Contact: Mikael Sjödin

ASP-1 Results from Break-Out Session 1. ARTEMISIA Association Title Presentation ideas  6 clusters  Safe transport technologies (1)  Safety.

SRA 2016 – Strategic Research Challenges Design Methods, Tools, Virtual Engineering Jürgen Niehaus, SafeTRANS.

1 SYS366 Week 2 - Lecture Visual Modeling and Process.

SQA project process standards IEEE software engineering standards

CEA LIST Expression of interest: dt-fof

SQA project process standards IEEE software engineering standards

Systems Analysis and Design With UML 2

The Extensible Tool-chain for Evaluation of Architectural Models

Fault Tolerance Distributed

Strategy for development of new software

Review and comparison of the modeling approaches and risk analysis methods for complex ship system. Author: Sunil Basnet.

Luca Simoncini PDCC, Pisa and University of Pisa, Pisa, Italy

Presentation transcript:

ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number 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

UPM, Elena Gómez-Martínez Page 2 ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number 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.

UPM, Elena Gómez-Martínez Page 3 ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number 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.

UPM, Elena Gómez-Martínez Page 4 ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number 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.

UPM, Elena Gómez-Martínez Page 5 ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number 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.

UPM, Elena Gómez-Martínez Page 6 ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number 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

UPM, Elena Gómez-Martínez Page 7 ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number 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?

UPM, Elena Gómez-Martínez Page 8 ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number 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?

UPM, Elena Gómez-Martínez Page 9 ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number ARTEMIS JU Grant Agreement number 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?