Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 225,059,006 papers from all fields of science
Search
Sign In
Create Free Account
OSEK
Known as:
ISO 17356
, OSEK/VDX
, OSEKtime
OSEK (Offene Systeme und deren Schnittstellen für die Elektronik in Kraftfahrzeugen; English: "Open Systems and their Interfaces for the Electronics…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
18 relations
AUTOSAR
C166 family
CAN bus
Comparison of platform virtualization software
Expand
Broader (1)
Automotive software
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Case study on distributed and fault tolerant system modeling based on timed automata
L. Waszniowski
,
J. Krakora
,
Z. Hanzálek
Journal of Systems and Software
2009
Corpus ID: 31281376
2008
2008
An application-based EDF scheduler for OSEK/VDX
C. Diederichs
,
Ulrich Margull
,
F. Slomka
,
G. Wirrer
Design, Automation and Test in Europe
2008
Corpus ID: 11788556
Earliest deadline first scheduling performs processor utilization up to 100 percent and improved robustness in overload…
Expand
2007
2007
OSGi based integrated service platform for automotive telematics
Yunfeng Ai
,
Yuan Sun
,
Wuling Huang
,
X. Qiao
IEEE International Conference on Vehicular…
2007
Corpus ID: 31437949
With the enormous market potentials of telematics industry and for further gains in safety and convenience, automotive telematics…
Expand
Review
2007
Review
2007
Adequacy between AUTOSAR OS specification and real-time scheduling theory
P. Hladik
,
A. Déplanche
,
Sébastien Faucou
,
Y. Trinquet
International Symposium on Industrial Embedded…
2007
Corpus ID: 14460267
AUTOSAR (AUTOmotive Open System ARchitecture) consortium is a development partnership between the main actors of the automotive…
Expand
2005
2005
Towards the formal verification of lower system layers in automotive systems
S. Beyer
,
P. Böhm
,
+5 authors
W. Paul
ICCD
2005
Corpus ID: 2156849
The mission of the Verisoft project is (i) to develop techniques, which permit the pervasive formal verification of computer…
Expand
2005
2005
Advanced ECU Software Development Method for Fuel Cell Systems
Shuo Tian
,
Yuan Liu
,
W. Xia
,
Jianqiu Li
,
Minggao Yang
2005
Corpus ID: 17676473
2004
2004
Timed Automata Approach to CAN Verification
J. Krakora
,
Z. Hanzálek
2004
Corpus ID: 2792227
2004
2004
Simulink Integration of Giotto/TDL
W. Pree
,
Gerald Stieglbauer
,
J. Templ
Automotive Software Workshop
2004
Corpus ID: 18520312
The paper first presents the integration options of what we call the Timing Description Language (TDL) with MathWorks’ Matlab…
Expand
Review
2001
Review
2001
Programming in the OSEK/VDX Environment
Joseph Lemieux
2001
Corpus ID: 62014257
Introduction Part 1: Operating System Chapter 1: Implementations Chapter 2: Starting and Ending Chapter 3: Development Support…
Expand
2001
2001
Connecting Simulink to OSEK: Automatic Code Generation for Real-Time Operating Systems with TargetLink
Lutz Köster
,
Thomas Thomsen
,
R. Stracke
2001
Corpus ID: 16005892
This paper describes how one further step towards integrating the complete software development process of embedded real-time…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE