Logotype Mälardalen University

MRTC publications



PRIDE

Authors: Ivica Crnkovic, Séverine Sentilles, Thomas Leveque (former), Mario Zagar (University of Zagreb), Ana Petricic (former), Juraj Feljan, Luka Lednicki, Josip Maras
Source: DICES workshop @ SoftCOM 2010, Bol, Croatia
 

Abstract

This paper describes PRIDE, an integrated development environment for efficient component-based software development of embedded systems. PRIDE uses reusable software components as the central development units, and as a means to support and aggregate various analysis and verification techniques throughout the whole lifecycle - from early specification to deployment and synthesis. This paper focuses on support provided by PRIDE for the modeling and analysis aspects of the development of embedded systems based on reusable software components.
 

BibTeX entry

@inproceedings{Crnkovic_2337:2010,
   author = {Ivica Crnkovic and S{\'e}verine Sentilles and Thomas Leveque and Mario Zagar and Ana Petricic and Juraj Feljan and Luka Lednicki and Josip Maras},
   title = {PRIDE},
   booktitle = {DICES workshop @ SoftCOM 2010},
   month = {September},
   year = {2010},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=2337},
}

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2010.02.23