Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
129 | Franck Bimbard, Laurent George 0001 |
EDF Feasibility Conditions with Kernel Overheads on an Event Driven OSEK System. |
ICONS |
2008 |
DBLP DOI BibTeX RDF |
Real-time dimensioning, OSEK, Earliest Dealine First, kernel overheads, feasibility condition |
81 | Michael Stilkerich, Christian Wawersich, Andreas Gal, Wolfgang Schröder-Preikschat, Michael Franz |
OSEK/VDX API for Java. |
PLOS |
2006 |
DBLP DOI BibTeX RDF |
|
81 | François Lagarde, Ansgar Radermacher, Sylvain Robert, Sébastien Gérard, David Servat |
Issues in mapping CORBA Component Model to OSEK. |
ISORC |
2005 |
DBLP DOI BibTeX RDF |
|
81 | Lei Wang 0023, Zhaohui Wu 0001, Mingde Zhao |
Worst-Case Response Time Analysis for OSEK/VDX Compliant Real-Time Distributed Control Systems. |
COMPSAC |
2004 |
DBLP DOI BibTeX RDF |
|
62 | Claas Diederichs, Ulrich Margull, Frank Slomka, Gerhard Wirrer |
An application-based EDF scheduler for OSEK/VDX. |
DATE |
2008 |
DBLP DOI BibTeX RDF |
|
62 | Xin Qiao, Zhixue Wang, Yuan Sun, Feng He, Fei-Yue Wang 0001 |
A CAN and OSEK NM Based Siren for Automobiles. |
ICNSC |
2007 |
DBLP DOI BibTeX RDF |
|
62 | Franck Bimbard, Laurent George 0001 |
FP/FIFO Feasibility Conditions with Kernel Overheads for Periodic Tasks on an Event Driven OSEK System. |
ISORC |
2006 |
DBLP DOI BibTeX RDF |
|
62 | Jean-Luc Béchennec, Mikaël Briday, Sébastien Faucou, Yvon Trinquet |
Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification. |
ETFA |
2006 |
DBLP DOI BibTeX RDF |
|
62 | Zhaohui Wu 0001, Hong Li, Zhigang Gao, Jie Sun 0003, Jiang Li |
An Improved Method of Task Context Switching in OSEK Operating System. |
AINA (1) |
2006 |
DBLP DOI BibTeX RDF |
|
62 | Franck Bimbard, Laurent George 0001 |
On the conception of an autonomous and modular robot based on an Event Driven OSEK System with deterministic real-time behavior. |
ICAS |
2006 |
DBLP DOI BibTeX RDF |
|
54 | Lin Zhou, Min Yao, Yongjun Li, Chengshuo Zhang, Liujie Yao |
A New Specification-based Test Data Generation Strategy for OSEK OS. |
CIT |
2010 |
DBLP DOI BibTeX RDF |
Kuhn-Munkres Algorithms, OSEK OS, Genetic Algorithms, Specification-based Test |
48 | Libor Waszniowski, Zdenek Hanzálek |
Formal verification of multitasking applications based on timed automata model. |
Real Time Syst. |
2008 |
DBLP DOI BibTeX RDF |
OSEK/VDX, Model-checking, Verification, Formal methods, Timed automata, Multitasking |
43 | Alan Moore |
Extending the RT Profile to Support the OSEK Infrastructure. |
Symposium on Object-Oriented Real-Time Distributed Computing |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Isabella Thomm, Michael Stilkerich, Christian Wawersich, Wolfgang Schröder-Preikschat |
KESO: an open-source multi-JVM for deeply embedded systems. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
KESO, OSEK/VDX, spatial isolation, Java, embedded systems, memory protection, AUTOSAR |
24 | Haitao Zhang, Bowen Pu |
Testing Vehicle-Mounted Systems: A Stepwise Symbolic Execution Approach for OSEK/VDX Programs. |
TASE |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Yanhong Huang, Haiping Pang, Jianqi Shi |
Modeling and Verification of A Timing Protection Mechanism in the OSEK/VDX OS using CSP. |
Formal Aspects Comput. |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Berkay Saydam, Tolga Ayav |
Evaluation of Scheduling Architectures for OSEK/VDX Compliant Hard Real-Time Operating Systems. |
UYMS |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Reinder J. Bril, Sebastian Altmeyer, Paolo Gai |
Stack memory requirements of AUTOSAR/OSEK-compliant scheduling policies. |
RTCSA |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Haitao Zhang, Zhuo Cheng, Guoqiang Li 0001, Shaoying Liu |
autoC: an efficient translator for model checking deterministic scheduler based OSEK/VDX applications. |
Sci. China Inf. Sci. |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Yunja Choi |
A configurable V&V framework using formal behavioral patterns for OSEK/VDX operating systems. |
J. Syst. Softw. |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Tarun Gupta 0001, Erik J. Luit, Martijn M. H. P. van den Heuvel, Reinder J. Bril |
Experience Report: Towards Extending an OSEK-Compliant RTOS with Mixed Criticality Support. |
e Informatica Softw. Eng. J. |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Haitao Zhang, Guoqiang Li 0001, Zhuo Cheng, Jinyun Xue |
Verifying OSEK/VDX automotive applications: A Spin-based model checking approach. |
Softw. Test. Verification Reliab. |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Jean-Luc Béchennec, Olivier Henry Roux, Tigori Kabland Toussaint Gautier |
Formal model-based conformance verification of an OSEK/VDX compliant RTOS. |
CoDIT |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Christian Dietrich 0001, Daniel Lohmann |
OSEK-V: application-specific RTOS instantiation in hardware. |
LCTES |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Leo Hatvani, Reinder J. Bril, Sebastian Altmeyer |
Schedulability using native non-preemptive groups on an AUTOSAR/OSEK platform with caches. |
DATE |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Yoohee Chung, Dongwoo Kim, Yunja Choi |
Modeling OSEK/VDX OS Requirements in C. |
APSEC |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Haitao Zhang, Zhuo Cheng, Jianxin Xue, Yonggang Lu |
Boosting Uppaal for OSEK/VDX Applications with a Sequentialization Approach. |
SOFL+MSVL |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Hans-Peter Deifel, Merlin Göttlinger, Stefan Milius, Lutz Schröder, Christian Dietrich 0001, Daniel Lohmann |
Automatic verification of application-tailored OSEK kernels. |
FMCAD |
2017 |
DBLP DOI BibTeX RDF |
|
24 | Min Zhang 0002, Toshiaki Aoki, Yueying He |
A spiral process of formalization and verification: A case study on verification of the scheduling mechanism of OSEK/VDX. |
J. Inf. Secur. Appl. |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Yian Zhu, Runzhi Wei, Shiyou Su, Shujuan Huang |
一种基于μC/OS-II符合OSEK标准的实时系统内核设计 (Real-time Kernel Design Based on μC/OS-II and Meeting OSEK Standard). |
计算机科学 |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Haitao Zhang, Zhuo Cheng, Cong Tian, Yonggang Lu, Guoqiang Li 0001 |
Verifying OSEK/VDX applications: An optimized SMT-based bounded model checking approach. |
ICIS |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Leo Hatvani, Reinder J. Bril |
Minimizing stack usage for AUTOSAR/OSEK's restricted fixed-priority preemption threshold support. |
SIES |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Vincenzo Apuzzo, Alessandro Biondi 0001, Giorgio C. Buttazzo |
OSEK-Like Kernel Support for Engine Control Applications under EDF Scheduling. |
RTAS |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki |
Verifying OSEK/VDX OS Design Using Its Formal Specification. |
TASE |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Haitao Zhang, Toshiaki Aoki, Yuki Chiba |
Verifying OSEK/VDX Applications: A Sequentialization-Based Model Checking Approach. |
IEICE Trans. Inf. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Haitao Zhang, Toshiaki Aoki, Yuki Chiba |
Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications. |
ICST |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Zhuo Cheng, Haitao Zhang, Yasuo Tan, Yuto Lim |
A Case Study: SOFL + Model Checking for OSEK/VDX Application. |
SOFL+MSVL |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Matthias Becker 0004, Nima Moghaddami Khalilzad, Reinder J. Bril, Thomas Nolte |
Extended support for limited preemption fixed priority scheduling for OSEK/AUTOSAR-compliant operating systems. |
SIES |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Leo Hatvani, Reinder J. Bril |
Schedulability using native non-preemptive groups on an AUTOSAR/OSEK platform. |
ETFA |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Atsushi Ohno, Takuya Azumi, Nobuhiko Nishio |
TECS Components Providing Functionalities of OSEK Specifications for ITRON OS. |
J. Inf. Process. |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Haitao Zhang, Toshiaki Aoki, Yuki Chiba |
A Spin-Based Approach for Checking OSEK/VDX Applications. |
FTSCS |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Min Zhang 0002, Yunja Choi, Kazuhiro Ogata 0001 |
A Formal Semantics of the OSEK/VDX Standard in $${\mathbb {K}}$$ Framework and Its Applications. |
WRLA |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Yunja Choi |
Model Checking an OSEK/VDX-Based Operating System for Automobile Safety Analysis. |
IEICE Trans. Inf. Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Haitao Zhang, Toshiaki Aoki, Hsin-Hung Lin, Min Zhang 0002, Yuki Chiba, Kenro Yatake |
SMT-Based Bounded Model Checking for OSEK/VDX Applications. |
APSEC (1) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Haitao Zhang, Toshiaki Aoki, Kenro Yatake, Min Zhang, Hsin-Hung Lin |
An Approach for Checking OSEK/VDX Applications. |
QSIC |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Yunja Choi |
Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems. |
SEFM |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Mingyu Park, Taejoon Byun, Yunja Choi |
Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems |
FTSCS |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Duy Le Nguyen, Myung-Eui Lee |
OSEK/VDX Porting to the Two-Wheel Mobile Robot Based on the Differential Drive Method. |
J. Inform. and Commun. Convergence Engineering |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Dieu-Huong Vu, Toshiaki Aoki |
Faithfully formalizing OSEK/VDX operating system specification. |
SoICT |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Kenro Yatake, Toshiaki Aoki |
Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling. |
ICTAC |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Atsushi Ohno, Takuya Azumi, Nobuhiko Nishio |
TECS Components Providing Functionalities of OSEK Specification for ITRON OS. |
HPCC-ICESS |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Rainer Müller |
Implementierung eines interrupt-gesteuerten OSEK-Betriebssystemkerns auf einem ARM-Cortex-M3-Mikrocontroller. |
Informatiktage |
2012 |
DBLP BibTeX RDF |
|
24 | Jianqi Shi, Jifeng He 0001, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang |
ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. |
ICECCS |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Joachim Denil, Serge Demeyer, Paul De Meulenaere, Kurt Maudens, Kris Van Stechelman |
Migrating from a Proprietary RTOS to the OSEK Standard Using a Wrapper - A Feasibility Study. |
Solutions on Embedded Systems |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Florin Catalin Braescu, Constantin Florin Caruntu, Lavinia Ferariu, Corneliu Lazar |
OSEK Based Embedded Networked Controller Handling Communication Delays. |
ECBS-EERC |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Yanwen Li, Jinfeng Gong, Hongwei Zhang, Hui Rong |
Design of automotive CAN network management based on OSEK standard. |
EMEIT |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Jiang Chen, Toshiaki Aoki |
Conformance Testing for OSEK/VDX Operating System Using Model Checking. |
APSEC |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Florin Catalin Braescu, Lavinia Ferariu, Andrei Nacu |
OSEK-based gateway algorithm for multi-domain CAN systems. |
ICCP |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Mark L. McKelvin Jr., Edward B. Gamble Jr., Gerard J. Holzmann |
Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems. |
PRDC |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li 0002, Huibiao Zhu, Jianqi Shi |
Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Longfei Zhu, Min Zhang 0002, Yanhong Huang, Jianqi Shi, Huibiao Zhu |
Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification. |
TASE |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Zhaohui Wu 0001, Hong Li, Guoqing Yang, Zhigang Gao, Pan Lv |
An improved method of task context switching in OSEK operating system. |
Int. J. Pervasive Comput. Commun. |
2010 |
DBLP DOI BibTeX RDF |
|
24 | SungHo Ahn, JaeYoung Kim, HyunWoo Lee |
Testing of Real-time OS based on OSEK/VDX for Certification. |
ESA |
2010 |
DBLP BibTeX RDF |
|
24 | Chengjiong Wei, Min Yao, Pan Lu, Qi Hu, Nenggan Zheng |
OSEK/VDX-Based Dynamic Network Management on Automotive Network. |
ICESS |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Lvhong Zhang, Hong Li, Li Zhou, Minde Zhao, Zhigang Gao |
OSEK COM-Based Dynamic Priority Assignment Method on CAN. |
ICESS |
2009 |
DBLP DOI BibTeX RDF |
|
24 | SungHo Ahn, JaeYoung Kim, GwangSu Kim |
Design of Development Tool for Automotive ECU Based on OSEK/VDX. |
ESA |
2009 |
DBLP BibTeX RDF |
|
24 | Joachim Denil, Serge Demeyer, Paul De Meulenaere, Kris Vanstechelman, Kurt Maudens |
Wrapping a real-time operating system with an OSEK compliant interface - a feasibility study. |
WISES |
2009 |
DBLP BibTeX RDF |
|
24 | Johannes Bauer |
Entwicklung einer OSEK/VDX-kompatiblen Systemschnittstelle für Linux. |
Informatiktage |
2008 |
DBLP BibTeX RDF |
|
24 | Markus Schmidt 0004 |
Modellgetriebene Entwicklung von OSEK Applikationen mit UML. |
Modellierung |
2008 |
DBLP BibTeX RDF |
|
24 | Chunyang Mu, Lining Sun, Zhijiang Du |
Method Based on OSEK/VDX Platform Using Model-based and Autocode Technology for Diesel ECU Software Development. |
COMPSAC (2) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Christian Wawersich, Michael Stilkerich, Wolfgang Schröder-Preikschat |
An OSEK/VDX-based Multi-JVM for Automotive Appliances. |
IESS |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Franck Bimbard, Laurent George 0001 |
Feasibility conditions with kernel overheads for mixed preemptive FP/FIFO Scheduling with priority ceiling protocol on an event driven OSEK system. |
ETFA |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Franck Bimbard, Laurent George 0001 |
Real-Time Analysis to Ensure Deterministic Behavior in a Modular Robot Based on an OSEK System. |
Int. Trans. Syst. Sci. Appl. |
2006 |
DBLP BibTeX RDF |
|
24 | Guoqing Yang, Minde Zhao, Lei Wang 0023, Zhaohui Wu 0001 |
An OSEK COM Compliant Communication Model for Smart Vehicle Environment. |
ICESS |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Olaf Spinczyk, Wolfgang Schröder-Preikschat, Danilo Beuche, Holger Papajewski |
PURE/OSEK - Eine aspektorientierte Betriebssystemfamilie für Kraftfahrzeuge. |
GI Jahrestagung (1) |
2003 |
DBLP BibTeX RDF |
|
24 | Jochen Schoof |
OSEK/VDX-OS - Betriebssystemstandard für Steuergeräte in Kraftfahrzeugen. |
PEARL |
2000 |
DBLP DOI BibTeX RDF |
|
24 | Carsten Homburg, Ulrich Kiffmeier, L. Kösters |
Automatic Code Generation for Multirate Simulink Models with Support for the OSEK Real-Time Operating System. |
DIPES |
2000 |
DBLP BibTeX RDF |
|
24 | Jochem Spohr |
OSEK - Standardschnittstellen für die Elektronik im Kraftfahrzeug. |
PEARL |
1996 |
DBLP DOI BibTeX RDF |
|
19 | Jeff Lee |
Battery management technology for an electric vehicle. |
ISLPED |
2010 |
DBLP DOI BibTeX RDF |
battery, bms, electric vehicle |
19 | Marco Di Natale, Guoqiang Wang, Alberto L. Sangiovanni-Vincentelli |
Optimizing the Implementation of Communication in Synchronous Reactive Models. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2008 |
DBLP DOI BibTeX RDF |
optimization, real-time, operating systems, synchronous models |
19 | Makoto Ishikawa, D. J. McCune, George Saikalis, Shigeru Oho |
CPU Model-Based Hardware/Software Co-design, Co-simulation and Analysis Technology for Real-Time Embedded Control Systems. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Marco Di Natale |
Virtual Platforms and Timing Analysis: Status, Challenges and Future Directions. |
DAC |
2007 |
DBLP DOI BibTeX RDF |
|
19 | Guoqing Yang, Hong Li, Zhaohui Wu 0001 |
SmartC: A Component-Based Hierarchical Modeling Language for Automotive Electronics. |
DASC |
2006 |
DBLP DOI BibTeX RDF |
|
19 | Zhigang Gao, Zhaohui Wu 0001, Ruizhi Ye, Long Yue |
A Model-Based Development Method for SmartOSEK OS. |
CIT |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Guido Menkhaus, Michael Holzmann, Sebastian Fischmeister, Claudiu Farcas |
Towards Efficient Use of Shared Communication Media in the Timed Model. |
IEEE Real-Time and Embedded Technology and Applications Symposium |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Wei Chen 0005, Zhaohui Wu 0001, Xiang Wang |
Minimizing Memory Utilization of Task Sets in SmartOSEK. |
AINA |
2005 |
DBLP DOI BibTeX RDF |
|
19 | Mingde Zhao, Zhaohui Wu 0001, Guoqing Yang, Lei Wang 0023, Wei Chen 0005 |
SmartOSEK: A Real-Time Operating System for Automotive Electronics. |
ICESS |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Zhaohui Wu 0001, Qing Wu, Jie Sun 0003, Zhigang Gao, Bin Wu, Mingde Zhao |
ScudWare: A Context-Aware and Lightweight Middleware for Smart Vehicle Space. |
ICESS |
2004 |
DBLP DOI BibTeX RDF |
|
19 | Sébastien Faucou, Anne-Marie Déplanche, Yvon Trinquet |
Timing fault detection for safety-critical real-time embedded systems. |
ACM SIGOPS European Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
19 | Ragunathan Rajkumar |
An End-To-End Methodology for Building Embedded Systems. |
EMSOFT |
2001 |
DBLP DOI BibTeX RDF |
|
19 | Peter Thoma |
Automotive Electronics - A Challenge For Systems Engineering. |
DATE |
1999 |
DBLP DOI BibTeX RDF |
|