Voice Over IP: Correct Hardware/Software Co-Design

8th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS'01) p. 0194
Voice Over IP: Correct Hardware/Software Co-Design
H. Zedan, De Montfort University
A. Cau, De Montfort University

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/FTDCS.2001.969641
Send link to a friend

Abstract
We describe an integrated and compositional technique, together with its supporting toolset, for hardware/software co-design. The co-design process is soundly based upon formal techniques, but includes integrated support for simulation. A unique characteristic of our framework is that it can validate and analyse system’s behaviours of interest compositionally and within a single logical formalism, namely Interval Temporal Logic (ITL) and its executable subset, (Ana)Tempura. The paper presents voice over IP as an application to our framework.
Back to Top Additional Information
Citation: H. Zedan, A. Cau, "Voice Over IP: Correct Hardware/Software Co-Design," ftdcs, p. 0194, 8th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS'01), 2001

	Advanced Search
CS Search Google Search