• DocumentCode
    3031960
  • Title

    Save-IDE: An Integrated Development Environment for Building Predictable Component-Based Embedded Systems

  • Author

    Sentilles, Severine ; Pettersson, Paul ; Crnkovic, Ivica ; Hakansson, J.

  • Author_Institution
    Sch. of Innovation, Malardalen Univ., Vasteras
  • fYear
    2008
  • fDate
    15-19 Sept. 2008
  • Firstpage
    493
  • Lastpage
    494
  • Abstract
    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.
  • Keywords
    embedded systems; object-oriented methods; object-oriented programming; Save-IDE; component-based embedded systems; dependable embedded systems; integrated development environment; real-time execution elements; run-time property; Buildings; Embedded system; Graphical user interfaces; Runtime; Skeleton; Software systems; Switches; System analysis and design; Technological innovation; Timing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Automated Software Engineering, 2008. ASE 2008. 23rd IEEE/ACM International Conference on
  • Conference_Location
    L´Aquila
  • ISSN
    1938-4300
  • Print_ISBN
    978-1-4244-2187-9
  • Electronic_ISBN
    1938-4300
  • Type

    conf

  • DOI
    10.1109/ASE.2008.87
  • Filename
    4639380