Pregled bibliografske jedinice broj: 392404
Save-IDE - A Tool for Design, Analysis and Implementation of Component-Based Embedded Systems
Save-IDE - A Tool for Design, Analysis and Implementation of Component-Based Embedded Systems // Proceedings of the Research Demo Track of the 31st International Conference on Software Engineering (ICSE)
Vancouver, Kanada, 2009. str. 1-4 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni)
CROSBI ID: 392404 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Save-IDE - A Tool for Design, Analysis and Implementation of Component-Based Embedded Systems
Autori
Séverine Sentilles ; Anders Pettersson ; Dag Nyström ; Thomas Nolte ; Paul Pettersson ; Ivica Crnkovic
Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni
Izvornik
Proceedings of the Research Demo Track of the 31st International Conference on Software Engineering (ICSE)
/ - , 2009, 1-4
Skup
Proceedings of the Research Demo Track of the 31st International Conference on Software Engineering (ICSE), Vancouver
Mjesto i datum
Vancouver, Kanada, 05.2009
Vrsta sudjelovanja
Predavanje
Vrsta recenzije
Međunarodna recenzija
Ključne riječi
modelling tool; analysis tool; component-based engineering; embedded system; SaveCCM; SaveIDE; behavioural modelling
Sažetak
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.
Izvorni jezik
Engleski
Znanstvena područja
Računarstvo
POVEZANOST RADA
Projekti:
016-0161199-1715 - Informacijska infrastruktura i interoperabilnost (Vrček, Neven, MZOS ) ( CroRIS)
036-0361959-1965 - Programsko inženjerstvo u sveprisutnom računarstvu (Žagar, Mario, MZO ) ( CroRIS)
Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb
