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