共 50 条
- [31] Formal verification of automotive embedded software 2018 ACM/IEEE CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2018), 2018, : 84 - 87
- [32] Software synthesis for embedded automotive applications SYSTEM ENGINEERING IN AUTOMOTIVE DESIGN, 1997, 1374 : 513 - 521
- [33] AUTOSAR-based Communication Coprocessor for Automotive ECUs PROCEEDINGS OF THE 2016 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2016, : 1026 - 1027
- [34] AUTOSAR Architecture Based Kernel Development for Automotive Application INTERNATIONAL CONFERENCE ON INTELLIGENT DATA COMMUNICATION TECHNOLOGIES AND INTERNET OF THINGS, ICICI 2018, 2019, 26 : 911 - 919
- [35] Development of a Test Automation Framework based on a Comparison of different Approaches for Test Automation in the Embedded Systems Area 2024 IEEE 7TH INTERNATIONAL CONFERENCE ON INDUSTRIAL CYBER-PHYSICAL SYSTEMS, ICPS 2024, 2024,
- [36] A Comparative Study of Static Analysis Tools for AUTOSAR Automotive Software Components Development 2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2017), 2017, : 65 - 68
- [38] TEST AUTOMATION OF DISTRIBUTED EMBEDDED SYSTEMS BASED ON TEST OBJECT STRUCTURE INFORMATION 2008 IEEE 25TH CONVENTION OF ELECTRICAL AND ELECTRONICS ENGINEERS IN ISRAEL, VOLS 1 AND 2, 2008, : 343 - +
- [39] SystemC based Simulation of AUTOSAR Software Components 2015 TENTH INTERNATIONAL CONFERENCE ON COMPUTER ENGINEERING & SYSTEMS (ICCES), 2015, : 105 - 110
- [40] Approximate optimal AUTOSAR software components deploying approach for automotive E/E system International Journal of Automotive Technology, 2017, 18 : 1109 - 1119