A case study in embedded systems design:: An Engine Control Unit

被引:5
作者
Cuatto, T [1 ]
Passerone, C
Sansoè, C
Gregoretti, F
Jurecska, A
Sangiovanni-Vincentelli, A
机构
[1] Politecn Torino, Dept Elect, I-10129 Turin, Italy
[2] Synopsys Inc, Eagle Technol Grp, Beaverton, OR 97006 USA
[3] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94720 USA
关键词
hardware/software co-design; hardware/software co-simulation; architecture selection and mapping; automotive applications; engine control;
D O I
10.1023/A:1008989409134
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
A number of techniques and software tools for embedded system design have been recently proposed. However, the current practice in the designer community is heavily based on manual techniques and on past experience rather than on a rigorous approach to design. To advance the state of the art it is important to address a number of relevant design problems and solve them to demonstrate the power of the new approaches. We chose an industrial example in automotive electronics to validate our design methodology: an existing commercially available Engine Control Unit. We discuss in detail the specification, the implementation philosophy, and the architectural trade-off analysis. We analyze the results obtained with our approach and compare them with the existing design underlining the advantages offered by a systematic approach to embedded system design in terms of performance and design time.
引用
收藏
页码:71 / 88
页数:18
相关论文
共 26 条
[1]  
BALARIN F, 2000, P DES AUT C JUN
[2]  
BALARIN F, 1997, HARDWARE SOFTWARE CO
[3]  
BERRY G, 1991, IEEE P, V79
[4]  
BRAYTON RK, 1996, LECT NOTES COMPUTER, V1102, P428, DOI DOI 10.1007/3-540-61474-5_
[5]  
BRYANT RE, 1986, IEEE T COMPUT, V35, P677, DOI 10.1109/TC.1986.1676819
[6]  
BUCK J, 1994, INT J COMPUTER S JAN
[7]   SYMBOLIC MODEL CHECKING FOR SEQUENTIAL-CIRCUIT VERIFICATION [J].
BURCH, JR ;
CLARKE, EM ;
LONG, DE ;
MCMILLAN, KL ;
DILL, DL .
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1994, 13 (04) :401-424
[8]  
CHAO P, 1994, IEEE MICRO AUG
[9]  
CHIODO M, 1995, P DES AUT C JUN
[10]  
CUATTO T, 1998, P DES AUT C JUN