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

Annals of Software Engineering

Volumn 7, Issue 1-4, 1999, Pages 5-24

  Bastani, Farokh B ^a  

^a The University of Texas at Dallas   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033466641     PISSN: 10227091     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018950608266     Document Type: Article

References (28)

1. Adams, T. (1996), "Total Variance Approach to Software Reliability Estimation," IEEE Transactions on Software Engineering 22, 9, 687-688.
2. Agrawal, H. and J.R. Horgan (1990), "Dynamic Program Slicing," In Proceedings of ACM SIGPLAN, ACM Press, New York, NY, pp. 246-256.
3. Al-Marzooq, T., B. Cukic and F.B. Bastani (1993), "Hierarchical Program Transformation for Parallel Machines," International Conference on Parallel and Distributed Systems, Taipei, Taiwan, pp. 29-36.
4. Ammann, P.E., S.S. Brilliant and J.C. Knight (1994), "The Effect of Imperfect Error Detection on Reliability Assessment via Life Testing," IEEE Transactions on Software Engineering 20, 2, 142-148.
5. Ammann, P.E. and J.C. Knight (1987), "Data Diversity: An Approach to Software Fault Tolerance," In Proceedings 17th International Symposium on Fault-Tolerant Computing, IEEE Computer Society Press, Los Alamitos, CA, pp. 122-126.
6. Avizienis, A. and L. Chen (1977), "On the Implementation of N-Version Programming for Software Fault Tolerance During Program Execution," In Proceedings of the IEEE Computer Software and Applications Conference, IEEE Computer Society, Los Alamitos, CA, pp. 149-155.
7. Bacon, D.F., S.L. Graham and O.J. Sharp (1994), "Compiler Transformations for High-Performance Computing," ACM Computing Surveys 26, 4, 345-420.
8. Bastani, F.B. (1984), "Performance Improvement of Abstractions through Context Dependent Transformations," IEEE Transactions on Software Engineering 10, 1, 100-116.
9. Bastani, F.B. and B. Cukic (1996), "Impact of Program Transformation on Software Reliability Assessment," In IEEE Workshop on High-Assurance Systems Engineering, IEEE Computer Society Press, Los Alamitos, CA.
10. Bastani, F.B. and A. Pasquini (1994), "Assessment of a Sampling Method for Measuring Safety-Critical Software Reliability," In 5th IEEE International Symposium on Software Reliability Engineering, IEEE Computer Society Press, Los Alamitos, CA, pp. 93-102.
11. Bauer, F.L., B. Moller, H. Partsch and P. Pepper (1989), "Formal Program Construction by Transformations - Computer-Aided, Intuition-Guided Programming," IEEE Transactions on Software Engineering 15, 2, 165-180.
12. Butler, R.W. and G.B. Finelli (1993), "The Infeasibility of Quantifying the Reliability of Life-Critical Real-Time Software," IEEE Transactions on Software Engineering 19, 1, 3-12.
13. Cukic, B. and F.B. Bastani (1994) "Automatic Array Alignment as a Step in Hierarchical Program Transformation," In International Parallel Processing Symposium, IEEE Computer Society Press, Los Alamitos, CA, pp. 578-582.
14. Cukic, B. and F.B. Bastani (1996), "On Reducing the Sensitivity of Software Reliability to Variations in the Operational Profile," In IEEE International Symposium on Software Reliability Engineering, IEEE Computer Society Press, Los Alamitos, CA.
15. Dijkstra, E.W. (1975), "Guarded Commands, Nondeterminacy, and Formal Derivation of Programs," Communications of the ACM 18, 8, 453-457.
16. Hamilton, M.A. (1996), "Java and the Shift to Net-Centric Computing," IEEE Computer 29, 8, 31-39.
17. IEEE Computer (1996) 29, 10, 16.
18. Jamoussi, A. and F.B. Bastani (1996), "Efficient Monte Carlo Method for Generating Random Test Data from Irregular Test Regions," In 8th International Conference on Software Engineering and Knowledge Engineering.
19. Knight, J.C. and N.G. Leveson (1986), "An Experimental Evaluation of the Assumptions of Independence in Multiversion Programming," IEEE Transactions on Software Engineering 12, 1, 96-109.
20. Laprie, J.C. and B. Littlewood (1992), "Probabilistic Assessment of Safety-Critical Software: Why and How," Communications of the ACM 35, 2, 13-21.
21. Leveson, N.G. (1991), "Software Safety in Embedded Computer Systems," Communications of the ACM 34, 2, 34-46.
22. Littlewood, B. (1994), "Learning to Live with Uncertainty on our Software," In Proceedings of the 2nd International Software Metrics Symposium, IEEE Computer Society Press, Los Alamitos, CA.
23. Lorczak, P.R., A.K. Caglayan and D.E. Eckhardt (1989), "A Theoretical Investigation of Generalized Voters for Redundant Systems," In Proceedings of the 19th International Symposium on Fault-Tolerant Computing, IEEE Computer Society Press, Los Alamitos, CA, pp. 444-451.
24. Miller, K., L.J. Morell, R.E. Noonan, S.K. Park, D.M. Nicol, B.W. Murrill and J.W. Voas (1992), "Estimating the Probability of Failure When Testing Reveals no Failures," IEEE Transactions on Software Engineering 18, 1, 33-44.
25. Porter, A. and R.W. Selby (1990), "Empirically Guided Software Development Using Metric-Based Classification Trees," IEEE Software 7, 2.
26. Randell, B. (1975), "System Structure for Software Fault Tolerance," IEEE Transactions on Software Engineering 1, 6, 220-232.
27. Vouk, M.A., D.F. McAllister, D.E. Eckhardt and K. Kim (1993), "An Empirical Evaluation of Consensus Voting and Consensus Recovery Block Reliability in the Presence of Failure Correlation," Journal of Computer and Software Engineering 1, 4, 367-388.
28. Weiser, M. (1984), "Program Slicing," IEEE Transactions on Software Engineering 10, 4, 352-357.