共 50 条
- [1] Model-based design and verification of automotive electronics compliant with OSEK/VDX ICESS 2005: SECOND INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE AND SYSTEMS, 2005, : 237 - 243
- [2] Formal model-based conformance verification of an OSEK/VDX compliant RTOS 2018 5TH INTERNATIONAL CONFERENCE ON CONTROL, DECISION AND INFORMATION TECHNOLOGIES (CODIT), 2018, : 628 - 634
- [4] The Research of Electronical Control System Based on OSEK/VDX E-ENGINEERING & DIGITAL ENTERPRISE TECHNOLOGY VII, PTS 1 AND 2, 2009, 16-19 : 100 - 104
- [5] AlphaOS, an automotive RTOS based on OSEK/VDX: Design and test 2005 IEEE NETWORKING, SENSING AND CONTROL PROCEEDINGS, 2005, : 174 - 179
- [6] Method based on OSEK/VDX platform using model-based and autocode technology for diesel ECU software development COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL II, PROCEEDINGS, 2007, : 629 - +
- [7] Sequential design of experiments for effective model-based validation of electronic control units ELEKTROTECHNIK UND INFORMATIONSTECHNIK, 2010, 127 (06): : 164 - 170
- [8] SMT-based Bounded Model Checking for OSEK/VDX Applications 2013 20TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2013), VOL 1, 2013, : 307 - 314
- [9] An application-based EDF scheduler for OSEK/VDX 2008 DESIGN, AUTOMATION AND TEST IN EUROPE, VOLS 1-3, 2008, : 924 - +
- [10] Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2015, E98D (10): : 1765 - 1776