The SAVE approach to component-based development of vehicular systems

被引:42
作者
Akerholm, Mikael
Carlson, Jan
Fredriksson, Johan
Hansson, Hans
Hakansson, John
Moeller, Anders
Pettersson, Paul
Tivoli, Massimo
机构
[1] Malardalen Univ, Dept Comp Sci & Elect, SE-72123 Vasteras, Sweden
[2] Uppsala Univ, Dept Informat Technol, SE-75105 Uppsala, Sweden
[3] Univ Aquila, Dept Comp Sci, I-67100 Laquila, Italy
关键词
component based software engineering; component technology; embedded systems; vehicular systems;
D O I
10.1016/j.jss.2006.08.016
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
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. (c) 2006 Elsevier Inc. All rights reserved.
引用
收藏
页码:655 / 667
页数:13
相关论文
共 34 条
[1]  
AKERHOLM M, 2005, 10 IEEE INT WORKSH O
[2]   A THEORY OF TIMED AUTOMATA [J].
ALUR, R ;
DILL, DL .
THEORETICAL COMPUTER SCIENCE, 1994, 126 (02) :183-235
[3]  
Amnell T., 2003, P 1 INT WORKSH FORM
[4]  
[Anonymous], P 17 INT C SOFTW ENG
[5]  
BENGTSSON J, 1996, LECT NOTES COMPUTER, V1102, P244
[6]  
Carlson J., 2005, ELECT NOTES THEORETI
[7]  
Crnkovic I., 2002, BUILDING RELIABLE CO
[8]   Modelling and analysis of a commercial field bus protocol [J].
David, A ;
Yi, W .
EUROMICRO RTS 2000: 12TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, PROCEEDINGS, 2000, :165-172
[9]  
DIMOV A, 2005, LNCS, V3712
[10]  
Elmqvist J, 2005, LECT NOTES COMPUT SC, V3688, P246