Welcome!

This site provides you with solutions patterns for analyzing, testing, validating or verifying complex – in particular – automated cyber-physical systems. We distinguish between “V&V” (Validation and Verification) and “A&T” (Analysis and Test) Patterns.
Under About Solution-Patterns you will find some explanation of what is understood by this kind of patterns.
Under The V&V-Patterns you will find an overview and the description of all V&V-patterns collected on this website.
Under The A&T-Patterns you will find an overview and the description of all A&T-patterns collected on this website.
Please use Feedback for sending us suggestions, e.g. hints for new uses of the described patterns, hints for new patterns, corrections etc. Thank you.

 
Terms frequently used on this website:

ACPS Automated (Autonomous) -> CPS
ADAS Advanced Driver Assistant System
ADS Automated Driving System
ASIL Automotive Safety Integrity Level
A&T Analysis and Test
B2B Back-2-Back
CPS Cyber-Physical System
D&V Design and Verification
DB Database
DoE Design of Experiment
ENABLE-S3 European Initiative to Enable Validation for Highly Automated Safe and Secure Systems
HARA Hazard and Risk Analysis
HiL Hardware in the Loop
HW Hardware
KPI Key Performance Indicator
MBAT Model-Based Analysis and Test (Artemis-project 2011-14)
MBSA Model-based Safety Analysis
MBT Model-Based Testing
MBTCG Model-based Test Case Generation
MiL Model in the Loop
SA Safety Analysis
SCA Static Code Analysis
SIL Safety Integrity Level
SiL Software in the Loop
SuT System under Test
SW Software
TC Test Case
TCG Test Case Generation
UC Use Case
V&V Validation and Verification
ViL Vehicle in the Loop
XiL Anything (System) in the Loop

Definitions:

Abstract Scenario A class of similar scenarios (scenario class)
Autonomous Acting alone or independently.
Cyber-Physical System A software-intensive system that is able to interact with its environment. Often, it uses sensors to learn about its environment and actuators to act (on its environment). It often communicates with its environment or other CPS.
Key Performance Indicator observable result-parameter/variable, describing the result of a test case together with requirements that it must not violate in order to pass.
KPI (behavior) model Representation of observed KPI values that predicts the KPI values for non-tested input parameter value combinations.
Maneuver A controlled change in position, directions, or movement of a mobile object (e.g. vehicle).
Scenario A generic real-world situation including variation points for certain environment parameters.
Test Case Scenario with specific input parameters (stimuli for the SuT) and expected output/behaviour. Can include rules for evaluating the observed results (e.g. tolerances with respect to expected results, and a test environment.