Literature Database Entry

schieferdecker1994performance-oriented

Ina Kathrin Schieferdecker, "Performance-Oriented Specification of Communication Protocols and Verification of Deterministic Bounds of their QoS Characteristics," PhD Thesis, School of Electrical Engineering and Computer Science (EECS), TU Berlin (TUB), November 1994. (Advisor: Adam Wolisz; Referees: Adam Wolisz, Radu Poescu-Zeletin and Bernd Wolfinger)

Abstract

The need for Performance considerations at each level of the communication protocol development process arose and were forced by the advances in high speed networks and the evolution of new communication services with their rigorous Quality of Service (QoS) requirements. This dissertation presents an approach for the QoS-oriented design of communication protocols using formal specifications. It includes a specification technique for the performance-oriented behavior description of communication protocols, a real-time temporal logic for the description of deterministic bounds, which are a special kind of QoS requirements, and decision procedures for verifying the fulfillment of deterministic bound by a given communication protocol. The developed performance-oriented specification technique LOTOTIS extends LO TOS - a standardized specification technique based on process algebras - by means of quantified time, quantified parallelism, quantified nondeterminism, and monitoring of system execution. The central concept are structured actions which allow very concise and elegant description of performance-oriented behavior. The presented approach uses a real-time temporal logic called AMTL, the action-based version of MTL, for the description of deterministic bounds of performance characteristics. Deterministic bounds can be proven to be fulfilled by a given LOTOTIS protocol specification provided the specification possesses only a finite - but possibly cyclic - state space. The implementation of the developed verification method is conceived, which allows to investigate realistic communication protocols.

Quick access

BibTeX BibTeX

Contact

Ina Kathrin Schieferdecker

BibTeX reference

@phdthesis{schieferdecker1994performance-oriented,
    author = {Schieferdecker, Ina Kathrin},
    title = {{Performance-Oriented Specification of Communication Protocols and Verification of Deterministic Bounds of their QoS Characteristics}},
    advisor = {Wolisz, Adam},
    institution = {School of Electrical Engineering and Computer Science (EECS)},
    location = {Berlin, Germany},
    month = {11},
    referee = {Wolisz, Adam and Poescu-Zeletin, Radu and Wolfinger, Bernd},
    school = {TU Berlin (TUB)},
    type = {PhD Thesis},
    year = {1994},
   }
   
   

Copyright notice

Links to final or draft versions of papers are presented here to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted or distributed for commercial purposes without the explicit permission of the copyright holder.

The following applies to all papers listed above that have IEEE copyrights: Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.

The following applies to all papers listed above that are in submission to IEEE conference/workshop proceedings or journals: This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible.

The following applies to all papers listed above that have ACM copyrights: ACM COPYRIGHT NOTICE. Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, to republish, to post on servers, or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from Publications Dept., ACM, Inc., fax +1 (212) 869-0481, or permissions@acm.org.

The following applies to all SpringerLink papers listed above that have Springer Science+Business Media copyrights: The original publication is available at www.springerlink.com.

This page was automatically generated using BibDB and bib2web.

Last modified: 2024-04-28