17th International System Safety Conference - ISSC 1999, Orlando (United States of America). 16-21 August 1999
Summary:
This paper presents a unified behaviour 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.
Keywords: Safety-Critical systems, Software development methods, Object-oriented technologies, CASE Tools, Software development environments, Real-Time systems.
Publication date: 1999-08-16.
Citation:
Y. González-Arechavala, F. de Cuadra, Unified behaviour model for safety-critical digital systems simulation., 17th International System Safety Conference - ISSC 1999, Orlando (United States of America). 16-21 August 1999.
