Obtaining full models for the validation and verification of embedded systems is often difficult. The presented approach overcomes this problem by checking finite traces, which does not require any system model. Traces are generated by test car runs or hardware-in-the-loop simulation. We propose a canonical extension of linear-time temporal logic (LTL) for real-time specifications. Our algorith...

Hybrid systems that involve the interaction of continuous and discrete dynamics have been an active area of research for a number of years. In this paper, we start by briefly surveying the main theoretical control problems that have been treated in the hybrid systems setting and classify them into stabilization, optimal control and language specification problems. We then provide an overview of...

Purchasing and suppliers are of major strategic importance to most companies today. This is because a substantial amount of the resources used by a company are made available through its suppliers. Purchases from suppliers account for more than half of total costs for most companies and in some industries, such as electronics, telecommunications, construction, and automotive, this portion is no...

Safety-critical automotive systems must fulfill hard real-time constraints to guarantee their reliability and safety requirements. In the context of network-based electronics systems, high-level timing requirements have to be carefully mastered and traced throughout the whole development process. In this paper, we outline the management of scheduling-specific timing information by the applicati...

The present works depicts a measurement technique intended to enhance the characterization procedures of the photometric emissions of automotive headlamps, with potential applications to any light source emission, either automotive or non-automotive. A CCD array with a precisely characterized optical system is used for sampling the luminance field of the headlamp just a few centimetres in front...

In this paper, we propose an implementation of a real-time operating system for the two-wheel mobile robot. With this implementation, we have the ability to control the complex embedded systems of the two-wheel mobile robot. The advantage of the real-time operating system is increasing the reliability and stability of the two-wheel mobile robot when they work in critical environments such as mi...

The focus of this second issue the 14th year IEEE Solid-State Circuits Magazine is on highlighting a less common but increasingly important variety, i.e., “flavor,” ICs, that is, “chips.” “chip flavor” “automotive.” As reduction carbon dioxide emissions and slowing climate change are becoming more critical, electrification modern ve...

In automotive power electronics, low cost and reliability requirements both demand to optimize each part of the package in order to increase its life time during use. The wire bonding breakage accounts for one of the most common failures observed on power modules. In particular, the heel crack mechanism, mainly due to Joule self-heating, can occur in the module, leading to its death. Thus, the ...

To minimize the dangers of such systems, special development standards and processes have been designed for use in safety-critical applications. The established standard in automotive electronics is IEC61508. This is a generic safety standard that requires the defi nition of more detailed standards for specifi c industries and projects. Software engineering studies have shown that the RTCA DO-1...