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
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;
Conference_Titel :
Engineering of Computer-Based Systems,1996. Proceedings., IEEE Symposium and Workshop on
Conference_Location :
Friedrichshafen
Print_ISBN :
0-8186-7355-9
DOI :
10.1109/ECBS.1996.494563
