Modeling advanced transport telematics architecture using formal definition techniques proposal for a methodology that incorporates extensions to SDL and ER

Modelling techniques from the telecommunication field are used to define an architecture for intelligent transportation (or advanced transport telematics) systems. The techniques give a precise and intuitive description that can exploited to define and manage a systems architecture. In contrast to conventional methods, it also provides an architectural model operating with types and instances and offers relative views through roles. Techniques demonstrated here have been used for a number of years to produce ultra-reliable software for telecommunication systems applications