FAULT-TOLERANT AND SECURE INTELLIGENT VEHICLE HIGHWAY SYSTEM SOFTWARE : A SAFETY PROTOTYPE
Bruce McMillin · 1998
Intellgent Vehicle Highway Systems or Automated Highway Systems #AHS# arecomplex embeddedcomputing systems subjected to extreme operational requirements with high fault tolerance, software, and security requirements. Software #programming# errors, hardware#communication and computation# failures, and security intrusions #hackers and terrorism#, can cause system failures ranging from highway grid lock to massive crashes and loss of life. This paper describes a method and a portion of its implementation to ensure that formally-speci#ed properties of safety, liveness, fault tolerance, and security hold, at run time, in the distributed embedded computing system that forms the computational basis for AHS. Assertion checking is used for concurrent error detection to provide both hardware and software fault tolerance and security. Keywords: Assertions, CCSP, Error-Checking, Distributed, Embedded System 1. Introduction The IntelligentVehicle Highway System #IVHS# or Automated Highway System...