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

Autori
Séverine Sentilles ; John H&aring ; kansson ; Paul Pettersson ; Ivica Crnkovic

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008) / - , 2008, 1-2

Skup
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), L'Aquila, Italy

Mjesto i datum
L'Aquila, Italija, 09.2008

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
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

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA