Relationships with other web-repo artefacts

Related V&V Methods A tool could be based on several V&V methods.

• Test oracle observation at runtime Assess the correctness of a behaviour of a system at runtime with respect to a given property expressed in a formal specification language.
• Runtime Verification Based on Formal Specification

Standards A method can be linked with standards.

Use cases Use cases where the tool has been used

• UC13 - Industrial Drives for Motion Control Industrial drives are the backbone of every automated industrial process. Motion control is an essential part for machinery construction and industrial automation. Motion control platforms aim to precisely and timely control electric motors (e-motor) under consideration of safety and security requirements. They are usually realized as Programmable Logic Control (PLC) applications based on microcontroller, FPGA and ASIC solutions. Industrial drives might be operated in insecure and safety-critical environment. Typical applications are wood/ceramics/glass/stone processing, handling systems, packaging, plastics and textile machines, milling machines, lathes, handling systems, grinders, laser processing, storage and retrieval machines, extruders, winders, rolling machines, tooling machines and many more .

Functional Toolchain Functional connection of tools for the implementation of a specific evaluation scenario/workflow. Example: the output of one tool can be used by the other tool(s) in order to obtain a different information (e.g., CIROS FERAL, MARVER >-> SRVT, etc)

Improvement Classification

Evaluation Criteria for Safety, Cybersecurity, and Privacy (SCP)

Number of safety/security requirement violations, Simulation-level system robustness

Evaluation Criteria for V&V Processes

Coverage of test set

Open source - Goals

open Source

Yes

Goals Tool goals

Functional Requirements

Contents

There are currently no items in this folder.