The SAVE approach to component-based development of vehicular systems

  • Authors:

  • Mikael kerholm;Jan Carlson;Johan Fredriksson;Hans Hansson;John Håkansson;Anders Möller;Paul Pettersson;Massimo Tivoli

  • Affiliations:

  • Mälardalen University, Department of Computer Science and Electronics, P.O. Box 883, SE-721 23, Västerås, Sweden;Mälardalen University, Department of Computer Science and Electronics, P.O. Box 883, SE-721 23, Västerås, Sweden;Mälardalen University, Department of Computer Science and Electronics, P.O. Box 883, SE-721 23, Västerås, Sweden;Mälardalen University, Department of Computer Science and Electronics, P.O. Box 883, SE-721 23, Västerås, Sweden;Uppsala University, Department of Information Technology, P.O. Box 337, SE-751 05, Uppsala, Sweden;Mälardalen University, Department of Computer Science and Electronics, P.O. Box 883, SE-721 23, Västerås, Sweden;Uppsala University, Department of Information Technology, P.O. Box 337, SE-751 05, Uppsala, Sweden;University of L'Aquila, Department of Computer Science, Via Vetoio No.1, 67100 L'Aquila (AQ), Italy

  • Venue:
  • Journal of Systems and Software
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

The component-based strategy aims at managing complexity, shortening time-to-market, and reducing maintenance requirements by building systems with existing components. The full potential of this strategy has not yet been demonstrated for embedded software, mainly because of specific requirements in the domain, e.g., those related to timing, dependability, and resource consumption. We present SaveCCT - a component technology intended for vehicular systems, show the applicability of SaveCCT in the engineering process, and demonstrate its suitability for vehicular systems in an industrial case-study. Our experiments indicate that SaveCCT provides appropriate expressiveness, resource efficiency, analysis and verification support for component-based development of vehicular software.