A Unified Approach to Automatic Testing of Architectural Constraints

Architectural decisions are often encoded in the form of constraints and guidelines. Non-functional requirements can be ensured by checking the conformance of the implementation against this kind of invariant. Conformance checking is often a costly and error-prone process that involves the use of multiple tools, differing in effectiveness, complexity and scope of applicability. To reduce the overall effort entailed by this activity, we propose a novel approach that supports verification of human- readable declarative rules through the use of adapted off-the-shelf tools. Our approach consists of a rule specification DSL, called Dicto, and a tool coordination framework, called Probo. The approach has been implemented in a soon to be evaluated prototype.

High-speed UDP Data Transmission with Multithreading and Automatic Resource Allocation

In this paper a utilization of the high data-rates channels by threading of sending and receiving is studied. As a communication technology evolves the higher speeds are used more and more in various applications. But generating traffic with Gbps data-rates also brings some complications. Especially if UDP protocol is used and it is necessary to avoid packet fragmentation, for example for high-speed reliable transport protocols based on UDP. For such situation the Ethernet network packet size has to correspond to standard 1500 bytes MTU[1], which is widely used in the Internet. System may not has enough capacity to send messages with necessary rate in a single-threaded mode. A possible solution is to use more threads. It can be efficient on widespread multicore systems. Also the fact that in real network non-constant data flow can be expected brings another object of study –- an automatic adaptation to the traffic which is changing during runtime. Cases investigated in this paper include adjusting number of threads to a given speed and keeping speed on a given rate when CPU gets heavily loaded by other processes while sending data.

Automatic safety belt usage in 1981 Toyotas. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

Automatic safety belt systems: changes in owner usage over time in GM Chevettes and VW Rabbits. Final report.

National Highway Traffic Safety Administration, Washington, D.C.

Automatic audio signing - literature survey analysis. Interim report, phase 1, task A.

Federal Highway Administration, Washington, D.C.

Automatic sludge blanket control in an operating gravity thickener /

Mode of access: Internet.

Studies of automatic technology : a case study of a company manufacturing electronic equipment.

Cover title.

Review of automatic data processing developments in the Federal Government.

Mode of access: Internet.

Automatic detection of freeway incidents during low volume conditions. Interim report.

Texas State Department of Highways and Public Transportation, Transportation Planning Division, Austin

Ingress clearance requirements and seat positioning for automatic belt systems. Final report.

Mode of access: Internet.

Electrical control system for automatic feed grinding /

Cover title.

Volumetric feed meters : their performance for automatic feeding systems /

Cover title.

Report to the F.T.C. on the use of automatic fuel adjustment clauses and the fuel procurement practices of investor-owned electric utilities.

Primary authors: Michele F. Crown, L. Jorn Dakin, and Douglas W. Webbink.

Cost and leadtime estimates for improved pillar padding, automatic slack adjusters, visual brake adjustment indicators and tractor/trailer ABS connections. Final report.

National Highway Traffic Safety Administration, Washington, D.C.