NDLI: Software fault tolerance in real-time embedded systems

Please wait, while we are loading the content...

Reverse software engineering of a graphics software system

An object-oriented testbed for research in reliable distributed systems

An aposteriori computer security system to identify computer viruses

Sorting by hashing and inserting

The ULowell dataflow project

Priming read and end_of_file

Prototype expert system to evaluate risk factor from hazardous substances

Software fault tolerance in real-time embedded systems

Enhancing CAD/CAM systems communication by understanding engineering machine drawings

Programming expert systems at the K-tree level

Extended rigerous dependency diagrams for designing fully normalized relational databases

Performance comparison of COBOL vs. PASCAL: a comparative investigation

An axiomatic foundation of Dempster-Shafer theory

Optimal & near-optimal space efficient decision diagram algorithms

A study of spatial data management and analysis systems

An expert system to software specification

On generating random permutations with arbitrary distributions

Random points on spheres: a graphics conjecture "proved"

Performance modeling and analysis for a large heterogeneous distributed system: UCLA-SEASnet

An optimal search tree: complete binary search tree

A recurrence relation in uniform hashing

Design of a recursively structured parallel computer

The use of EQUIVALENCE in converting C to Fortran

The dead end of symbolic AI and the connectionist approach

Xref: a universal cross referencer

Statistical analysis of the effect the initial order of an array has on the performance of a sorting algorithm

Rule based programming in C

Buffer management for extensible database systems

COBOL business graphics

The missing clause method and its application to the satisfiability problem

A generalized technique to solve phase-1 linear programming problems with modified phase-2 methods

Technology transfer in the 1990's: evaluating computer-support for cooperative work

An integrated model for automated planning and estimation

A random binary tree generator

Unification of methods for ray tracing a wide class of generalized cylinders with straight line trajectories

Graphical visualization of the topology of token ring network

Exhaustive search strategy for the commonality analysis problem solution space

A combinatorial algorithm for minimizing the number of states of a deterministic finite automation

Parallel homotopy algorithms

Converting a C pointer to an Ada access type

Adaptive training for connectionist state machines

An interpreter for Backus's formal functional programming language

Pascal language extensions for parallel processing

The qualitative problem solving system PHYSYS

Inference in a statistical database a solution with noise

The new COBOL standard

The longest upsequence: a new implementation

The implementation of an exploratory scientific visualization system

Integrating visual cues for the reconstruction of visible surfaces

Theory and practice of software engineering

An introduction to chromatic sums

Operators for modifying polyhedra

The copy-update multimemory

Predicate Transformers as Homomorphisms on Scott's Information Systems

Deadlocks and traps in complete Petri nets

Interactive loop interchanging: a facility for tuning sequential programs to parallel architectures

Bach: a procedural language for specifying polyphonic music

Neural network computers

Interlingua in machine translation

Methodology to design and implement an expert system for aids

Heuristics for ordering of production rules

Data: data to algorithm translator analysis

Definition of menus as an abstract data type

On topologically equivalent dendrograms

An implementation method of multi-viewing on an engineering workstation

An algorithm for machine detection and tracking of moving objects in television images

Human factors implications of text display rates for computer-assisted instruction

Query transformation in a multidatabase environments using a universal symbolic manipulation system

An interactive computer graphics algorithm for fitting model on minimum and non-minimum phase responses

An I/O management system for the iPSC/1 hypercube

An extension to the external path length theorem

A new algorithm for converting arithmetic expressions

Concurrent programming in the shared dataspace paradigm

An expert system for debugging novice programmers' pascal programs

A neural net model of the neuropsychology of spelling processes

Execution and processing time in computer performance measurements

Binary division and square-rooting using Gray code

Learning to bootstrap from examples

Topological data models and approximate retrieval and reasoning

A structure based measurement of software

Constant division algorithms

An architecture for heterogeneous computer integrated manufacturing system

A perspective on teams of robots

Structured flowcharts outperform pseudocode across five measures: an experimental comparison

G-base fourth normal form in relational database

Adaptation of an algorithm by serra to astronomical images: smoothing and finding stars

A set-oriented parallel execution model for Prolog

New strategies for complete game trees

Extensions of pushdown automata and Petri nets

Assembly language program development on the Macintosh

Compilation or interpretation

Quality and expert system technology

An SQL interface to a prolog-based DBMS

A software requirements determinations strategy utilizing provisional solutions

Free logic is a natural logic

An O(N log N) expected time merge heuristic for the planar ETSP

A voice recognition system for computers

A study of factors influencing the productivity of programming teams

The retrieval power of NFQL

Implementation of extended functional programming language on cellular tree and data flow architecture

DEBL: a knowledge-based language for specifying and debugging programs

Rule-based query optimization in IRIS

An interpreter for large knowledge bases

Process-originated migration in a heterogeneous environment

An algorithm based on queue migration for mutual exclusion in computer networks

A concurrency control mechanism based on extendible hashing for main memory database systems

A more cost effective algorithm for finding perfect hash functions

A rule network for efficient implementation of a mixed-initiative reasoning scheme

Derivation from first principles of belief values generated in networks by message passing

Theory formation in artificial intelligence

A new twist to fractals

A dynamic span storing method for hidden surface removal

Postscript, Bezier curves, and chinese characters

A parallel computer system using distributed associative processing

A parallel pipelined data flow coprocessor

The mesh superceded?

