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
Link To Document :
بازگشت