- [1] . 2021. Understanding the non-collision related battery safety risks in electric vehicles a case study in electric vehicle recalls and the LG Chem Battery. IEEE Access 9 (2021), 89527–89532.Google ScholarCross Ref
- [2] . 2018. Cloud-assisted control of ground vehicles using adaptive computation offloading techniques. In Design, Automation & Test in Europe Conference & Exhibition (DATE).Google ScholarCross Ref
- [3] . 2019. Using the distributed co-simulation protocol for a mixed real-virtual prototype. In IEEE International Conference on Mechatronics (ICM).Google ScholarCross Ref
- [4] . 2021. Control communication co-design for wide area cyber-physical systems. ACM Trans. Cyber Phys. Syst. 5, 2 (2021), 18:1–18:27.Google ScholarDigital Library
- [5] . 2011. Cross-layer analysis, testing and verification of automotive control software. In 11th International Conference on Embedded Software (EMSOFT).Google ScholarDigital Library
- [6] . 2001. On the complexity of scheduling conditional real-time code. In 7th International Workshop on Algorithms and Data Structures (WADS) (Lecture Notes in Computer Science), Vol. 2125. Springer.Google Scholar
- [7] . 2016. Automotive cyber-physical systems: A tutorial introduction. IEEE Des. Test 33, 4 (2016), 92–108.Google ScholarCross Ref
- [8] . 2016. Resource-aware automotive control systems design: A cyber-physical systems approach. Found. Trends Electron. Des. Autom. 10, 4 (2016), 249–369.Google ScholarDigital Library
- [9] . 2014. Battery- and aging-aware embedded control systems for electric vehicles. In 35th IEEE Real-Time Systems Symposium (RTSS).Google Scholar
- [10] . 2020. Approximation-aware design of an image-based control system. IEEE Access 8 (2020), 174568–174586.Google ScholarCross Ref
- [11] . 2018. Virtual timing isolation for mixed-criticality systems. In 30th Euromicro Conference on Real-Time Systems (ECRTS).Google Scholar
- [12] . 2019. Status and future perspectives of reliability assessment for electric vehicles. Reliab. Eng. Syst. Saf. 183 (2019), 1–16.Google ScholarCross Ref
- [13] . 2013. Reliability challenges for electric vehicles: From devices to architecture and systems software. In 50th Annual Design Automation Conference (DAC).Google ScholarDigital Library
- [14] . 2013. Virtual execution platforms for mixed-time-criticality systems: The CompSOC architecture and design flow. SIGBED Rev. 10, 3 (2013), 23–34.Google ScholarDigital Library
- [15] . 2011. Re-engineering cyber-physical control applications for hybrid communication protocols. In Design, Automation and Test in Europe (DATE).Google Scholar
- [16] . 2014. Relaxing signal delay constraints in distributed embedded controllers. IEEE Trans. Control. Syst. Technol. 22, 6 (2014), 2337–2345.Google ScholarCross Ref
- [17] . 2014. Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems. In International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).Google ScholarDigital Library
- [18] . 2018. Automotive safety and machine learning: Initial results from a study on how to adapt the ISO 26262 safety standard. In 1st IEEE/ACM International Workshop on Software Engineering for AI in Autonomous Systems (SEFAIAS@ICSE).Google Scholar
- [19] . 2022. Safety analysis of embedded controllers under implementation platform timing uncertainties. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41, 11 (2022), 4016–4027.Google ScholarDigital Library
- [20] . 2021. Perception computing-aware controller synthesis for autonomous systems. In Design, Automation & Test in Europe Conference & Exhibition (DATE).Google ScholarCross Ref
- [21] . 2019. Formal verification of safety & security related timing constraints for a cooperative automotive system. In 22nd International Conference on Fundamental Approaches to Software Engineering (FASE) (Lecture Notes in Computer Science), Vol. 11424. Springer.Google ScholarCross Ref
- [22] . 2008. Performance debugging of Esterel specifications. In 6th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).Google ScholarDigital Library
- [23] . 2022. An evaluation framework for vision-in-the-loop motion control systems. In 27th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA).Google ScholarDigital Library
- [24] . 2021. A control policy based driving safety system for autonomous vehicles. In IEEE 18th International Conference on Mobile Ad Hoc and Smart Systems (MASS).Google ScholarCross Ref
- [25] . 2022. Detection and mitigation of sensor and CAN bus attacks in vehicle anti-lock braking systems. ACM Trans. Cyber Phys. Syst. 6, 1 (2022), 9:1–9:24.Google ScholarDigital Library
- [26] . 2014. Fault-tolerant control synthesis and verification of distributed embedded systems. In Design, Automation & Test in Europe Conference & Exhibition (DATE).Google Scholar
- [27] . 2017. Cloud resource allocation for cloud-based automotive applications. CoRR abs/1701.04537 (2017).
arXiv:1701.04537 http://arxiv.org/abs/1701.04537.Google Scholar - [28] . 2020. Resource-efficient cyber-physical systems design: A survey. Microprocess. Microsystems 77 (2020), 103183.Google ScholarCross Ref
- [29] . 2012. Cyber-physical systems design for electric vehicles. In 15th Euromicro Conference on Digital System Design (DSD).Google ScholarDigital Library
- [30] . 2013. System architecture and software design for electric vehicles. In 50th Annual Design Automation Conference (DAC).Google ScholarDigital Library
- [31] . 2020. Control-system stability under consecutive deadline misses constraints. In 32nd Euromicro Conference on Real-Time Systems (ECRTS) (LIPIcs), Vol. 165. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 21:1–21:24.Google Scholar
- [32] . 2021. Breaking silos to guarantee control stability with communication over ethernet TSN. IEEE Des. Test 38, 5 (2021), 48–56.Google ScholarCross Ref
- [33] . 2010. VM-based real-time services for automotive control applications. In 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).Google ScholarDigital Library
- [34] . 2020. A scenario- and platform-aware design flow for image-based control systems. Microprocess. Microsystems 75 (2020), 103037.Google ScholarDigital Library
- [35] . 2020. Ensuring safety and security in CAN-based automotive embedded systems: A combination of design optimization and secure communication. IEEE Trans. Veh. Technol. 69, 7 (2020), 7078–7091.Google ScholarCross Ref
- [36] . 2015. Security analysis of automotive architectures using probabilistic model checking. In 52nd Annual Design Automation Conference (DAC).Google ScholarDigital Library
- [37] . 2017. Secure automotive software: The next steps. IEEE Softw. 34, 3 (2017), 49–55.Google ScholarDigital Library
- [38] . 2019. Guest editors’ introduction: Secure automotive systems. IEEE Des. Test 36, 6 (2019), 5–6.Google ScholarCross Ref
- [39] . 2016. Multi-objective co-optimization of FlexRay-based distributed control systems. In IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).Google Scholar
- [40] . 2021. Closed-loop approach to perception in autonomous system. In Design, Automation & Test in Europe Conference & Exhibition (DATE).Google ScholarCross Ref
- [41] . 2013. Multi-layered scheduling of mixed-criticality cyber-physical systems. J. Syst. Archit. 59, 10-D (2013), 1215–1230.Google ScholarDigital Library
- [42] . 2011. Constraint-driven synthesis and tool-support for FlexRay-based automotive control systems. In 9th International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).Google ScholarDigital Library
- [43] . 2017. Design automation of cyber-physical systems: Challenges, advances, and opportunities. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36, 9 (2017), 1421–1434.Google ScholarDigital Library
- [44] . 2016. Distributed reconfigurable battery system management architectures. In 21st Asia and South Pacific Design Automation Conference (ASP-DAC).Google ScholarDigital Library
- [45] . 2016. Testing automotive embedded systems under X-in-the-loop setups. In 35th International Conference on Computer-Aided Design (ICCAD).Google ScholarDigital Library
- [46] . 2022. Design-while-verify: Correct-by-construction control learning with verification in the loop. In ACM/IEEE Design Automation Conference (DAC).Google ScholarDigital Library
- [47] . 2021. Bounding perception neural network uncertainty for safe control of autonomous systems. In Design, Automation & Test in Europe Conference & Exhibition (DATE).Google ScholarCross Ref
- [48] . 2021. Cross-layer design of automotive systems. IEEE Des. Test 38, 5 (2021), 8–16.Google ScholarCross Ref
- [49] . 2017. Automotive electrical and electronic architecture security via distributed in-vehicle traffic monitoring. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36, 11 (2017), 1790–1803.Google ScholarCross Ref
- [50] . 2018. Fast functional safety verification for distributed automotive applications during early design phase. IEEE Trans. Ind. Electron. 65, 5 (2018), 4378–4391.Google ScholarCross Ref
- [51] . 2016. Fully electrified regenerative braking control for deep energy recovery and maintaining safety of electric vehicles. IEEE Trans. Veh. Technol. 65, 3 (2016), 1186–1198.Google ScholarCross Ref
- [52] . 2022. Checking scheduling-induced violations of control safety properties. In 20th International Symposium on Automated Technology for Verification and Analysis (ATVA) (Lecture Notes in Computer Science), Vol. 13505. Springer.Google Scholar
- [53] . 2021. Co-design of autonomous systems: From hardware selection to control synthesis. In 2021 European Control Conference (ECC).Google ScholarCross Ref
- [54] . 2016. Schedule management framework for cloud-based future automotive software systems. In 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).Google ScholarCross Ref
- [55] . 2022. CAN bus intrusion detection based on auxiliary classifier GAN and out-of-distribution detection. ACM Trans. Embed. Comput. Syst. 21, 4 (2022), 45:1–45:30.Google ScholarDigital Library
- [56] . 2018. Codesign methodologies and tools for cyber-physical systems. Proc. IEEE 106, 9 (2018), 1484–1500.Google ScholarCross Ref
Index Terms
- Introduction to the Special Issue on Automotive CPS Safety & Security: Part 1
Recommendations
Special Issue: Learning and creativity Part 1
Special Issue Part 1 (Issue 3) and Part 2 (Issue 4) of AIEDAM are based on a workshop on Learning and Creativity held at the 2002 conference on Artificial Intelligence in Design, AID '02 (www.cad.strath.ac.uk/AID02_workshop/Workshop_webpage.html; Gero, ...
Special Issue: Learning and creativity Part 2
Special Issue Part 1 (Issue 3) and Part 2 (Issue 4) of AIEDAM are based on a workshop on Learning and Creativity held at the 2002 conference on Artificial Intelligence in Design, AID '02 (www.cad.strath.ac.uk/AID02_workshop/Workshop_webpage.html; Gero, ...
Automotive Cyber Security: Lessons Learned and Research Challenges
CS2 '18: Proceedings of the Fifth Workshop on Cryptography and Security in Computing SystemsThe automotive industry is undergoing a major transformation process where everything from the car key to the vehicle diagnostics is becoming digital. Modern vehicles have several wireless interfaces, and are interconnected with various consumer devices,...
Comments