• 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