Software design, specification, and verification: Lessons learned from the Rether case study

Autor: Kevin T. McDonnell, Xiaoqun Du, Y. S. Ramakrishna, Evangelos Nanos, Scott A. Smolka
Rok vydání: 1997
Předmět:
Zdroj: Algebraic Methodology and Software Technology ISBN: 9783540638889
AMAST
Popis: Rether is a software-based real-time ethernet protocol developed at SUNY Stony Brook. The purpose of this protocol is to provide guaranteed bandwidth and deterministic, periodic network access to multimedia applications over commodity ethernet hardware. It has been implemented in the PreeBSD 2.1.0 operating system, and is now being used to support the Stony Brook Video Server (SBVS), a low-cost, ethernet LAN-based server providing real-time delivery of video to end-users from the server's disk subsystem.
Databáze: OpenAIRE