DocumentCode :
1654963
Title :
Integrated design process with MESA/MERLAN
Author :
Tanurhan, Y. ; Schmerler, S. ; Muller-Glaser, K.D.
Author_Institution :
Dept. of Electron. Syst. & Microsyst., Computer Sci. Res. Center, Karlsruhe, Germany
fYear :
1996
Firstpage :
333
Lastpage :
338
Abstract :
In this paper, a methodology for the design of microelectronic systems which include hardware and software for open-loop and closed-loop control will be presented. An integrated approach to specification and design, analysis and simulation of the overall system has been developed. This provides for a systematic, computer aided approach to requirements definition, specification and design as well as verification and validation of the results. As embedded systems often require real-time capabilities, the environment presented gives special consideration to these constraints. For verification purpose of the developed design and specification methodology a software prototype has been implemented and used in concrete example applications, which is also presented in this paper
Keywords :
closed loop systems; control system CAD; formal specification; formal verification; real-time systems; software prototyping; MERLAN; MESA; closed-loop control; computer aided approach; integrated design process; microelectronic systems; open-loop control; requirements definition; simulation; software prototype; specification; specification methodology; validation; verification; Analytical models; Computational modeling; Control systems; Design methodology; Embedded system; Hardware; Microelectronics; Open loop systems; Process design; Real time systems;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer-Aided Control System Design, 1996., Proceedings of the 1996 IEEE International Symposium on
Conference_Location :
Dearborn, MI
Print_ISBN :
0-7803-3032-3
Type :
conf
DOI :
10.1109/CACSD.1996.555314
Filename :
555314
Link To Document :
بازگشت