By Topic

IEEE Transactions on Software Engineering

Issue 10 • Date Oct. 1997

Filter Results

Displaying Results 1 - 7 of 7
  • Real-time Systems Symposium (RTSS'96)

    Publication Year: 1997, Page(s): 0_1
    Cited by:  Papers (1)
    Request permission for commercial reuse | PDF file iconPDF (298 KB)
    Freely Available from IEEE
  • Guest Editorial Introduction to the Special Section

    Publication Year: 1997, Page(s):601 - 602
    Request permission for commercial reuse | PDF file iconPDF (37 KB)
    Freely Available from IEEE
  • Structuring communication software for quality-of-service guarantees

    Publication Year: 1997, Page(s):616 - 634
    Cited by:  Papers (15)  |  Patents (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (768 KB)

    We propose architectural mechanisms for structuring host communication software to provide QoS guarantees. We present and evaluate a QoS sensitive communication subsystem architecture for end hosts that provides real time communication support for generic network hardware. This architecture provides services for managing communication resources for guaranteed QoS (real time) connections, such as a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Using CSP to detect errors in the TMN protocol

    Publication Year: 1997, Page(s):659 - 669
    Cited by:  Papers (43)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (272 KB)

    We use FDR (Failures Divergence Refinement), a model checker for CSP, to detect errors in the TMN protocol (M. Tatebayashi et al., 1990). We model the protocol and a very general intruder as CSP processes, and use the model checker to test whether the intruder can successfully attack the protocol. We consider three variants on the protocol, and discover a total of 10 different attacks leading to b... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Bounding completion times of jobs with arbitrary release times, variable execution times and resource sharing

    Publication Year: 1997, Page(s):603 - 615
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (444 KB)

    The workload of many real time systems can be characterized as a set of preemptable jobs with linear precedence constraints. Typically their execution times are only known to lie within a range of values. In addition, jobs share resources and access to the resources must be synchronized to ensure the integrity of the system. The paper is concerned with the schedulability of such jobs when schedule... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Clock trees: logical clocks for programs with nested parallelism

    Publication Year: 1997, Page(s):646 - 658
    Cited by:  Papers (10)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (736 KB)

    A vector clock is a valuable tool for maintaining run time concurrency information in parallel programs. A novel method is presented for modifying vector clocks to make them suitable for programs with nested fork join parallelism (having a variable number of tasks). The resulting kind of clock is called a clock tree, due to its tree structure. The clock tree method compares favorably with other ti... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A multiframe model for real-time tasks

    Publication Year: 1997, Page(s):635 - 645
    Cited by:  Papers (79)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (464 KB)

    The well known periodic task model of C.L. Liu and J.W. Layland (1973) assumes a worst case execution time bound for every task and may be too pessimistic if the worst case execution time of a task is much longer than the average. We give a multiframe real time task model which allows the execution time of a task to vary from one instance to another by specifying the execution time of a task in te... View full abstract»

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

Aims & Scope

The IEEE Transactions on Software Engineering is interested in well-defined theoretical results and empirical studies that have potential impact on the construction, analysis, or management of software. The scope of this Transactions ranges from the mechanisms through the development of principles to the application of those principles to specific environments. Specific topic areas include: a) development and maintenance methods and models, e.g., techniques and principles for the specification, design, and implementation of software systems, including notations and process models; b) assessment methods, e.g., software tests and validation, reliability models, test and diagnosis procedures, software redundancy and design for error control, and the measurements and evaluation of various aspects of the process and product; c) software project management, e.g., productivity factors, cost models, schedule and organizational issues, standards; d) tools and environments, e.g., specific tools, integrated tool environments including the associated architectures, databases, and parallel and distributed processing issues; e) system issues, e.g., hardware-software trade-off; and f) state-of-the-art surveys that provide a synthesis and comprehensive review of the historical development of one particular area of interest.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Matthew B. Dwyer
Dept. Computer Science and Engineering
256 Avery Hall
University of Nebraska-Lincoln
Lincoln, NE 68588-0115 USA
tse-eic@computer.org