Validation and Verification of Automated Systems Results of the ENABLE-S3 Project /

Manylion Llyfryddiaeth
Awdur Corfforaethol: SpringerLink (Online service)
Awduron Eraill: Leitner, Andrea (Golygydd), Watzenig, Daniel (Golygydd), Ibanez-Guzman, Javier (Golygydd)
Crynodeb:XI, 320 p. 143 illus., 132 illus. in color.
text
Iaith:Saesneg
Cyhoeddwyd: Cham : Springer International Publishing : Imprint: Springer, 2020.
Rhifyn:1st ed. 2020.
Pynciau:
Mynediad Ar-lein:https://doi.org/10.1007/978-3-030-14628-3
Fformat: Electronig Llyfr

MARC

LEADER 00000nam a22000005i 4500
001 978-3-030-14628-3
003 DE-He213
005 20240313112750.0
007 cr nn 008mamaa
008 191110s2020 sz | s |||| 0|eng d
020 |a 9783030146283  |9 978-3-030-14628-3 
024 7 |a 10.1007/978-3-030-14628-3  |2 doi 
050 4 |a TA1001-1280 
050 4 |a HE331-380 
072 7 |a TNH  |2 bicssc 
072 7 |a TEC009140  |2 bisacsh 
072 7 |a TNH  |2 thema 
082 0 4 |a 629.04  |2 23 
245 1 0 |a Validation and Verification of Automated Systems  |h [electronic resource] :  |b Results of the ENABLE-S3 Project /  |c edited by Andrea Leitner, Daniel Watzenig, Javier Ibanez-Guzman. 
250 |a 1st ed. 2020. 
264 1 |a Cham :  |b Springer International Publishing :  |b Imprint: Springer,  |c 2020. 
300 |a XI, 320 p. 143 illus., 132 illus. in color.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
505 0 |a Part I -- Introduction and Motivation -- Challenges for Scenario-Based V&V of Automated Systems from an OEM Perspective -- Challenges for Scenario-Based V&V of Automated Systems from an Academic Perspective -- Challenges for Scenario-Based V&V of Automated Systems from a Tool Provider Perspective -- ENABLE-S3: Project Introduction -- Part II -- V&V Technology Bricks for Scenario-Based Verification & Validation -- Using Scenarios in Safety Validation of Automated Systems -- Traffic Sequence Charts for the ENABLE-S3 Test Architecture -- A scenario Discovery Process Based on Traffic Sequence Charts -- Digital Map and Environment Generation -- Systematic Verification and Testing -- Reliable Decision-Making in Autonomous Vehicles -- Radar Signal Processing Chain for Sensor Model Development -- Functional Decomposition of Lidar Sensor Systems for Model Development -- Camera Sensor System Decomposition for Implementation and Comparison of Physical Sensor Models -- Seamless Tool Chain for the Verification,Validation and Homologation of Automated Driving -- Part III -- Applications -- Validation Framework Applied to the Decision-Making Process for an Autonomous Vehicle Crossing Road Intersections -- Validation of Automated Valet Parking -- Validation of Railway Control Systems -- Reconfigurable Video Processor for Space -- Maritime Co-simulation Framework: Challenges and Results -- Validation of Automated Farming -- A Virtual Test Platform for the Health Domain. 
520 |a 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. 
650 0 |a Transportation engineering. 
650 0 |a Traffic engineering. 
650 0 |a Security systems. 
650 0 |a Automotive engineering. 
650 1 4 |a Transportation Technology and Traffic Engineering. 
650 2 4 |a Security Science and Technology. 
650 2 4 |a Automotive Engineering. 
700 1 |a Leitner, Andrea.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Watzenig, Daniel.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Ibanez-Guzman, Javier.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9783030146276 
776 0 8 |i Printed edition:  |z 9783030146290 
776 0 8 |i Printed edition:  |z 9783030146306 
856 4 0 |u https://doi.org/10.1007/978-3-030-14628-3 
912 |a ZDB-2-ENE 
912 |a ZDB-2-SXEN 
950 |a Energy (SpringerNature-40367) 
950 |a Energy (R0) (SpringerNature-43717)