HARDWARE-SOFTWARE CODESIGN OF EMBEDDED SYSTEMS

被引：65
作者：
CHIODO, M
GIUSTO, P
JURECSKA, A
HSIEH, HC
SANGIOVANNIVINCENTELLI, A
LAVAGNO, L
机构：
[1] POLITECN TORINO, DIPARTIMENTO ELETTRON, C DUCA ABRUZZI 24, I-10129 TURIN, ITALY
[2] MAGNET MARELLI, DIV ELECTR, TURIN, ITALY
[3] UNIV CALIF BERKELEY, DEPT ELECT ENGN & COMP SCI, BERKELEY, CA 94720 USA
来源：
IEEE MICRO | 1994年 / 14卷 / 04期
关键词：
D O I：
10.1109/40.296155
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Designers generally implement embedded controllers for reactive real-time applications as mixed software-hardware systems. In our formal methodology for specifying, modeling, automatically synthesizing, and verifying such systems, design takes place within a unified framework that prejudices neither hardware nor software implementation. After interactive partitioning, this approach automatically synthesizes the entire design, including hardware-software interfaces. Maintaining a finite-state machine model throughout, it preserves the formal properties of the design. It also allows verification of both specification and implementation, as well as the use of specification refinement through formal verification.
引用
收藏
页码：26 / 36
页数：11
相关论文
共 14 条
[1]  
AHO AV, 1988, COMPILERS PRINCIPLES
[2]   MODEL-CHECKING IN DENSE REAL-TIME [J].
ALUR, R ;
COURCOUBETIS, C ;
DILL, D .
INFORMATION AND COMPUTATION, 1993, 104 (01) :2-34
[3]  
BAKER W, 1993, UCBERL9310 TECH REP
[4]   THE SYNCHRONOUS APPROACH TO REACTIVE AND REAL-TIME SYSTEMS [J].
BENVENISTE, A ;
BERRY, G .
PROCEEDINGS OF THE IEEE, 1991, 79 (09) :1270-1282
[5]  
CHIODO M, 1993, UCBERL M9348 U CAL B
[6]  
DRUZINSKI D, 1989, IEEE T COMPUT AID D, V8, P798
[7]   PROGRAM IMPLEMENTATION SCHEMES FOR HARDWARE-SOFTWARE SYSTEMS [J].
GUPTA, RK ;
COELHO, CN ;
DEMICHELI, G .
COMPUTER, 1994, 27 (01) :48-55
[8]   THE SYNCHRONOUS DATA FLOW PROGRAMMING LANGUAGE LUSTER [J].
HALBWACHS, N ;
CASPI, P ;
RAYMOND, P ;
PILAUD, D .
PROCEEDINGS OF THE IEEE, 1991, 79 (09) :1305-1320
[9]  
KURSHAN RP, 1990, LECT NOTES COMPUT SC, V430, P414
[10]  
MCFARLAND MC, 1991, P INT WORKSHOP HARDW, P342
12