Concurrency and Timing

Several computations executing simultaneously, and potentially interacting with each other.
file

Visible to the public High Confidence Active Safety Control in Automotive Cyber-Physical Systems

Abstract

Despite the enormous number of fatalities and injuries on US roads from automobile accidents, the design and development of active safety systems tend to be traditional in nature. Current industry standard practice resorts to extensive on-road vehicle tests to decrease the probability of failures. Given the uncertainty on environment conditions and drivers behavior, the statistical relevance of such tests is questionable.