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 |
Externí odkaz: |