Formal Verification of Algorithms for Critical Systems
IEEE Transactions on Software Engineering
Fault-Tolerant Rate-Monotonic Scheduling
Real-Time Systems
| Hi-index | 0.00 |
One of the challenging application domains of dependable real-time computer technology is the field of automotive electronics. In this paper we describe the characteristics of this exciting field, investigate the present state of the art of computer applications onboard vehicles and speculate about upcoming computer applications, such as intelligent cruise control, and vehicle dynamics control. These safety critical applications require very high reliability, while the maintenance effort should be minimal. In the final section of the paper we discuss the impact of the automotive electronics developments on other real-time applications.