Testing safety-critical systems is crucial since a failure or malfunction may result in death or
serious injuries to people, equipment, or environment. An important challenge in testing is …

The automotive industry is going through a fundamental change by moving from a
mechanical to a software-intensive industry in which most innovation and competition rely …

With an emphasis on redundancy and error handling techniques, this study examines fault
tolerance and reliability tactics within the AUTOSAR (Automotive Open System Architecture) …

Abstract Verification and Validation (V&V) of small-scale embedded software must consider
the operating system. Unlike general-purpose systems, the underlying operating system is …

As LG home appliances promise more convenience features to end-users, the complexity of
their control software is also increasing, creating a higher pressure for software verification …

Verification of multitasking embedded software requires taking into account its underlying
operating system wrt its scheduling policy and handling of task priorities in order to achieve …

As a test method, model-based testing has been proven to have the ability to find
inconsistencies between a software system and its design model and objectives. Because …

An operating system publishes a set of application programming interface (API) functions
along with a set of API-call constraints with which programs running on the operating system …

While vehicles have primarily been controlled through mechanical means in years past, an
increasing number of embedded control systems are being installed and used, keeping …

In automobile industry, it is a common approach to develop automobile real-time operating
systems under some standards. For instance, OSEK/VDX is a world-wide adopted open …