Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process using UPPAAL Jan Toennemann1 , Andreas Rausch1 , Falk Howar2 , and Benjamin Cool3 1

Source URL: www.falkhowar.de

• Real-time computing
• Scheduling
• Technology
• Computer architecture
• System software
• Embedded operating systems
• Automotive software
• OSEK
• Worst-case execution time
• Real-time operating system
• Uppaal Model Checker
• Model checking

MODELISAR An international standard for systems- and embedded software design in vehicles Modelling is not new in automotive systems development Impact highlights

Source URL: itea3.org

Control as a Service (CaaS) Cloud-based Software Architecture for Automotive Control Applications Hasan Esen*, Hideaki Tanaka+, Akihito Iwai# DENSO (*Europe, +Japan, #Silicon Valley) Masakazu Adachi TOYOTA CENTRAL R&D LA

Source URL: www.odys.it

Control Software - CR-LAB acc. to IEC/EN, ISO, automotive and military standards Special Features • ·

Source URL: www.reliantemc.com

A Novel Industry Grade Dataset for Fault Prediction based on Model-Driven Developed Automotive Embedded Software Harald Altinger∗ , Sebastian Siegl∗ , Yanja Dajsuren‡ and Franz Wotawa§ ∗ Audi

Source URL: www.ist.tugraz.at

A Software Analysis Framework for Automotive Embedded Software Jochen Quante Robert Bosch GmbH, Corporate Research Stuttgart, Germany Abstract

Source URL: pi.informatik.uni-siegen.de

Automotive Software: Characteristics and Reengineering Challenges Vincent Schulte-Coerne, Andreas Thums, Jochen Quante Robert Bosch GmbH Corporate Sector Research and Advance Engineering Software P. O. Box, 7044

Source URL: pi.informatik.uni-siegen.de

Reengineering Automotive Software at Bosch Jochen Quante Robert Bosch GmbH Corporate Sector Research and Advance Engineering Software P. O. Box, 70442 Stuttgart, Germany

Source URL: pi.informatik.uni-siegen.de

Proof-Carrying Apps: Contract-Based Deployment-Time Verification⋆ Sönke Holthusen, Michael Nieke, Thomas Thüm, and Ina Schaefer Institute of Software Engineering and Automotive Informatics TU Braunschweig, Germany {s

Source URL: www.isf.cs.tu-bs.de

Parsing Variant C Code: An Evaluation on Automotive Software Robert Heum¨ uller Jochen Quante and Andreas Thums

Source URL: pi.informatik.uni-siegen.de