Invited Talk: Software Engineering, AI and autonomous vehicles: Security assurance

被引:0
|
作者
Zheng, James Xi [1 ]
机构
[1] Macquarie Univ, Software Engn, N Ryde, NSW, Australia
关键词
Software Engineering; AI; Autonomous vehicles;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In this talk, I will first walk through some real industrial requirements and research challenges in autonomous vehicles. I will then talk about research works which can potentially solve these issues, mainly covering training, testing and anomaly detection for autonomous systems and driver behaviour detection. The talk will be broad but covering some state of the art interesting research questions and directions in autonomous vehicles safety and security assurance, and human vehicle interaction which shall be suitable both for researchers and industry practitioners for in-depth enquiry and collaboration.
引用
收藏
页数:1
相关论文
共 50 条
  • [1] AI in Software Engineering at Google: Progress and the Path Ahead (Invited Talk)
    Chandra, Satish
    [J]. PROCEEDINGS OF THE 1ST ACM INTERNATIONAL CONFERENCE ON AI-POWERED SOFTWARE, AIWARE 2024, 2024, : 182 - 182
  • [2] Towards Assurance Evaluation of Autonomous Systems Invited Talk
    Beland, Steven
    Chang, Isaac
    Chen, Alexander
    Moser, Matthew
    Paunicka, James
    Stuart, Douglas
    Vian, John
    Westover, Christina
    Yu, Huafeng
    [J]. 2020 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED-DESIGN (ICCAD), 2020,
  • [3] Autonomous Navigation Assurance with Explainable AI and Security Monitoring
    Hamilton, Denzel
    Kornegay, Kevin
    Watkins, Lanier
    [J]. 2020 IEEE APPLIED IMAGERY PATTERN RECOGNITION WORKSHOP (AIPR): TRUSTED COMPUTING, PRIVACY, AND SECURING MULTIMEDIA, 2020,
  • [4] Invited talk: ASM formalware in the software engineering cycle
    Gurevich, Y
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 197 - 197
  • [5] Invited talk: A software engineering program of lasting value
    Parnas, DL
    [J]. ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, PROCEEDINGS, 2000, 1816 : 1 - 1
  • [6] AI for Software Quality Assurance Blue Sky Ideas Talk
    Kalech, Meir
    Stern, Roni
    [J]. THIRTY-FOURTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THE THIRTY-SECOND INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE AND THE TENTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2020, 34 : 13529 - 13533
  • [7] The importance of high assurance security in Pervasive Computing: (Abstract of invited talk)
    Karger, Paul A.
    [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 2802
  • [8] A qualitative AI security risk assessment of autonomous vehicles
    Grosse, Kathrin
    Alahi, Alexandre
    [J]. TRANSPORTATION RESEARCH PART C-EMERGING TECHNOLOGIES, 2024, 169
  • [9] Security and safety in systems engineering for autonomous vehicles
    Kharatyan, Aschot
    Tekaat, Julian
    Anacker, Harald
    Dumitrescu, Roman
    [J]. Konstruktion, 2020, 2020 (11-12): : 84 - 90
  • [10] Software Security Assurance of Electrical Grid Systems Relating Mechatronics to Software Security Engineering
    Axelrod, C. Warren
    [J]. 2014 INTERNATIONAL ENERGY AND SUSTAINABILITY CONFERENCE (IESC), 2014,