VALU3S Repository

Verification and Validation of Automated Systems’ Safety and Security
Advanced Search…
  • Log in
  • Use Cases
    • Search use case by domain and methods
    • Workflows
    • Demonstrators Results
    • Measurement of Validation process Improvement
    • Measurement of SCP Validation Improvement
  • Methods
  • Tools
    • Supporting Tools
    • Improved/Developed Tools
  • Standards
  • Organizations
  • VALU3S Glossary
  • VALU3S Documents
    • Verification and Validation Modelling Language (VVML) Handbook
    • VALU3S Leaflet
  • About
You are here:
  1. Home
  2. Use Cases
  3. UC5 - Aircraft Engine Controller
  4. Workflow
Workflow https://repo.valu3s.eu/use-cases/aircraft-engine-controller/workflow https://repo.valu3s.eu/@@site-logo/logo_valu3s_green_transparent.png

Workflow

Model-Implemented Fault/Attack Injection with Pre-Injection Analysis (MIFI_MIAI)
SiLVer (SimuLation-based Verification)
VeRFoR: Verifying and Refactoring Formalised Requirements
ecsel EU

This project has received funding from the ECSEL Joint Undertaking (JU) under grant agreement No 876852. The JU receives support from the European Union’s Horizon 2020 research and innovation programme and Austria, Czech Republic, Germany, Ireland, Italy, Portugal, Spain, Sweden, Turkey.

  

VALU3S

twitter.png youtube linekdin

 

Copyright © 2022 VALU3S | Project coordination and website management by RISE Research Institutes of Sweden | info@valu3s.eu

The information on this website, including all data, files, photographs, images, databases, drawings, computer programs etc., is copyright protected by the VALU3S consortium and its members. Except as permitted according to prevailing copyright law, any exploitation hereof (i.e. downloading, reproduction, distribution) in any manner is strictly prohibited without the prior written consent by the VALU3S consortium. A request for written consent may be sent to info@valu3s.eu

The ECSEL JU and the European Commission are not responsible for the content on this website or any use that may be made of the information it contains.All information contained on or available through this website, including data, files, photographs, images, databases, drawings, computer programs, etc., is presented, and made available, without any representation or warranties, express or implied, as regards the use, accuracy, completeness, safety, performance or non-infringement of any third party rights. Any use made hereof shall be made exclusively on the user's own risk.

  • Site Map
  • Accessibility
  • Contact