loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96)
A formal approach to HW/SW co-design: the INSYDE project
Friedrichshafen, GERMANY
March 11-March 15
ISBN: 0-8186-7355-9
ASCII Text
x 
 
D. Sinclair, L. Cuypers, K. Verschaeve, E. Holz, A. Birbas, V. Mariatos, N. Kyrloglou, J.L. Roux, "A formal approach to HW/SW co-design: the INSYDE project," Engineering of Computer-Based Systems, IEEE International Conference on the, pp. 372, IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996.
 
 
BibTex
x
 
@article{ 10.1109/ECBS.1996.494563,
author = {D. Sinclair and L. Cuypers and K. Verschaeve and E. Holz and A. Birbas and V. Mariatos and N. Kyrloglou and J.L. Roux},
title = {A formal approach to HW/SW co-design: the INSYDE project},
journal ={Engineering of Computer-Based Systems, IEEE International Conference on the},
volume = {0},
year = {1996},
isbn = {0-8186-7355-9},
pages = {372},
doi = {http://doi.ieeecomputersociety.org/10.1109/ECBS.1996.494563},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Engineering of Computer-Based Systems, IEEE International Conference on the
TI - A formal approach to HW/SW co-design: the INSYDE project
SN - 0-8186-7355-9
SP
EP
A1 - D. Sinclair,
A1 - L. Cuypers,
A1 - K. Verschaeve,
A1 - E. Holz,
A1 - A. Birbas,
A1 - V. Mariatos,
A1 - N. Kyrloglou,
A1 - J.L. Roux,
PY - 1996
KW - formal verification; hardware description languages; software tools; object-oriented methods; INSYDE project; hybrid system co-design; formal approach; hardware/software co-design; object-oriented analysis; object-oriented design; formal description languages; SDL; VHDL; requirements capture; validation
VL - 0
JA - Engineering of Computer-Based Systems, IEEE International Conference on the
ER -
 
D. Sinclair, Dublin City Univ., Ireland
L. Cuypers, Dublin City Univ., Ireland
K. Verschaeve, Dublin City Univ., Ireland
E. Holz, Dublin City Univ., Ireland
A. Birbas, Dublin City Univ., Ireland
V. Mariatos, Dublin City Univ., Ireland
N. Kyrloglou, Dublin City Univ., Ireland
J.L. Roux, Dublin City Univ., Ireland
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.
Index Terms:
formal verification; hardware description languages; software tools; object-oriented methods; INSYDE project; hybrid system co-design; formal approach; hardware/software co-design; object-oriented analysis; object-oriented design; formal description languages; SDL; VHDL; requirements capture; validation
Citation:
D. Sinclair, L. Cuypers, K. Verschaeve, E. Holz, A. Birbas, V. Mariatos, N. Kyrloglou, J.L. Roux, "A formal approach to HW/SW co-design: the INSYDE project," ecbs, pp.372, IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), 1996
Usage of this product signifies your acceptance of the Terms of Use.