Title
Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study
Abstract
. Rether is a software-based real-time ethernet protocol developedat SUNY Stony Brook. The purpose of this protocol is to provide guaranteedbandwidth and deterministic, periodic network access to multimediaapplications over commodity ethernet hardware. It has been implemented inthe FreeBSD 2.1.0 operating system, and is now being used to support theStony Brook Video Server (SBVS), a low-cost, ethernet LAN-based serverproviding real-time delivery of video to end-users from the...
Year
DOI
Venue
1997
10.1007/BFb0000471
AMAST
Keywords
Field
DocType
rether case study,software design,operating system,real time
Video server,Software design,Programming language,Computer science,Software,Ethernet,Bandwidth (signal processing),Temporal logic,Access network,Software development,Operating system,Distributed computing
Conference
ISBN
Citations 
PageRank 
3-540-63888-1
4
0.45
References 
Authors
15
5
Name
Order
Citations
PageRank
Xiaoqun Du122512.32
K. T. McDonnell236319.59
Evangelos Nanos340.45
Y. S. Ramakrishna453445.81
Scott A. Smolka52959249.22