Unified Behavior Model for Safety-Critical Digital Systems Simulation

摘要

This paper presents a unified behavior model for digital systems, combining both the reactive and transformational (procedural) paradigms. The model is needed as the core of an integrated development environment for safety critical applications, also described in this paper. The main guidelines and principles of the whole line of research are stated. The main proposed ideas arise from actual development experience, aiming at better practical results instead of pure theoretical advances.