Save-IDE - A Tool for Design, Analysis and Implementation of Component-Based Embedded Systems

Download Now Free registration required

Executive Summary

The paper presents Save-IDE, an Integrated Development Environment for the development of component-based embedded systems. Save-IDE supports efficient development of dependable embedded systems by providing tools for design of embedded software systems using a dedicated component model, formal specification and analysis of component and system behaviors already in early development phases, and a fully automated transformation of the system of components into an executable image. Certain domains such as dependable embedded systems require having a high-confidence in the quality of products being developed.

  • Format: PDF
  • Size: 796.5 KB