IDERS: an integrated environment for the development of hard real-time systems

IDERS is a new generation environment for developing real time critical systems. It integrates specification, design and code within a single framework, provides support for incremental prototyping and allows early validation through testing and animation. The system is based on a kernel that eliminates ambiguities and supplies dynamic semantic checks. Customization facilities allow one to tailor the environment to specific notations, preserving the benefits of the formal kernel. The software process is modeled by a process centered software engineering environment that guarantees the complete visibility of both the development process and the evolving products. The IDERS project supplies a specific process model inspired by B. Boehm's spiral life cycle model (1988)