Autonomous Vehicles Scenario Testing Framework and Model of Computation
Journal Article
12-02-04-0015
ISSN: 2574-0741, e-ISSN: 2574-075X
Sector:
Topic:
Citation:
Alnaser, A., Akbas, M., Sargolzaei, A., and Razdan, R., "Autonomous Vehicles Scenario Testing Framework and Model of Computation," SAE Intl. J CAV 2(4):205-218, 2019, https://doi.org/10.4271/12-02-04-0015.
Language:
English
References
- Brubaker , K. 2018
- Bertoncello , M. and Wee , D. mckinsey.com
- Fagnant , D.J. and Kockelman , K. Preparing a Nation for Autonomous Vehicles: Opportunities, Barriers and Policy Recommendations Transportation Research Part A: Policy and Practice 77 167 181 2015
- Boulanger , J.-L. et al. Requirements Engineering in a Model-Based Methodology for Embedded Automotive Software Research, Innovation and Vision for the Future, 2008. RIVF 2008. IEEE International Conference on IEEE Ho Chi Minh City, Vietnam 2008 263 268
- Lee , W. , Park , S. , and Sunwoo , M. Towards a Seamless Development Process for Automotive Engine-Control System Control Engineering Practice 12 8 977 986 2004
- Kalra , N. and Paddock , S.M. Driving to Safety: How Many Miles of Driving Would It Take to Demonstrate Autonomous Vehicle Reliability? Transportation Research Part A: Policy and Practice 94 182 193 2016
- Den Hartigh , E. , Stolwijk , C. , Ortt , R. , and Vanhaverbeke , W. Asic Commercialization Analysis: Technology Portfolios and the Innovative Performance of Asic Firms during Technology Evolution Application Specific Integrated Circuits-Technologies, Digital Systems and Design Methodologies London, UK IntechOpen 2018
- Kropf , T. Introduction to Formal Hardware Verification Berlin, Germany Springer Science & Business Media 2013
- Melham , T.F. Abstraction Mechanisms for Hardware Verification VLSI Specification, Verification and Synthesis Berlin, Germany Springer 1988 267 291
- Matthew Littlefield 2013
- Kim , M. , Sinha , S. , Gorg , C. , Shah , H. , Harrold , M.J. et al. Automated Bug Neighborhood Analysis for Identifying Incomplete Bug Fixes International Conference on Software Testing, Verification and Validation (ICST) Paris, France 2010 383 392
- Hallerbach , S. , Xia , Y. , Eberle , U. , and Koester , F. Simulation-Based Identification of Critical Scenarios for Cooperative and Automated Vehicles SAE Intl. J. CAV 1 2 93 106 2018 https://doi.org/10.4271/2018-01-1066
- Althoff , M. and Dolan , J.M. Online Verification of Automated Road Vehicles Using Reachability Analysis IEEE Transactions on Robotics 30 4 903 918 2014
- Ma , J. , Zhou , F. , Melson , C.L. , James , R. et al.
- Huang , Z. , Lam , H. , LeBlanc , D.J. , and Zhao , D. Accelerated Evaluation of Automated Vehicles Using Piecewise Mixture Models IEEE Transactions on Intelligent Transportation Systems 19 9 2845 2855 2017
- Bagschik , G. , Menzel , T. , and Maurer , M. Ontology Based Scene Creation for the Development of Automated Vehicles 2018 IEEE Intelligent Vehicles Symposium (IV) IEEE Changshu, Suzhou, China 2018 1813 1820
- Togelius , J. , Yannakakis , G.N. , Stanley , K.O. , and Browne , C. Search-based Procedural Content Generation: A Taxonomy and Survey IEEE Transactions on Computational Intelligence and AI in Games 3 3 172 186 2011
- Arnold , J. and Alexander , R. Testing Autonomous Robot Control Software Using Procedural Content Generation International Conference on Computer Safety, Reliability, and Security Toulouse, France 2013 Springer 33 44
- Khastgir , S. , Dhadyalla , G. , Birrell , S. , Redmond , S. et al. Test scenario generation for driving simulators using constrained randomization technique SAE Technical Paper 2017-01-1672 2017 https://doi.org/10.4271/2017-01-1672
- Tuncali C.E. , Yaghoubi S. , Pavlic T.P. , and Fainekos G. Functional Gradient Descent Optimization for Automatic Test Case Generation for Vehicle Controllers Automation Science and Engineering (CASE), 2017 IEEE International Conference on Xi'an, China 2017 IEEE
- Li , L. , Huang , W.-L. , Liu , Y. , Zheng , N.-N. , and Wang , F.-Y. Intelligence Testing for Autonomous Vehicles: A New Approach IEEE Transactions on Intelligent Vehicles 1 2 158 166 2016
- Heinz , A. , Remlinger , W. , and Schweiger , J. 2017
- Shalev-Shwartz , S. , Shammah , S. , and Shashua , A. 2017
- ENABLE-S3 https://www.enables3.eu/
- Rooker , M. , Horstrand , P. , Rodriguez , A.S. , Lopez , S. , Sarmiento , R. et al. Towards Improved Validation of Autonomous Systems for Smart Farming Smart Farming Workshop Stuttgart, Germany 2018
- Gerwinn , S. , Möhlmann , E. , and Sieper , A. Statistical Model Checking for Scenario-based verification of ADAS Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions Cham Springer 2019 67 87
- Lattarulo , R. , Pérez , J. , and Dendaluce , M. A Complete Framework for Developing and Testing Automated Driving Controllers IFAC-PapersOnLine 50 1 258 263 2017
- Grosche , C. , Pogosyan , G.S. , and Sissakian , A. Path Integral Discussion for Smorodinsky-Winternitz Potentials: I. Two-and Three Dimensional Euclidean Space Fortschritte der Physik/Progress of Physics 43 6 453 521 1995
- Saad , Y. and Schultz , M.H. Gmres: A Generalized Minimal Residual Algorithm for Solving Nonsymmetric Linear Systems SIAM Journal on Scientific and Statistical Computing 7 3 856 869 1986
- Razdan , R. , Anwaruddin , M. , Kovijanic , P.G. , Ganesh , R. , and Shih , H. An Interactive Sequential Test Pattern Generation System ‘Meeting the Tests of Time’, International Test Conference Proceedings Washington, DC, USA 1989 38 46
- MATLAB 2018