Paper Info
Title
Save-IDE - A tool for design, analysis and implementation of component-based embedded systems
Abstract
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.
Year
DOI
Venue
2009
10.1109/ICSE.2009.5070567
ICSE
Keywords
Field
DocType
software tool,embedded software system,save-ide,executable image,dependable embedded system,software component analysis,software tools,programming environments,component-based embedded system,integrated development environment,component-based embedded system design,systems analysis,object-oriented programming,efficient development,embedded systems,early development phase,formal specification,automated transformation,dedicated component model,image analysis,automata,computer architecture,system analysis and design,real time systems,computational modeling,data mining,object oriented programming,embedded system,software design,component model,embedded software,formal specifications,software systems
Systems engineering,Object-oriented programming,Computer science,Automaton,Systems analysis,Systems design,Formal specification,Real-time computing,Software,Design analysis,Executable,Embedded system
Conference
ISSN
ISBN
Citations 
0270-5257
978-1-4244-3453-4
16
PageRank 
References 
Authors
1.00
8
6
Name
Order
Citations
PageRank
Severine Sentilles11477.93
Anders Pettersson2736.28
Dag Nystrom3171.70
Thomas Nolte418413.18
Paul Pettersson51099.76
Ivica Crnkovic61235106.58