Search results for "OSEK"

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