Optimum Test Sequence Generation from Estelle Specifications (2004)
Mariusz A. Fecko, M. Umit Uyar, Paul D. Amer, Adarshpal S. Sethi
The recent research results from the Protocol Engineering Lab of the University of Delaware in minimum-length test generation based on Estelle specifications are summarized. The methods use models...
Improving Multiple File Transfers Using SCTP Multistreaming (2003)
We identify overheads associated with FTP, attributed to separate TCP connections for data and control, non-persistence of the data connections, and the sequential nature of command exchanges. We...
Experience in Developing and Testing Network Protocol Software Using FDTs (2002)
Umit Uyar, Mariusz A. Fecko, Ali Y. Duale, Paul D. Amer, Adarshpal S. Sethi
This paper presents the research effort to formally specify, develop and test a complex real-life protocol for mobile network radios (MIL-STD 188-220). As a result, the team of researchers from the...
Making SCTP More Robust to Changeover (2002)
Janardhan R. Iyengar, O L. Caro, Paul D. Amer, Gerard J. Heinz, Randall R. Stewart
Unlike TCP, the Stream Control Transmission Protocol (SCTP) supports IP multihoming at the transport layer. SCTP allows an association to span multiple local and peer IP addresses, and allows the...
A Two-level Threshold Recovery Mechanism for SCTP (2002)
O L. Caro, Janardhan R. Iyengar, Paul D. Amer, Gerard J. Heinz, Randall R. Stewart
One important feature of the Stream Control Transmission Protocol (SCTP) is its network failure detection and recovery mechanism provided by direct support of multihoming. This mechanism is...
SCTP Congestion Window Overgrowth During Changeover (2002)
Janardhan R. Iyengar, O L. Caro, Paul D. Amer, Gerard J. Heinz, Randall R. Stewart
Unlike TCP, the Stream Control Transmission Protocol (SCTP) supports IP multihoming at the transport layer. SCTP allows an association to span multiple local and peer IP addresses, and allows the...
Optimum Test Sequence Generation From Estelle Specifications (2002)
Mariusz A. Fecko, M. Umit Uyar, Paul D. Amer, Adarshpal S. Sethi
The recent research results from the Protocol Engineering Lab of the University of Delaware in minimum-length test generation based on Estelle specifications are summarized. The methods use models...
Mariusz A. Fecko, M. Umit Uyar, Paul D. Amer, Adarshpal S. Sethi, Ted Dzik, Raymond Menell, ...
This paper presents a success story of specifying a complex real-life protocol (MIL-STD 188-220) in Estelle and generating test sequences from the formal specification. 188-220 is being developed in...
Issues in Conformance Testing: Multiple Semicontrollable Interfaces (2002)
Mariusz A. Fecko, M. Lmit Uyar, Adarshpal S. Sethi, Paul D. Amer
In a testing environment, where an IUT communicates with multiple entities, a tester may have differing degrees of controllability on the interactions between these entities and the IUT: directly...
Mariusz A. Fecko, M. Umit Uyar, Paul D. Amer, Adarshpal S. Sethi
Testing Army communications protocols is considered for a testing environment where tester has limited degrees of controllability on applying inputs to an Implementation Under Test. The inputs fall...
Minimum-Cost Solutions for Testing Protocols with Timers (2002)
M. Umit Uyar, Mariusz A. Fecko, Adarshpal S. Sethi, Paul D. Amer
A method to generate a minimum-cost test sequence for a protocol with timers is presented. The protocol timers limit the number of consecutive self-loops that can be realized in a given state. The...
Efficient Test Generation for Army Network Protocols with Conflicting Timers (2002)
Mariusz A. Fecko, M. Umit Uyar, Ali Y. Duale, Paul D. Amer
During the UD's and CCNY's ongoing effort to generate conformance tests for the Army network protocol MIL-STD 188-220, a significant obstacle has been addressed---when multiple timers are running...
Formal Design And Testing Of Mil-Std 188-220a Based On Estelle (2002)
Mariusz A. Fecko, Paul D. Amer, Adarshpal S. Sethi, M. Umit Uyar, Ted Dzik, Raymond Menell, ...
This paper describes the Estelle specification of MIL-STD 188220A Intranet Layer as well as a methodology for generating test sequences for checking the conformance of a protocol implementation to...
Conformance Testing in Systems with Semicontrollable Interfaces (2002)
Mariusz A. Fecko, Umit Uyar, Paul D. Amer, Adarshpal S. Sethi
In a conformance testing environment, an implementation under test (IUT) communicates with multiple entities. A tester may have differing degrees of control on the interactions between these entities...
Testing Protocols Modeled as FSMs with Timing Parameters (2002)
M. Umit Uyar, Mariusz A. Fecko, Adarshpal S. Sethi, Paul D. Amer
An optimization method is introduced for generating minimum-length test sequences taking into account timing constraints for FSM models of communication protocols. Due to active timers in many of...
Generation Of Realizable Conformance Tests Under Timing Constraints (2002)
M. Umit Uyar, Mariusz A. Fecko, Adarshpal S. Sethi, Paul D. Amer
An optimization method is introduced for generating minimum-length test sequences taking into account timing constraints for FSM models of communication protocols. Due to active timers in many of...
Test Generation In The Presence Of Conflicting Timers (2002)
Mariusz A. Fecko, Umit Uyar, Ali Y. Duale, Paul D. Amer
As part of the UD's and CCNY's ongoing effort to generate conformance tests for the Army network protocol MIL-STD 188-220, a significant obstacle has been addressed -- when multiple timers are...
Estimation of Run Times using Signature Table Analysis. (2002)
Mamrak,Sandara A., Amer,Paul D.
Algorithms for managing jobstreams in a complex computer environment often rely on various estimates of job run times. Due to wide variability of run times from one execution of a job to another,...
Umit Uyar, Mariusz A. Fecko, Ali Y. Duale, Paul D. Amer, Adarshpal S. Sethi
This paper presents the research effort to formally specify, develop and test a complex real-life protocol for mobile network radios (MIL-STD 188-220). As a result, the team of researchers from the...
A Practical Effort to Generate Conformance (2001)
This paper describes the exercise of generating conformance tests for Type 2 Connection Oriented Data Link Layer Service for the protocol MIL-STD 188-220B. This effort is a continuum of work done at...
Formal Specification and Conformance Testing of Army Communications Protocols (2001)
Paul D. Amer, Mariusz A. Fecko, Adarshpal S. Sethi, Umit Uyar, Ali Y. Duale
During the past six years, ATIRP-sponsored faculty and students from the University of Delaware and the City College of New York, collaborating with scientists from CECOM and ARL, have helped advance...
Partially-Ordered, Partially-Reliable Transport Service For Multimedia Applications (2001)
Paul D. Amer, Phillip T. Conrad, Edward Golden, Sami Iren, Armando Caro
We demonstrate UD's implementation of transport protocols providing partially-ordered, partially-reliable (PO/PR) service. We are developing two example client/server applications: (1) compressed...
Network-Conscious GIF Image Transmission Over the Internet (2001)
Paul D. Amer, Sami Iren, Gul E. Sezen, Phillip T. Conrad, Mason Taube, Armando Caro
Traditional image compression techniques seek the smallest possible file size for a given level of image quality. By contrast, network-conscious image compression techniques take into account the...
Network-Conscious Compressed Images over Wireless Networks (2001)
Sami Iren, Paul D. Amer, Phillip T. Conrad
. We apply the concept of network-consciousness to image compression, an approach that does not simply optimize compression, but which optimizes overall performance when compressed images are...
Partially Reliable Transport Service (2001)
Rahmi Marasli, Paul D. Amer, Phillip T. Conrad
An analytic model is presented for a partially reliable transport protocol based on retransmissions. The model illustrates tradeoffs between two QoS parameters (delay and throughput), and various...
Partial Order Transport Service: An Analytic Model (2001)
Rahmi Marasli, Paul D. Amer, Phillip T. Conrad, Greg Burch
Traditional transport service is either (1) reliable and ordered (e.g., TCP) or (2) unreliable and unordered (e.g., UDP). Some new computer applications such as multimedia do not fit perfectly with...
Phillip T. Conrad, Paul D. Amer, Rahmi Marasli
Introduction The goals of our researchonpartial-order#partial-reliability #PO#PR# transport protocols #1# are to #1# determine whether there exist applications for which such protocols can provide...
An Analytic Study of Partially Ordered Transport Services (2001)
Rahmi Marasli, Paul D. Amer, Phillip T. Conrad
This paper presents an analytic model for investigating the throughput, delay and buffer utilization characteristics of partially ordered transport services. We analyze the effects of packet and ack...
Network-Conscious Compressed Image Transmission Over Battlefield Networks (2001)
Sami Iren, Paul D. Amer, Armando Caro, Gul Sezen, Mason Taube, Phillip T. Conrad
We introduce an image compression and transmission system for battle#eld networks. The system is based on network-conscious image compression, an approach to compression that does not simply maximize...
Testing Environment For Innovative Transport Protocols (2001)
Phillip T. Conrad, Paul D. Amer, Mason Taube, Gul Sezen, Sami Iren, Armando Caro
This paper describes the development of a test environment for innovative transport protocols. Central to this work is the development of a Universal Transport Library #UTL#. UTL is a library of...
Optimizing Partially Ordered Transport Services For Multimedia Applications (2001)
Rahmi Marasli, Paul D. Amer, Phillip T. Conrad
References [1, 5] introduce a transport protocol... This paper investigates how much the selection of a linear extension affects system performance in a partially ordered service. We first show how...
Partial Order Transport Service for Multimedia and Other Applications (2001)
Paul D. Amer, Christophe Chassot, Thomas J. Connolly, Michel Diaz, Phillip Conrad
Motivated bymultimedia and perhaps other applications, this paper investigates a Partial Order Connection #POC# service#protocol. Unlike classic transport services that deliver objects either in the...
The Transport Layer: Tutorial and Survey (2001)
Sami Iren, Paul D. Amer, Phillip T. Conrad
This paper presents a tutorial on transport layer concepts and terminology, and a survey of transport layer services and protocols. The transport layer protocol TCP is used as a reference point, and...
Web-Integrating Network-Conscious Image Transmission (2001)
Armando L. Caro, Paul D. Amer, Sami Iren, Phillip T. Conrad
This paper describes the development of a new Network-Conscious Image Compression and Trans- mission System (NETCICATS) architecture that may be incorporated into existing web browsers, e.g.,...
Formal Design And Testing Of Mil-Std 188-220a Based On Estelle (2001)
Mariusz Fecko, Paul D. Amer, Adarshpal S. Sethi, M. Umit Uyar, Ted Dzik, Raymond Menell, ...
This paper describes the Estelle specification of MILSTD 188-220A [7] Intranet Layer as well as a methodology for generating test sequences for checking the conformance of a protocol implementation...
Formal Design And Testing Of Army Communication Protocols (2001)
Paul D. Amer, Adarshpal S. Sethi, Mariusz Fecko, Umit Uyar
This paper describes the Estelle speci#cation of MILSTD 188-220A #7# Intranet Layer as well as a methodology for generating test sequences for checking the conformanceofaprotocol implementation to...
Generation of Realizable Conformance Tests under Timing Constraints (2001)
Umit Uyar, Mariusz A. Fecko, Adarshpal S. Sethi, Paul D. Amer
An optimization method is introduced for generating minimum-length test sequences taking into account timing constraints for FSM models of communication protocols. Due to active timers in...
Issues In Conformance Testing: Multiple Semicontrollable Interfaces (2001)
Mariusz A. Fecko, M. Umit Uyar, Adarshpal S. Sethi, Paul D. Amer
In a testing environment, where an IUT communicates with multiple entities, a tester mayhave di#ering degrees of controllability on the interactions between these entities and the IUT: directly...
Optimum Test Sequence Generation From Estelle Specifications (2001)
Mariusz A. Fecko, M. Umit Uyar, Paul D. Amer, Adarshpal S. Sethi
The recent research results from the Protocol Engineering Lab of the University of Delaware in minimum-length test generation based on Estelle speci#cations are summarized. The methods use models...
Minimum-Cost Solutions For Testing Protocols With Timers (2001)
Umit Uyar, Mariusz A. Fecko, Adarshpal S. Sethi, Paul D. Amer
A method to generate a minimum-cost test sequence for a protocol with timers is presented. The protocol timers limit the number of consecutive self-loops that can be realized in a given state. The...
Using Estelle To Evolve Mil-Std 188-220 (2001)
Paul D. Amer, Adarshpal S. Sethi, Mariusz A. Fecko, Theodore Dzik, Raymond Menell, M. Umit, ...
For the past four years, the University of Delaware's Protocol Engineering Lab has been assisting in the US Army's development of MIL-STD 188-220. Initially UD formally speci#ed the Data Link and...
Estelle Specification Of Mil-Std 188-220 Datalink Layer* (2001)
Hao Li, Paul D. Amer, Samuel C. Chamberlain
This paper presents the results of a contract between ARL and the University of Delaware to develop a formal specification of the link layer of 188-220 using the ISO International Standard Formal...
Conformance Testing in Systems with Semicontrollable Interfaces (2001)
Mariusz A. Fecko, Umit Uyar, Paul D. Amer, Adarshpal S. Sethi
In a conformance testing environment, an implementation under test (IUT) communicates with multiple entities. A tester may have differing degrees of control on the interactions between these entities...
Mariusz A. Fecko, M. Umit Uyar, Paul D. Amer, Adarshpal S. Sethi
Testing Army communications protocols is considered for a testing environment where tester has limited degrees of controllability on applying inputs to an Implementation Under Test. The inputs fall...
Application Level Framing Applied to Image Compression (2000)
Two well-known wavelet zerotree encoding algorithms, Embedded Zerotree Encoding (EZW) and Set Partitioning in Hierarchical Trees (SPIHT), provide excellent progressive display when images are...
Test Generation In The Presence Of Conflicting Timers (2000)
Mariusz A. Fecko, Umit Uyar, Ali Y. Duale, Paul D. Amer
As part of the UD's and CCNY's ongoing eort to generate conformance tests for the Army network protocol MIL-STD 188-220, a signi cant obstacle has been addressed|when multiple timers are running...
Improving Multimedia Performance over Lossy Networks via SCTP (2000)
Armando L. Caro, Paul D. Amer, Phillip T. Conrad, Gerard J. Heinz
The Stream Control Transmission Protocol (SCTP) is a new Internet standards track transport layer protocol. SCTP was designed to transport PSTN signaling messages over IP networks, but SCTP is also...
Testing protocols modeled as FSMs with timing parameters (2000)
M. Umit Uyar, Mariusz A. Fecko, Adarshpal S. Sethi, Paul D. Amer
An optimization method is introduced for generating minimum-length test sequences taking into account timing constraints for FSM models of communication protocols. Due to active timers in many of...
SPIHT-NC: Network-Conscious Zerotree Encoding (2000)
Wavelet zerotree encoding has been proven to be an efficient way of compressing still images. Two well-known zerotree encoding algorithms, Embedded Zerotree Encoding (EZW) and Set Partitioning in...
Web-Integrating Network-Conscious Image Transmission (2000)
Armando L. Caro, Paul D. Amer, Sami Iren, Phillip T. Conrad
This paper describes the development of a new Network-Conscious Image Compression and Transmission System (NETCICATS) architecture that may be incorporated into existing web browsers, e.g., Netscape...
Progressively Authenticated Image Transmission (2000)
Network-conscious image compression has been shown to provide faster progressive display than traditional compression algorithms, when images are transmitted over lossy low-bandwidth packet-switched...
Progressively Authenticated Image Transmission (2000)
Network-conscious image compression has been shown to provide faster progressive display than traditional compression algorithms, when images are transmitted over lossy low-bandwidth packet-switched...
Mariusz A. Fecko, Umit Uyar, Paul D. Amer, Adarshpal S. Sethi, Ted Dzik, Raymond Menell, ...
This paper presents a success story of specifying a complex real-life protocol (MILSTD 188-220) in Estelle and generating test sequences from the formal specification. 188-220 is being developed in...
Conformance Testing in Systems with Semicontrollable Interfaces (2000)
Mariusz A. Fecko, Umit Uyar, Paul D. Amer, Adarshpal S. Sethi
In a conformance testing environment, an implementation under test (IUT) communicates with multiple entities. A tester may have differing degrees of control on the interactions between these entities...
Mariusz A. Fecko, M. Umit Uyar, Paul D. Amer, Adarshpal S. Sethi
Testing Army communications protocols is considered for a testing environment where tester has limited degrees of controllability on applying inputs to an Implementation Under Test. The inputs fall...
Efficient Test Generation for Army Network Protocols with Conflicting Timers (2000)
Mariusz A. Fecko, M. Umit Uyar, Ali Y. Duale, Paul D. Amer
During the UD's and CCNY's ongoing effort to generate conformance tests for the Army network protocol MIL-STD 188-220, a significant obstacle has been addressed---when multiple timers are running...
Efficient Test Generation For Army Network Protocols With Conflicting Timers (2000)
Mariusz A. Fecko, M. Umit Uyar, Ali Y. Duale, Paul D. Amer
During the UD's and CCNY's ongoing effort to generate conformance tests for the Army network protocol MIL-STD 188-220, a significant obstacle has been addressed---when multiple timers are running...
Testing Protocols Modeled as FSMs with Timing Parameters (2000)
Umit Uyar, Mariusz A. Fecko, Adarshpal S. Sethi, Paul D. Amer
An optimization method is introduced for generating minimum-length test sequences taking into account timing constraints for FSM models of communication protocols. Due to active timers in many of...
Mariusz A. Fecko, Umit Uyar, Paul D. Amer, Adarshpal S. Sethi, Ted Dzik, Raymond Menell, ...
This paper presents a success story of specifying a complex real-life protocol (MILSTD 188-220) in Estelle and generating test sequences from the formal specification. 188-220 is being developed in...
Testing Protocols Modeled as FSMs with Timing Parameters (2000)
Umit Uyar, Mariusz A. Fecko, Adarshpal S. Sethi, Paul D. Amer
An optimization method is introduced for generating minimum-length test sequences taking into account timing constraints for FSM models of communication protocols. Due to active timers in many of...
Partially Reliable Transport Service (2000)
Rahmi Marasli, Paul D. Amer, Phillip T. Conrad
An analytic model is presented for a partially reliable transport protocol based on retransmissions. The model illustrates tradeoffs between two QoS parameters (delay and throughput) , and various...
Phillip T. Conrad, Edward Golden, Paul D. Amer, Rahmi Marasli
We investigate the benefits of using a partially-ordered/partially-reliable (PO/PR) transport service for multimedia document retrieval over the Internet by implementing a prototype system. We...
Network-Conscious GIF Image Transmission Over the Internet (2000)
Paul D. Amer, Sami Iren, Gul E. Sezen, Phillip T. Conrad, Mason Taube, Armando Caro
Traditional image compression techniques seek the smallest possible file size for a given level of image quality. By contrast, network-conscious image compression techniques take into account the...
Network-Conscious Compressed Images over Wireless Networks (1999)
Sami Iren, Paul D. Amer, Phillip T. Conrad
. We apply the concept of network-consciousness to image compression, an approach that does not simply optimize compression, but which optimizes overall performance when compressed images are...
The Transport Layer: Tutorial and Survey (1999)
Sami Iren, Paul D. Amer, Phillip T. Conrad
ing with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute to lists, or to use any component of this work in other works, requires prior specific permission...
The Transport Layer: Tutorial and Survey (1999)
Sami Iren, Paul D. Amer, Phillip T. Conrad
ing with credit is permitted. To copy otherwise, to republish, to post on servers, to redistribute to lists, or to use any component of this work in other works, requires prior specific permission...
NETCICATS: Network-Conscious Image Compression and Transmission System (1999)
Sami Iren, Paul D. Amer, Phillip T. Conrad
. NETCICATS is a software system for empirically evaluating network-conscious image compression, an approach that does not simply optimize compression, but which optimizes overall performance when...
Paul D. Amer, Phillip T. Conrad, Edward Golden, Sami Iren, Armando Caro
We demonstrate UD's implementation of transport protocols providing partially-ordered, partiallyreliable (PO/PR) service. We are developing two example client/server applications: (1) compressed...
Network-Conscious Compressed Images over Wireless Networks (1999)
Sami Iren, Paul D. Amer, Phillip T. Conrad
. We apply the concept of network-consciousness to image compression, an approach that does not simply optimize compression, but which optimizes overall performance when compressed images are...
Paul D. Amer, Phillip T. Conrad, Edward Golden, Sami Iren, Armando Caro
We demonstrate UD's implementation of transport protocols providing partially-ordered, partiallyreliable (PO/PR) service. We are developing two example client/server applications: (1) compressed...
NETCICATS: Network-Conscious Image Compression and Transmission System (1999)
Sami Iren, Paul D. Amer, Phillip T. Conrad
. NETCICATS is a software system for empirically evaluating network-conscious image compression, an approach that does not simply optimize compression, but which optimizes overall performance when...