Multi-domain modelling, simulation and control

For the design of large industrial systems, usually many different modelling languages are required. Currently, different projects aim at the development of standards that enable interaction between simulation models written in different languages. The Chi project aims at providing one language suited to modelling, simulation and control of systems from different application domains. Models may range from pure continuous-time models to pure discrete-event models, and any combination of the two. Due to the orthogonal design of the Chi language and careful selection of the language primitives, the core of the language is small. At the same time, the high-level data modelling constructs and high-level behaviour modelling constructs provide the modeller with expressive power. Verification of Chi models is currently limited to discrete-event models. The Chi language and simulator have proved themselves in many industrial projects involving discrete-event modelling and simulation. For continuous-time and hybrid systems, the current simulator provides time-event and state-event handling, root location, initial state calculation, handling of discrete-event sub-phases, and index 1 DAE solving. For real-time control, Chi models can be compiled to run on real-time operating systems such as VxWorks.