1 / 9

WP150: Verification and Certification Elena Gómez-Martínez

WP150: Verification and Certification Elena Gómez-Martínez Universidad Politécnica de Madrid, Spain. Objectives. To reduce the cost of qualification, certification and verification for compositional development. The certification process includes: Software verification System verification

hao
Download Presentation

WP150: Verification and Certification Elena Gómez-Martínez

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. WP150: Verification and Certification Elena Gómez-Martínez Universidad Politécnica de Madrid, Spain

  2. 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.

  3. 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.

  4. 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.

  5. Objectives • We must consider… • Generic Component Metamodel. • Instantiations of the Generic Component Metamodel. • Generic Process Metamodel. • Safety Contracts and Safety Arguments.

  6. 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

  7. 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?

  8. 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?

  9. WP150 • To provide efficient support for a compositional component-based certification approach using a portfolio of V&V techniques. • How to reach this objective?

More Related