Open Access

Autonomous Vehicles Scenario Testing Framework and Model of Computation

Journal Article
12-02-04-0015
ISSN: 2574-0741, e-ISSN: 2574-075X
Published December 18, 2019 by SAE International in United States
Autonomous Vehicles Scenario Testing Framework and Model of
                    Computation
Sector:
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

  1. Brubaker , K. 2018
  2. Bertoncello , M. and Wee , D. mckinsey.com
  3. 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
  4. 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
  5. 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
  6. 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
  7. 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
  8. Kropf , T. Introduction to Formal Hardware Verification Berlin, Germany Springer Science & Business Media 2013
  9. Melham , T.F. Abstraction Mechanisms for Hardware Verification VLSI Specification, Verification and Synthesis Berlin, Germany Springer 1988 267 291
  10. Matthew Littlefield 2013
  11. 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
  12. 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
  13. Althoff , M. and Dolan , J.M. Online Verification of Automated Road Vehicles Using Reachability Analysis IEEE Transactions on Robotics 30 4 903 918 2014
  14. Ma , J. , Zhou , F. , Melson , C.L. , James , R. et al.
  15. 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
  16. 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
  17. 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
  18. 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
  19. 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
  20. 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
  21. 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
  22. Heinz , A. , Remlinger , W. , and Schweiger , J. 2017
  23. Shalev-Shwartz , S. , Shammah , S. , and Shashua , A. 2017
  24. ENABLE-S3 https://www.enables3.eu/
  25. 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
  26. 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
  27. 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
  28. 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
  29. 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
  30. 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
  31. MATLAB 2018

Cited By