A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Specifying Real-Time Requirements for SDL Specifications — A Temporal Logic-Based Approach
[chapter]
1996
IFIP Advances in Information and Communication Technology
The expressiveness of many state-transition based formal description techniques, e.g. the ITU-TS standardised Speci cation 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 speci cation of real-time related of Quality of Service (QoS) requirements.
doi:10.1007/978-0-387-34892-6_2
fatcat:6mwm7u376ncwhno6mbq3mp7y64