MODUS: integrated behavior-oriented model for rapid prototyping

This paper presents a unified behavior model for digital system (MODUS) that combines both the reactive and the transformational-or procedural-paradigms. The model is the core of an integrated development environment for safety critical applications, designed for rapid prototyping. MODUS includes distinctive features, such as minimum cause-effect delays and uncertain states, seeking accurate modeling and simulation of safety-related real-time systems. The main guidelines and principles of the whole line of research are stated