By Topic

IEEE Transactions on Software Engineering

Issue 9 • Sept. 1986

Filter Results

Displaying Results 1 - 13 of 13
  • Foreword reliability and safety in real-time systems

    Publication Year: 1986, Page(s):877 - 878
    Request permission for commercial reuse | PDF file iconPDF (877 KB)
    Freely Available from IEEE
  • RT-ASLAN: A specification language for real-time systems

    Publication Year: 1986, Page(s):879 - 889
    Cited by:  Papers (25)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2111 KB)

    RT-ASLAN, a formal language for specifying real-time systems, is an extension of the ASLAN specification language for sequential systems. Some of the features of the ASLAN language, such as constructs for writing procedural semantics in a nonprocedural logical language, are highlighted. The RT-ASLAN language supports specification of parallel real-time processes through arbitrary levels of abstrac... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Safety analysis of timing properties in real-time systems

    Publication Year: 1986, Page(s):890 - 904
    Cited by:  Papers (205)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3282 KB)

    The authors formalize the safety analysis of timing properties in real-time systems. The analysis is based on a formal logic, RTL (real-time logic), which is especially suitable for reasoning about the timing behavior of systems. Given the formal specification of a system and a safety assertion to be analyzed, the goal is to relate the safety assertion to the systems specification. There are three... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On hierarchical design of computer systems for critical applications

    Publication Year: 1986, Page(s):905 - 920
    Cited by:  Papers (19)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3726 KB)

    Considers the design of computer systems that must be trusted to satisfy simultaneously a variety of critical requirements such as human safety, fault tolerance, high availability, security, privacy, integrity, and timely responsiveness, and that must continue to do so throughout maintenance and long-term evolution. Hierarchical abstraction is shown to provide the basis for successive layers of tr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design of reliable software in distributed systems using the conversation scheme

    Publication Year: 1986, Page(s):921 - 928
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1611 KB)

    The problems of error detection and recovery are examined in a number of concurrent processes expressed as a set of communicating sequential processes (CSP). A method is proposed which uses a Petri net model to formally identify both the state and the state reachability tree of a distributed system. These are used to define systematically the boundaries of a conversation, including the recovery an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • PODS — A project on diverse software

    Publication Year: 1986, Page(s):929 - 940
    Cited by:  Papers (31)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2933 KB)

    A review of the Project on Diverse Software (PODS), a collaborative software reliability research project, is presented. The purpose of the project was to determine the effect of a number of different software development techniques on software reliability. The main objectives were to evaluate the merits of using diverse software, evaluate the specification language X-SPEX, and compare the product... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Real-Time Euclid: A language for reliable real-time systems

    Publication Year: 1986, Page(s):941 - 949
    Cited by:  Papers (83)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2294 KB)

    Real-Time Euclid, a language designed specifically to address reliability and guaranteed schedulability issues in real-time systems, is introduced. Real-Time Euclid uses exception handlers and import/export lists to provide comprehensive error detection, isolation, and recovery. The philosophy of the language is that every exception detectable by the hardware or the software must have an exception... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Evaluation of competing software reliability predictions

    Publication Year: 1986, Page(s):950 - 967
    Cited by:  Papers (91)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (3503 KB)

    Different software reliability models can produce very different answers when called on to predict future reliability in a reliability growth context. Users need to know which, if any, of the competing predictions are trustworthy. Some techniques are presented which form the basis of a partial solution to this problem. Rather than attempting to decide which model is generally best, the approach ad... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A statistical methodology for the study of the software failure process and its application to the ARGOS center

    Publication Year: 1986, Page(s):968 - 978
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (2162 KB)

    The authors propose a stepwise statistical methodology for the study of operating system reliability and associated tools. An example of the application of this method for the ARGOS data processing center of France's CNES is presented. It is shown that each evaluation of software reliability is considered as a special case. Two major consequences are that the reliability models need improvement an... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Extensions to an approach to the modeling of software testing with some performance comparisons

    Publication Year: 1986, Page(s):979 - 987
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1987 KB)

    It is shown how a major (and questionable) assumption underlying a previously reported approach to the modeling of software testing can be relaxed in order to provide a more realistic model. Under the assumption of uniform execution the new model is found to perform only marginally better than the previous model, indicating that the uniform execution assumption is a poor one. A nonuniform executio... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The application of formal methods to the assessment of high integrity software

    Publication Year: 1986, Page(s):988 - 993
    Cited by:  Papers (9)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1172 KB)

    A case study is presented in which the Vienna development method (VDM), a formal specification and development methodology, was used during the analysis phase of the assessment of a prototype nuclear reactor protection system. The VDM specification was also translated into the logic language Prolog to animate the specification and to provide a diverse implementation for use in back-to-back testing... View full abstract»

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

    Publication Year: 1986, Page(s):994 - 995
    Request permission for commercial reuse | PDF file iconPDF (241 KB)
    Freely Available from IEEE
  • IASTED conference on reliability and quality control

    Publication Year: 1986, Page(s): 996
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (85 KB)

    THE International Association of Science and Technology for Development (IASTED) Conference on Reliability and Quality Control is to be held at the Palais des Congres in Paris, France. 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