• DocumentCode
    403572
  • Title

    NET framework - a solution for the next generation tools for system-level modeling and simulation

  • Author

    Lapalme, J. ; Aboulhamid, E.M. ; Nicolescu, G. ; Charest, L. ; Boyer, F.R. ; David, J.P. ; Bois, G.

  • Author_Institution
    DIRO, Univ. de Montreal, Que., Canada
  • Volume
    1
  • fYear
    2004
  • fDate
    16-20 Feb. 2004
  • Firstpage
    732
  • Abstract
    Nowadays, the use of system level description languages is mandatory for the efficient design of complex systems. These description languages are exemplified by SystemC and SystemVerilog. In this paper, we propose a new .NET framework based system level modeling and simulation environment called Esys.NET (embedded systems design with .NET). It allows (1) cooperation - by enabling Web-based design and multi-language features, (2) easy systems specification task - by enabling integration of software components running application and operating systems and by alleviating memory management, (3) link to automatic refinement tools - by enabling translation of specification models into a standard intermediate format and annotation of specification models, and (4) comparative performances with existing environments.
  • Keywords
    embedded systems; formal specification; hardware description languages; storage management; systems analysis; .NET framework; SystemC; SystemVerilog; Web-based design; automatic refinement tools; embedded systems; memory management; multilanguage features; operating systems; software components integration; specification models annotation; specification models translation; system level description languages; system-level modeling; system-level simulation; systems design; systems specification; Embedded system; Environmental management; Hardware design languages; Memory management; Object oriented modeling; Operating systems; Software development management; Software standards; Software tools; Yarn;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design, Automation and Test in Europe Conference and Exhibition, 2004. Proceedings
  • ISSN
    1530-1591
  • Print_ISBN
    0-7695-2085-5
  • Type

    conf

  • DOI
    10.1109/DATE.2004.1268952
  • Filename
    1268952