Context Testing and verification of automotive embedded software is a major challenge.
Software production in automotive domain comprises three stages: Developing automotive …

The number and the complexity of software components embedded in today's vehicles is
rapidly increasing. A large group of these components monitor and control the operating …

Continuous controllers have been widely used in automotive domain to monitor and control
physical components. These controllers are subject to three rounds of testing: Model-in-the …

This work suggests a method for systematically constructing a software-level environment
model for safety checking automotive operating systems by introducing a constraint …

System testing in the automotive industry is a very expensive and time-consuming task of
growing importance, because embedded systems in the domain are distributed over …

We present the results of applying our approach for testing Simulink controllers to one public
and one proprietary model, both industrial. Our approach combines explorative and …

We focus on issues related to the test and validation of complex embedded systems. These
are systems that include, besides software controllers, also the controlled physical …

Increasingly intelligent energy-management and safety systems are developed to realize
safe and economic automobiles. The realization of these systems is only possible with …

We present AutoMOTGen, a tool for automatic test case generation (ATG) from MATLAB
Simulink/Stateflow (SL/SF) models [6] for testing automotive controllers. Our methodology is …

This paper discusses the concept of Instrumentation-Based Validation (IBV): the use of
model instrumentation and coverage-based testing to validate models of embedded control …