IEEE Software

Issue 1 • Jan. 1994

Filter Results

Displaying Results 1 - 14 of 14
  • Critical task of writing dependable software

    Publication Year: 1994, Page(s):16 - 20
    Cited by:  Papers (4)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (817 KB)

    Safety-critical software must perform as desired and should never fail. The need for dependability stems from the fact that the consequences of failure are extremely high, usually a threat to human life. To write such systems, most now agree that we must adopt rigorous techniques, rooted in mathematics.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Experience with formal methods in critical systems

    Publication Year: 1994, Page(s):21 - 28
    Cited by:  Papers (41)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1711 KB)

    Although there are indisputable benefits to society from the introduction of computers into everyday life, some applications are inherently risky. Worldwide, regulatory agencies are examining how to assure safety and security. This study reveals the applicability and limitations of formal methods.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Case study: Darlington nuclear generating station [software-driven shutdown systems]

    Publication Year: 1994, Page(s):30 - 32
    Cited by:  Papers (10)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (494 KB)

    Darlington is a four-reactor nuclear plant east of Toronto. It is operated by Ontario Hydro. Each reactor has two independent shutdown systems: SDS1 drops neutron-absorbing rods into the core, while SDS2 injects liquid poison into the moderator. Both are safety-critical and require high levels of confidence. In 1982, Ontario Hydro, with the concurrence of the Atomic Energy Control Board of Canada ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Retrofitting software safety in an implantable medical device

    Publication Year: 1994, Page(s):41 - 50
    Cited by:  Papers (16)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1956 KB)

    Regulatory agencies are requiring companies to systematically demonstrate software safety in their implantable devices, even those already developed. The authors devised a rigorous software safety analysis technique and applied it to a nearly-completed cardiac rhythm management device. They were able to identify safety faults, modify the software to mitigate them, and verify overall safety.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Assessment of safety-critical specifications

    Publication Year: 1994, Page(s):51 - 60
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1653 KB)

    Formal methods can reduce the ambiguity in specifications and provide a basis for verification later on/spl minus/especially important for safety-critical systems. The author compares specifications in the software cost reduction method and in the Vienna Definition Method for a safety-critical system and identifies several key assessment issues: understandability, assessment criteria, and semantic... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Safety assurance in process control

    Publication Year: 1994, Page(s):61 - 67
    Cited by:  Papers (5)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1065 KB)

    Programmable logic controllers are popular in process-control applications, but the software can be very complex. To make it easier to verify the safety of PLC software, we have created a rigorous process that uses formal specifications of function blocks, which are typically used in safety-critical control and automation applications. Key to the process is the use of Obj, an algebraic language th... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • A dynamic debugger for asynchronous distributed algorithms

    Publication Year: 1994, Page(s):69 - 76
    Cited by:  Papers (3)  |  Patents (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1054 KB)

    LPdbx is a distributed runtime debugger for loosely coupled parallel processors with an iconic interface. When a program suspends, users can insert additional breakpoints and examine global variables, structures, and pointer references. It has been used to debug banking and transportation applications and is available for distribution.<> View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Parallelizing subroutines in sequential programs

    Publication Year: 1994, Page(s):77 - 85
    Cited by:  Papers (2)  |  Patents (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (1557 KB)

    An algorithm for making sequential programs parallel is described, which first identifies all subroutines, then determines the appropriate execution mode and restructures the code. It works recursively to parallelize the entire program. We use Fortran in our work, but many of the concepts apply to other languages. Our hardware model is a shared-memory multiprocessor system with a fixed number of i... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Getting the whole team into usability testing

    Publication Year: 1994, Page(s):89 - 91
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (510 KB)

    Pressure from customers, the trade press, and the competition is causing companies to focus more on delivering usable products. But even when the commitment is there, companies still find it difficult to get their developers to believe in the results of usability tests and to make improvements based on them. The authors report on what Lotus has done to bring developers closer to the process, descr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Anatomy of a software start-up

    Publication Year: 1994, Page(s):92 - 94
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (619 KB)

    Discusses starting and building a business, what an entrepreneur is, and what sets entrepreneurs apart from normal people. The first thing is to plant your stake in the ground. Figure out where you're going and tell everybody about it. The second is never give up. If there's anything that sets entrepreneurs apart from everybody else, it's the ability to get up after you get knocked down. Third, ta... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • How ISO 9001 fits into the software world

    Publication Year: 1994, Page(s):98 - 100
    Cited by:  Papers (7)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (614 KB)

    ISO 9001, together with its companion guide, ISO 9000-3, is a key standard for many suppliers, but its focus is on the control of manufacturing processes. The author considers how this fits into software development and how ISO 9001 stacks up to the US National Institute of Standards and Technology's Malcolm Baldridge Quality Award and the Software Engineering Institutes's Capability Maturity Mode... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Case study: Paris Metro Signaling System

    Publication Year: 1994, Page(s):32 - 28
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (649 KB)

    The developers of this signaling system sought to reduce the separation between trains in the Paris rapid-transit system by 30 seconds, to two minutes. Its developers used formal methods extensively for verification and validation. They were required to convince the RATP (the Paris rapid-transit authority) that the system met safety requirements. This was the first use of safety-critical software ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Case study: Traffic Alert and Collision-Avoidance System

    Publication Year: 1994, Page(s):35 - 28
    Cited by:  Papers (2)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (527 KB)

    First Page of the Article
    View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Case study: Multinet Gateway System

    Publication Year: 1994, Page(s):37 - 28
    Cited by:  Papers (1)
    Request permission for commercial reuse | Click to expandAbstract | PDF file iconPDF (539 KB)

    First Page of the Article
    View full abstract»

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

Aims & Scope

IEEE Software delivers reliable, useful, leading-edge software development information to keep engineers and managers abreast of rapid technology change.

Full Aims & Scope

Meet Our Editors

Editor-in-Chief
Diomidis Spinellis
Athens University of Economics and Business
28is Oktovriou 76
Athina 104 33, Greece
dds@computer.org