CAARS 2015 - International Workshop on Critical Automotive applications: Robustness & Safety

The increasing complexity of automotive applications, the challenges posed by autonomous vehicles, the need to master production costs using off-the-shelf components, the coexistence of critical and non-critical applications, and the emergence of new architectural paradigms have a strong effect on dependability of automotive embedded systems. This situation requires design and validation methods, but also tools to improve automotive systems robustness and their safety and security properties. The fast evolution of standards such as AUTOSAR and ISO26262 is a reality to incorporate novel features, more flexibility while improving robustness, security and safety.
The goal of the workshop is to bring together researchers and practitioners interested in the construction of critical automotive applications and systems. It will place the emphasis on
dependability issues, software engineering for robustness, security and safety issues, real-time embedded systems technologies, architectural software and hardware solutions, development processes for dependable automotive embedded systems.
CARS is a forum for on-going work exchange.
In particular, CARS aims at promoting and fostering discussion on novel ideas and techniques, possibly controversial approaches, a place where researchers and developers can share both real problems and innovative solutions.
Topics of interest for the workshop include (but are not limited to):
? Safety in the development processes and safety management.
? Combined approaches for safety and security
? Safety of the Intended Functionality (SOTIF)
? Autonomous systems, Car-to-X, ADAS and safety
? Hardware and software support for dependable automotive systems.
? Middleware and tool support for dependable embedded automotive systems.
? Open source approaches and integration of SEooC (Safety Elements out of Context).
? Real-time operating systems, WCET estimation, schedulability analysis.
? Modeling and code generation techniques.
? Software safety analysis and formal verification techniques for automotive systems.
? Coordination, communication, networking and distributed control architectures.
? Diagnosis approaches, failure data, practical experience reports of critical applications.
? Validation according to ISO 26262.
Application areas of interest to the workshop focus on the automotive domain but methods and techniques in other transport domains (e.g. aerospace, railways) are also welcome.