Publikation: Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach
Dateien
Datum
Autor:innen
Herausgeber:innen
ISSN der Zeitschrift
Electronic ISSN
ISBN
Bibliografische Daten
Verlag
Schriftenreihe
Auflagebezeichnung
URI (zitierfähiger Link)
Internationale Patentnummer
Link zur Lizenz
Angaben zur Forschungsförderung
Projekt
Open Access-Veröffentlichung
Core Facility der Universität Konstanz
Titel in einer weiteren Sprache
Publikationstyp
Publikationsstatus
Erschienen in
Zusammenfassung
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.
Zusammenfassung in einer weiteren Sprache
Fachgebiet (DDC)
Schlagwörter
Konferenz
Rezension
Zitieren
ISO 690
LEUE, Stefan, 1995. Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach. IFIP WG6.1. Warsaw, Poland, Juni 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. London: Chapman & Hall, 1995, pp. 19-34BibTex
@inproceedings{Leue1995Speci-5619, year={1995}, title={Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach}, publisher={Chapman & Hall}, address={London}, 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} }
RDF
<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/5619"> <dcterms:title>Specifying Real-Time Requirements for SDL Specifications : A Temporal Logic-Based Approach</dcterms:title> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:creator>Leue, Stefan</dc:creator> <dcterms:issued>1995</dcterms:issued> <dcterms:bibliographicCitation>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</dcterms:bibliographicCitation> <dc:format>application/pdf</dc:format> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/5619/1/pecifying_Real_Time_Requirements_for_SDL_Specifications.pdf"/> <dc:contributor>Leue, Stefan</dc:contributor> <foaf:homepage rdf:resource="http://localhost:8080/"/> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:57:15Z</dcterms:available> <dc:rights>Attribution-NonCommercial-NoDerivs 2.0 Generic</dc:rights> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2011-03-24T15:57:15Z</dc:date> <dc:language>eng</dc:language> <dcterms:abstract xml:lang="eng">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.</dcterms:abstract> <bibo:uri rdf:resource="http://kops.uni-konstanz.de/handle/123456789/5619"/> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/5619/1/pecifying_Real_Time_Requirements_for_SDL_Specifications.pdf"/> <dcterms:rights rdf:resource="http://creativecommons.org/licenses/by-nc-nd/2.0/"/> </rdf:Description> </rdf:RDF>