engleski

Save-IDE – An Integrated development environment for building predictable component-based embedded systems

In this paper we present an Integrated Development Environment Save-IDE, a toolset that embraces several tools: a tool for designing component-based systems and components, modeling and predicting certain run-time properties, such as timing properties, and transforming the components to real-time execution elements. Save-IDE is specialized for the domain of dependable embedded systems, which in addition to standard design tools requires tool support for analysis and verification of particular properties of such systems.

Save-IDE component-based embedded systems; dependable embedded systems; integrated development environment; real-time execution elements; run-time property; embedded systems; object-oriented methods; object-oriented programming

nije evidentirano