Drager, Steven

WAVES-VHDL integration for common applications ( Book )
2 editions published in 1996 in English and held by 2 libraries worldwide
This report provides an explanation of how to use the IEEE Waveform and Vector Exchange Specification (WAVES) language, an industry standard for representing digital stimulus and response data for both the design and test communities, in conjunction with the VHSIC Hardware Description Language. The common complaint heard through the user community has been the complexity and difficulty in using WAVES to verify a VHDL model. This work has addressed this complaint by creating four common library packages WAVES-1164 Pin -Codes, WAVES-1164-Logic-Value, WAVES-1164-Frames and WAVES-1164 Utilities as well as an automatic testbench generation tool to support the WAVES-VHDL testbench configuration and mitigate the complexity for the average user. The report first provides a discussion on each of these packages, so that the user may understand how the packages may be utilized. Then design examples are provided to demonstrate the usage and utility of the libraries as well as to walk the user through the usage of the testbench generation tool.

A Cyber Physical Systems Perspective on the Real-time and Reliable Dissemination of Information in Intelligent Transportation Systems ( Book )
1 edition published in 2010 in English and held by 1 library worldwide
Timely and reliable dissemination of traffic-related information to drivers is a key property that intelligent transportation systems (ITS) should support. Numerous impediments stemming due to (a) physical factors, such as mobility and speed of vehicles, density of vehicles, characteristics of the wireless radio channel, and power and bit rate of radio transceivers, and (b) cyber issues, such as MAC layer access point associations and address resolutions (ARP), network layer addressing, routing and handoffs, and transport layer retransmissions lead to unpredictability in the timely and reliable dissemination of information to drivers. This paper presents compelling arguments in favor of new research directions in this area that are based on a cyber-physical systems (CPS) perspective. In particular, this paper makes three contributions. First, it considers a vehicle-centric perspective to survey and study the physics-and cyber-imposed impediments to the timely and reliable dissemination of information. Second, it presents a promising CPS solution to overcome a subset of the impediments discovered. Third, it outlines lessons learned indicating the need for more focused research and realistic testbeds. The evaluations presented in the paper are based on simulations conducted in the OMNeT++/INETMANET simulator framework for IEEE 802.11 networks. Lack of open ITS testbeds motivated us to choose simulation as an alternative to conduct our study.

SPRUCE: Systems and Software Producibility Collaboration and Experimentation Environment ( Book )
1 edition published in 2009 in English and held by 1 library worldwide
The Systems and Software Producibility Collaboration and Experimentation Environment (SPRUCE1) is an open web portal to bring together DoD software developers, users, and software engineering researchers virtually by enabling their collaboration on specifying and solving software producibility challenge problems. SPRUCE is based on the premise that well articulated and technology users and technology providers. Key SPRUCE features are: self-organizing communities of interest (CoI), dynamically evolving challenge problems with accompanying artifacts, and built-in experimentation facilities to reproduce the problems and evaluate solution benchmarks.

Evaluation of the wafer-level voltage ramp test for oxide integrity by Steven Drager ( Book )
1 edition published in 1996 in English and held by 1 library worldwide