By Topic

Software Engineering Journal

Issue 3 • Date May 1991

Filter Results

Displaying Results 1 - 6 of 6
  • Real-world software engineering

    Publication Year: 1991, Page(s):68 - 71
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (407 KB)

    Explains what is being done to cope with the real-world problems in information system development: the large size, long timescale, availability and responsiveness. The pervasive theme is that the software engineering paradigm is important but inadequate; the interaction between software and hardware is fundamental. The author considers methods available for predicting software resource needs and ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The design of real-time systems: from specification to implementation and verification

    Publication Year: 1991, Page(s):72 - 82
    Cited by:  Papers (11)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1019 KB)

    Presents an engineering approach to the design of distributed real-time systems, which guarantee hard deadlines and can tolerate a specified set of faults. The methodology covers the stepwise refinement of the given requirements, expressed in the form of real-time transactions, to task and protocol executions. It also includes a timing analysis and dependability evaluation of the still incomplete ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Concurrent C: real-time programming and fault tolerance

    Publication Year: 1991, Page(s):83 - 92
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (824 KB)

    Concurrent C is an upward-compatible parallel extension of C which runs on a variety of uniprocessors and multiprocessors. A concurrent C program consists of a set of processes which execute in parallel and interact with each other by sending messages. Fault-tolerant (FT) concurrent C, an extension of concurrent C, is a tool for writing fault-tolerant distributed programs based on the replication ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • An adaptive scheduling algorithm for fault-tolerant real-time systems

    Publication Year: 1991, Page(s):93 - 100
    Cited by:  Papers (10)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (692 KB)

    Particularly concerned with the deadline mechanism, proposed as a means to design and implement fault-tolerant real-time systems. The computing system considered uses a single-processor machine to run multiple software processes; each of them executes a task in response to periodic requests. Based on redundancy the deadline mechanism assumes that every task is composed of primary and alternate alg... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Requirements engineering for real-time systems

    Publication Year: 1991, Page(s):101 - 115
    Cited by:  Papers (4)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1464 KB)

    Outlines techniques to support requirements engineering for real-time systems. The nature of real-time embedded systems requirements are discussed. Some key areas that may be expected to contribute to improved requirements engineering techniques are reviewed. A detailed discussion of the FOREST approach, which has been developed to support requirements engineering for real-time systems, is given a... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Scheduling hard real-time systems: a review

    Publication Year: 1991, Page(s):116 - 128
    Cited by:  Papers (54)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (1272 KB)

    Results of the application of scheduling theory to hard real-time systems are reviewed in this paper. The review takes the form of an analysis of the problems presented by different application requirements and characteristics. Issues covered include uniprocessor and multiprocessor systems, periodic and aperiodic processes, static and dynamic algorithms, transient overloads and resource usage. Pro... View full abstract»

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