A General Framework For Large Scale Systems Development

This paper describes a general framework for the modeling, design, simulation, and prototyping of large scale systems. The framework uses a coherent set of tools that model the system at hand, take a control design and analyze, verify, and simulate it; and then can generate code that can be run in a target real-time software platform in the physical system. The paper emphasizes the specification language SHIFT and the simulation tools used by the framework. We present the development of the Automated Highway System as an example.