Dependability Assessment of Two Network Supported Automotive Applications

Abstract

The congestion of traffic has been increasingly growing, both in urban areas and in highways. In such a context, the safety of vehicles and their occupants is becoming a real problem. On the other hand, new mobility and wireless communication technologies allow the development of innovative applications to improve traffic safety. This chapter addresses the dependability modelling and evaluation of two such applications supported by communications between the vehicles: automated highway systems and virtual black boxes. Assessment is based on the Stochastic Activity Networks formalism and on a unified modelling approach. We concentrate on the safety of the automated highway and on the availability of the virtual black box data.