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|
|D&V||Design and Verification|
|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|
|KPI||Key Performance Indicator|
|MBAT||Model-Based Analysis and Test (Artemis-project 2011-14)|
|MBSA||Model-based Safety Analysis|
|MBTCG||Model-based Test Case Generation|
|MiL||Model in the Loop|
|SCA||Static Code Analysis|
|SIL||Safety Integrity Level|
|SiL||Software in the Loop|
|SuT||System under Test|
|TCG||Test Case Generation|
|V&V||Validation and Verification|
|ViL||Vehicle in the Loop|
|XiL||Anything (System) in the Loop|
|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.|