共 50 条
- [1] On the implementation of the OSEK/VDX operating system on advanced microcontrollers EUROCON 2007: THE INTERNATIONAL CONFERENCE ON COMPUTER AS A TOOL, VOLS 1-6, 2007, : 1001 - 1008
- [2] Conformance Testing for OSEK/VDX Operating System Using Model Checking 2011 18TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2011), 2011, : 274 - 281
- [3] Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2013, 2013, 8137 : 305 - 319
- [4] ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System 2012 17TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2012, : 293 - 301
- [5] Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2012, (105): : 69 - 84
- [7] A design architecture for OSEK/VDX-based vehicular application specific embedded operating systems 2005 IEEE INTELLIGENT VEHICLES SYMPOSIUM PROCEEDINGS, 2005, : 882 - 887
- [8] Design of real-time operating system for hybrid electric vehicle based on OSEK/VDX Nongye Jixie Xuebao, 2008, 6 (21-24):
- [9] Evaluation of Scheduling Architectures for OSEK/VDX Compliant Hard Real-Time Operating Systems 2020 TURKISH NATIONAL SOFTWARE ENGINEERING SYMPOSIUM (UYMS), 2020, : 152 - 157