By Topic

IEE Proceedings - Software

Issue 3 • Date Jun 2000

Filter Results

Displaying Results 1 - 4 of 4
  • Faulty version recovery in object-oriented N-version programming

    Publication Year: 2000, Page(s):81 - 90
    Cited by:  Papers (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (764 KB)

    Many long-running applications would greatly benefit from being able to recover faulty versions in N-version programs since their exclusion from further use undermines the availability of the system. Developing a recovery feature, however, is a very complex and error-prone task, which the author believes has not received adequate attention. Although many researchers are aware of the importance of ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Early generation of performance models for object-oriented systems

    Publication Year: 2000, Page(s):61 - 72
    Cited by:  Papers (3)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (664 KB)

    Exploiting features of the OMT-based object-oriented approach, the paper presents a method for performance assessment early in the lifecycle, and before the design phase. To this end the actor-event graphs (AEG) formalism is presented that provides an intermediate model between specification models and software performance models. The AEG formalism unifies performance relevant information containe... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • FADI: a fault tolerant environment for open distributed computing

    Publication Year: 2000, Page(s):91 - 99
    Cited by:  Papers (5)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (636 KB)

    FADI (fault tolerant distributed environment) is a complete programming environment for the reliable execution of distributed application programs. FADI encompasses all aspects of modern fault-tolerant distributed computing. The built-in user-transparent error detection mechanism covers processor node crashes and hardware transient failures. The mechanism also integrates user-assisted error checks... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The logic of software design

    Publication Year: 2000, Page(s):73 - 80
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (544 KB)

    The authors provide an overview of how logic can be used throughout the software development cycle, and discuss what methods can be introduced in the computer science curriculum to support software development. To see how logic is useful throughout the cycle, they present the WRSM reference model, and illustrate it with simple motivating examples. Reasoning is performed in Logic E, and PVS is used... View full abstract»

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