Validation and verification of automated systems : results of the ENABLE-S3 Project / Andrea Leitner, Daniel Watzenig, Javier Ibanez-Guzman, editors.
The book summarizes the main results of the the project ENABLE-S3 covering the following aspects: validation and verification technology bricks (collection and selection of test scenarios, test executions envionments incl. respective models, assessment of test results), evaluation of technology bric...
Saved in:
Other Authors: | , , |
---|---|
Format: | Ebook |
Language: | English |
Published: |
Cham :
Springer,
2020.
|
Subjects: | |
Online Access: | Springer eBooks |
Summary: | The book summarizes the main results of the the project ENABLE-S3 covering the following aspects: validation and verification technology bricks (collection and selection of test scenarios, test executions envionments incl. respective models, assessment of test results), evaluation of technology bricks in selected use cases and standardization and related initiatives. ENABLE-S3 is an industry-driven EU-project and aspires to substitute todays' cost-intensive verification and validation efforts by more advanced and efficient methods. In addition, the book includes articles about complementary international activities in order to highlight the global importance of the topic and to cover the wide range of aspects that needs to be covered at a global scale. |
---|---|
Physical Description: | 1 online resource (xi, 320 pages . 143 illustrations, 132 illustrations in color) |
ISBN: | 3030146278 9783030146276 3030146286 9783030146283 |