DocumentCode
3445589
Title
A formal approach to HW/SW co-design: the INSYDE project
Author
Sinclair, D. ; Cuypers, L. ; Verschaeve, K. ; Holz, E. ; Birbas, A. ; Mariatos, V. ; Kyrloglou, N. ; Roux, J.L.
Author_Institution
Dublin City Univ., Ireland
fYear
1996
fDate
11-15 Mar 1996
Firstpage
372
Lastpage
381
Abstract
The paper presents a formal approach to the co-design of hybrid systems based on object-oriented analysis and design, and the formal description languages VHDL and SDL. This methodology covers the whole development process from requirements capture, through design and implementation, to validation. The paper also presents some of our experiences to date with the methodology
Keywords
formal verification; hardware description languages; object-oriented methods; software tools; INSYDE project; SDL; VHDL; formal approach; formal description languages; hardware/software co-design; hybrid system co-design; object-oriented analysis; object-oriented design; requirements capture; validation; Asynchronous communication; Hardware design languages; Object oriented modeling; System analysis and design;
fLanguage
English
Publisher
ieee
Conference_Titel
Engineering of Computer-Based Systems,1996. Proceedings., IEEE Symposium and Workshop on
Conference_Location
Friedrichshafen
Print_ISBN
0-8186-7355-9
Type
conf
DOI
10.1109/ECBS.1996.494563
Filename
494563
Link To Document