FCFS: a novel scheduling policy for tightly-coupled parallel computer systems

Decentralized mutual exclusion in the presence of link failures

Polling in concurrent programming

Macrotasking and microtasking a Navier-Stokes algorithm on the Cray-2

A parallel `make' utility based on Linda's tuple-space

Complete sequential specification allows for concurrent execution

Parallel Sieve algorithms on a hypercube multiprocessor

Using an architectural knowledge base to generate code for parallel computers

Automatic determination of grain size for efficient parallel processing

The cascade fault tolerance message system

The higher radix hypercube as an interconnection and virtual network

Address space virtualization in reconfigurable computers

An optimal linked list prefix algorithms on a local memory computer

An optimal distributed depth-first-search algorithm

Arithmetic algorithms in a proof-oriented set-theoretic language

On the complexity of parsing in graph grammars

Two-level grammars as a technique for formalizing programming schemes

A finite machine description of a lexical analysis using table look-up

The international standardization of Modula-2

Programming style authorship analysis

To correct communicating finite state machines

Flow network reduction for unique topological ordering

An O(KN lg N) algorithm for optimum K-level quantization on histograms of N points

A quasi-distributed architecture for database management systems

Dynamic distributed query processing techniques

An approach for integration of data processing in a distributed enviornment

Reuse of compiler analysis in a programming environment

The design and implementation of the Pascal GENIE

The use of single family of languages for program development

Software fault tolerance in real-time embedded systems

Content Provider	ACM Digital Library
Author	Park, E. K.
Abstract	Many critical embedded systems which have very high reliability requirements operate in real time. Considering the significance of their applications, design of highly reliable software is a very important research area. In the development of reliable real-time embedded applications, fault-tolerance is a very important aspect. Embedded systems which do not include every facility to enhance reliability are unacceptable in the critical applications being considered. Particularly this research is important for systems where the consequences of any noncompliance of software with its requirements may be disastrous. Even though some techniques have been proposed to increase reliability, it is almost always that software still contains residual errors. These errors may have extremely serious consequences especially for critical applications such as military command and control, missile guidance and control system, nuclear power reactor control, transportation, patient monitoring system, etc. Software fault-tolerance techniques are useful in handling these residual errors. Research is being conducted for developing a systematic design methodology with fault-tolerant capabilities for the design of reliable software in real-time embedded applications. In particular, we are currently investigating effective error detection and recovery techniques to provide the continued service required by the embedded system. We will also investigate methodologies to design modules with good error-resistant and self-recovery capabilities. The value and nature of the research project is such that its result will be directly applicable to any practical real-time embedded systems. The serious consequences of faulty software occur in real-time systems, where either human life can be endangered or large economic losses can be incurred due to a failure. While techniques are being perfected to cope with known sources of errors in software, the growth of software complexity continues with a resultant increase in its vulnerability to errors. Although improvements in software development methodologies can undoubtedly reduce the incidence of software faults, the final line of defense rests on testing and verification. However, it is clear that neither formal verification techniques, nor extensive testing can be depended upon to provide the degree of reliability that is required for software in critical applications, especially in real-time embedded systems. Considering the lack of design methodologies which can guarantee that a complex software system does not contain residual design faults, it is surprising that fault tolerance has rarely been considered necessary. In order to achieve fault-tolerance in software, the software must possess the capabilities to detect errors and to recover from the errors. This research is primarily concerned with the development of effective techniques for achieving fault-tolerance in the large-scale embedded applications providing users with continued services in real-time operation in spite of the occurrence of partial malfunctions of the systems. Techniques are being developed using the structural properties of a software so that the techniques will be useful for programs written in different programming languages and operating in different environments. To do this, it is important for us to represent a program by a suitable structural model for analysis so that its structural properties can be conveniently exploited. We have found that the simple directed graph model is most suitable for the project. In this model, the program is represented by a directed graph consisting of a set of nodes and a set of directed branches. A node can represent a computational task, whereas a directed branch can represent possible transfer of control from a node to another. The graph model can represent a program at any level of abstraction in a way easily interpretable by the programmer. Therefore, the real-time software systems are modeled as a set of cooperating sequential processes with constraints on their execution time. Each process corresponds to the execution of program which is part of the system, and provides some subset of the necessary system outputs. The next step is to develop error-resistant programming techniques using the self-checking approach. Self-checking techniques can be implemented to check the function, the control sequence and the data of a program. There are three specific aspects in this part of the proposed research. First, an error classification scheme is being investigated. Types of errors we consider include control flow and data flow errors, module level errors, program level errors, etc. Based on the error classification scheme, developing techniques for error detection and checking data integrity is underway. A Fault-Handler is being developed and utilized to monitor the behavior of the software system for detecting errors. In order to classify errors with reasonable accuracy, it may be necessary for the Fault-Handler to retain information concerning the error history of processes in the system. Effective techniques for recovery is being investigated by making good use of the information retained in the erroneous state and in the Fault-Handler. In order to achieve resistance to errors, the program should contain enough data or information to handle all error conditions intelligently. The techniques for program design using the criteria of error-resistant modularization are also being investigated and suitable recommendations made along with the recovery techniques. Error-resistant modularization seems to involve the identification and localization of recovery data and building a module around them.
Starting Page	431
Ending Page	431
Page Count	1
ISBN	0897912993
DOI	10.1145/75427.1030257
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1989-02-21
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in