By Topic

Software, IEE Proceedings -

Issue 4 • Date Aug 2001

Filter Results

Displaying Results 1 - 4 of 4
  • Permabase: predicting the performance of distributed systems at the design stage

    Publication Year: 2001 , Page(s): 113 - 121
    Cited by:  Papers (1)
    Save to Project icon | Click to expandAbstract | PDF file iconPDF (1432 KB)  

    The paper describes the Permabase project, funded by BT, which produced prototypes to predict software performance automatically at the systems design stage. It discusses the Permabase rationale and describes the architecture and details of the prototype systems and its validation using case studies. It discusses the use of UML as a mechanism for capturing the information needed for performance pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Formal semantics of an industrially applicable variant of the Specification and Description Language

    Publication Year: 2001 , Page(s): 141 - 148
    Save to Project icon | Click to expandAbstract | PDF file iconPDF (856 KB)  

    The paper models the Specification and Description Language (SDL) for systems that rely on one buffer for both process communication and task scheduling. The need for this arose because Ericsson Telecommunications Ltd. has developed a system that is built on this architecture and wants to use SDL as an implementation language. The scope has been limited to defining the semantics of SDL that relate... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Specification and validation of dynamic systems using temporal logic

    Publication Year: 2001 , Page(s): 135 - 140
    Cited by:  Papers (1)  |  Patents (1)
    Save to Project icon | Click to expandAbstract | PDF file iconPDF (784 KB)  

    A specification and validation technique for dynamic systems is proposed. In particular, a new temporal logic called HDTL, is presented and the tableau method revised for automatic analysis. Using a freeze quantifier, HDTL with the revised tableau method makes it possible to specify the correctness requirements of dynamic systems and validate them. The proposed logic is rather generic, i.e. it has... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Rate-based packet scheduling paradigm

    Publication Year: 2001 , Page(s): 122 - 134
    Save to Project icon | Click to expandAbstract | PDF file iconPDF (1688 KB)  

    One of the most important issues in providing timely and predictable communication services is the packet scheduling algorithms used at the end/intermediate nodes in the network. A generic rate-based scheduling paradigm that can serve as a vehicle for implementing existing well-known rate-based packet scheduling algorithms is presented. The proposed scheduling paradigm is general enough to encompa... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.