Abstract

The design of safety critical systems calls for advanced software engineering models, methods and tools in order to guarantee safety requirements that can put human life at stake. When the safety critical system encompasses a substantial interactive component, the same level of [...]

Abstract

This chapter has sought to explain the context, policy applications, and major design choices in the process of developing an operational urban simulation model, with specific reference to UrbanSim as a case study. It has been argued that careful design at each stage of the process [...]