Model Checking Multitask Applications for OSEK Compliant Real Time Operating Systems Mark L. McKelvin, Jr. and Gerard Holzmann Jet Propulsion Laboratory, Laboratory for Reliable Software California Institute of Technolog

Source URL: spinroot.com

Back to the Roots: Implementing the RTOS as a Specialized State Machine Christian Dietrich, Martin Hoffmann, Daniel Lohmann Department of Computer Science 4 - Distributed Systems and Operating Systems Friedrich-Alexander

Source URL: www.mpi-sws.org

• Computer architecture
• Computing
• Software
• Embedded operating systems
• Finite automata
• Finite-state machine
• OSEK
• Real-time operating system
• Model checking
• Kernel
• Protection ring
• Embedded system

OSPERT 2015 Keynote Talk Software Architectures for Advanced Driver Assistance Systems (ADAS) Robert Leibinger Elektrobit Automotive GmbH In recent years, the demand for electronic control units (ECUs) has been rapidly g

Source URL: www.mpi-sws.org

• Engineering
• Safety
• Automotive software
• Computing
• Systems engineering
• Software quality
• Software architecture
• OSEK
• Standards
• AUTOSAR
• Reliability engineering
• Life-critical system

Die jungen Feuerwehrleute aus Osek, hier beim Bierkastenstapeln, holten sich die Bronzemedaille. Foto: Peter Hertel Die Nachbarn sind nicht zu schlagen

Source URL: www.euroregion-erzgebirge.de

KESO An Open-Source Multi-JVM for Deeply Embedded Systems Isabella Thomm, Michael Stilkerich, Christian Wawersich, Wolfgang Schröder-Preikschat

Source URL: d3s.mff.cuni.cz

• Automotive software
• Cross-platform software
• Embedded operating systems
• Software architecture
• OSEK
• Standards
• AUTOSAR
• Garbage collection
• Embedded system
• Java
• Operating system

Herzliche Einladung zum Konzert des Kinderchores „Korálek“ und seines Vorchores „Perlička“. Kloster Osek – 14. Oktober 16 Uhr 

Source URL: www.euroregion-erzgebirge.de

„Ostern auf dem Klostergut“ am., im ITC Osek – Verkaufsausstellung (Ostereierverzieren, Rutenflechten, Handwerkskunst, Osterspezialitäten – DDM Osek und Arkadie Teplice stellen sich mit ihren Ku

Source URL: www.euroregion-erzgebirge.de

Die Ausstellung findet in der Galerie des Touristen-Informationszentrums in den Räumen des Oseker Klosters mit Unterstützung der Stadt Osek statt. Die Vernissage findet am Sonntag,

Source URL: www.euroregion-erzgebirge.de

JÍZDNÍ ŘÁD 2014 – 2015 platí od 14. června 2015 u 020 (Praha -) Velký Osek - Hradec Králové - Choceň km SŽDC, státní organizace / ČD, a.s.

Source URL: www.szdc.cz

Lauterbach und Evidence bieten eine optimierte OSEK/VDX Toolkette Höhenkirchen-Siegertsbrunn, Juni 2014 – Lauterbach, führender Hersteller von Mikrocontroller-Entwicklungswerkzeugen, und Evidence, leitend in Open Sou

Source URL: www.lauterbach.com