← All chapters Chapter 22

Appendix A — A Wider Scope: Vehicle and Road Traffic

The same grammar, one scale up — the driver is a system too.

The identical procedure points one scale up at the vehicle within road traffic, with even the driver modeled by the standard ports. Safety goals become the top level events, and a two-second bound sits at the apex as a fault-tolerant time interval in all but name. The levels nest into one continuous tree from a hazard to a single component's basic event.