Relational programs: An architecture for robust real-time safety-critical process-control systems

Authors:
Farokh B. Bastani
Affiliations:
Department of Computer Science, University of Texas at Dallas, MS EC‐31, Box 830688, Richardson, TX 75083, USA E-mail: bastani@utdallas.edu
Venue:
Annals of Software Engineering
Year:
1999

Citing 16
Cited 3

An experimental evaluation of the assumption of independence in multiversion programming

IEEE Transactions on Software Engineering
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming

IEEE Transactions on Software Engineering
Dynamic program slicing

PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Software safety in embedded computer systems

Communications of the ACM
Estimating the Probability of Failure When Testing Reveals No Failures

IEEE Transactions on Software Engineering
Compiler transformations for high-performance computing

ACM Computing Surveys (CSUR)
Total Variance Approach to Software Reliability Estimation

IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Guarded commands, nondeterminacy and formal derivation of programs

Communications of the ACM
Viewpoint

Communications of the ACM
Java and the Shift to Net-Centric Computing

Computer
Empirically Guided Software Development Using Metric-Based Classification Trees

IEEE Software
The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software

IEEE Transactions on Software Engineering
The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing

IEEE Transactions on Software Engineering
Automatic Array Alignment as a Step in Hierarchical Program Transformation

Proceedings of the 8th International Symposium on Parallel Processing
Impact of program transformation on software reliability assessment

HASE '96 Proceedings of the 1996 High-Assurance Systems Engineering Workshop
On reducing the sensitivity of software reliability to variations in the operational profile

ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering

Relational programs

ACM SIGSOFT Software Engineering Notes
Automated Aspect-Oriented Decomposition of Process-Control Systems for Ultra-High Dependability Assurance

IEEE Transactions on Software Engineering
Decomposition of fairness and performance aspects for high assurance continuous process-control systems

HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

We give a formal framework for studying real‐time discrete‐event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes with behaviors in the intersection of the behaviors ...