The SHIFT Programming Language and Run-time System for Dynamic Networks of Hybrid Automata [chapter]

Akash Deshpande, Aleks Göllü, Luigi Semenzato
2000 Verification of Digital and Hybrid Systems  
This report presents SHIFT, a programming language for describing dynamic networks of hybrid automata. The SHIFT model offers the proper level of abstraction for describing complex applications such as automated highway systems, etc. The report first describes a simplified version of the SHIFT model. The models of a type, a component and the world are discussed, including the formal semantics of the model. This is followed by a description of the main features of the SHIFT language, including
more » ... ates, inputs, outputs, differential equations and algebraic definitions, discrete states and state transitions. Two examples are provided illustrating these features. In the final section, the run-time environment for simulating SHIFT programs is described, and in particular, the algorithm for determining synchronized transitions. Abstract Shift is a programming language for describing dynamic networks of hybrid automata. Such systems consist of components which can be created, interconnected and destroyed as the system evolves. Components exhibit hybrid behavior, consisting of continuous-time phases separated by discrete-event transitions. Components may e v olve independently, or they may i n teract through their inputs, outputs and exported events. The interaction network itself may e v olve. We believe that the Shift model o ers the proper level of abstraction for describing complex applications such as automated highway systems, air tra c control systems, robotic shop oors, coordinated submarines and other systems whose operation cannot be captured easily by conventional models. We h a v e implemented a compiler for translating a Shift program to a C program, and we h a v e implemented the Shift run-time system for obtaining an executable program. The executable program, when run, simulates the design speci ed in the Shift source program.
doi:10.1007/978-3-642-59615-5_17 fatcat:gyljt6d5dvc67cr7qmv7tn7cfy