KOPS - Das Institutionelle Repositorium der Universität Konstanz

Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach

Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach

Zitieren

Dateien zu dieser Ressource

Prüfsumme: MD5:3c456bdb0ad7359cfabd6f55e49b0b11

LEUE, Stefan, 1995. Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach. IFIP WG6.1. Warsaw, Poland, Jun 1995. In: DEMBINSKI, Piotr, ed. and others. Protocol specification, testing and verification XV : proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995. IFIP WG6.1. Warsaw, Poland, Jun 1995. London:Chapman & Hall, pp. 19-34

@inproceedings{Leue1995Speci-5619, title={Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach}, year={1995}, address={London}, publisher={Chapman & Hall}, booktitle={Protocol specification, testing and verification XV : proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995}, pages={19--34}, editor={Dembinski, Piotr}, author={Leue, Stefan} }

1995 application/pdf The expressiveness of many state-transition based formal description techniques, e.g. the ITU-TS standardised Specification and Description Language (SDL), does not capture hard real-time requirements. In telecommunications systems engineering, hard real-time requirements, however, are an important class of properties. They occur in the description of progress properties in telecommunications protocols as well as in the specification of real-time related Quality of Service (QoS) requirements. We suggest integrating functional systems properties, given as SDL specifications, with real-time requirements expressed in terms of real-time temporal logic formulas. We call the resulting specifications 'complementary specifications'. First, we show the inexpressiveness of SDL with respect to hard real-time requirements. Next, we define a common model theoretic foundation which allows SDL specifications to be used jointly with temporal logic specifications. Then we give examples of commonly used real-time related QoS requirements, namely delay bound, delay jitter, and isochronicity. We also discuss the specification of various QoS mechanisms, like QoS negotiation, QOS monitoring and jitter compensation. Finally, we point at related formal verification problems. First publ. in: Protocol specification, testing and verification XV : proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995 / hed. by Piotr Dembinski ... London : Chapman & Hall, 1996, pp. 19-34 Leue, Stefan deposit-license 2011-03-24T15:57:15Z Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach 2011-03-24T15:57:15Z eng Leue, Stefan

Dateiabrufe seit 01.10.2014 (Informationen über die Zugriffsstatistik)

pecifying_Real_Time_Requirements_for_SDL_Specifications.pdf 96

Das Dokument erscheint in:

deposit-license Solange nicht anders angezeigt, wird die Lizenz wie folgt beschrieben: deposit-license

KOPS Suche


Stöbern

Mein Benutzerkonto