Search results for "OSEK/VDX"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
155	Michael Stilkerich, Christian Wawersich, Andreas Gal, Wolfgang Schröder-Preikschat, Michael Franz	OSEK/VDX API for Java.	PLOS	2006	DBLP DOI BibTeX RDF
155	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
136	Claas Diederichs, Ulrich Margull, Frank Slomka, Gerhard Wirrer	An application-based EDF scheduler for OSEK/VDX.	DATE	2008	DBLP DOI BibTeX RDF
113	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
104	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
62	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
52	Haitao Zhang, Bowen Pu	Testing Vehicle-Mounted Systems: A Stepwise Symbolic Execution Approach for OSEK/VDX Programs.	TASE	2022	DBLP DOI BibTeX RDF
52	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
52	Berkay Saydam, Tolga Ayav	Evaluation of Scheduling Architectures for OSEK/VDX Compliant Hard Real-Time Operating Systems.	UYMS	2020	DBLP DOI BibTeX RDF
52	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
52	Yunja Choi	A configurable V&V framework using formal behavioral patterns for OSEK/VDX operating systems.	J. Syst. Softw.	2018	DBLP DOI BibTeX RDF
52	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
52	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
52	Yoohee Chung, Dongwoo Kim, Yunja Choi	Modeling OSEK/VDX OS Requirements in C.	APSEC	2017	DBLP DOI BibTeX RDF
52	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
52	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
52	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
52	Dieu-Huong Vu, Yuki Chiba, Kenro Yatake, Toshiaki Aoki	Verifying OSEK/VDX OS Design Using Its Formal Specification.	TASE	2016	DBLP DOI BibTeX RDF
52	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
52	Haitao Zhang, Toshiaki Aoki, Yuki Chiba	Yes! You Can Use Your Model Checker to Verify OSEK/VDX Applications.	ICST	2015	DBLP DOI BibTeX RDF
52	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
52	Haitao Zhang, Toshiaki Aoki, Yuki Chiba	A Spin-Based Approach for Checking OSEK/VDX Applications.	FTSCS	2014	DBLP DOI BibTeX RDF
52	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
52	Yunja Choi	Model Checking an OSEK/VDX-Based Operating System for Automobile Safety Analysis.	IEICE Trans. Inf. Syst.	2013	DBLP DOI BibTeX RDF
52	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
52	Haitao Zhang, Toshiaki Aoki, Kenro Yatake, Min Zhang, Hsin-Hung Lin	An Approach for Checking OSEK/VDX Applications.	QSIC	2013	DBLP DOI BibTeX RDF
52	Yunja Choi	Constraint Specification and Test Generation for OSEK/VDX-Based Operating Systems.	SEFM	2013	DBLP DOI BibTeX RDF
52	Mingyu Park, Taejoon Byun, Yunja Choi	Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems	FTSCS	2012	DBLP DOI BibTeX RDF
52	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
52	Dieu-Huong Vu, Toshiaki Aoki	Faithfully formalizing OSEK/VDX operating system specification.	SoICT	2012	DBLP DOI BibTeX RDF
52	Kenro Yatake, Toshiaki Aoki	Model Checking of OSEK/VDX OS Design Model Based on Environment Modeling.	ICTAC	2012	DBLP DOI BibTeX RDF
52	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
52	Jiang Chen, Toshiaki Aoki	Conformance Testing for OSEK/VDX Operating System Using Model Checking.	APSEC	2011	DBLP DOI BibTeX RDF
52	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
52	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
52	SungHo Ahn, JaeYoung Kim, HyunWoo Lee	Testing of Real-time OS based on OSEK/VDX for Certification.	ESA	2010	DBLP BibTeX RDF
52	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
52	SungHo Ahn, JaeYoung Kim, GwangSu Kim	Design of Development Tool for Automotive ECU Based on OSEK/VDX.	ESA	2009	DBLP BibTeX RDF
52	Johannes Bauer	Entwicklung einer OSEK/VDX-kompatiblen Systemschnittstelle für Linux.	Informatiktage	2008	DBLP BibTeX RDF
52	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
52	Christian Wawersich, Michael Stilkerich, Wolfgang Schröder-Preikschat	An OSEK/VDX-based Multi-JVM for Automotive Appliances.	IESS	2007	DBLP DOI BibTeX RDF
52	Jochen Schoof	OSEK/VDX-OS - Betriebssystemstandard für Steuergeräte in Kraftfahrzeugen.	PEARL	2000	DBLP DOI BibTeX RDF
42	Guoqing Yang, Hong Li, Zhaohui Wu 0001	SmartC: A Component-Based Hierarchical Modeling Language for Automotive Electronics.	DASC	2006	DBLP DOI BibTeX RDF
42	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
42	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