Dependability of Computer-Based Systems
Resumo
This paper sets out a programme of work in the area of dependability. The research is to be pursued under the aegis of a six-year Inter-Disciplinary Research Collaboration funded by the UK Engineering and Physical Sciences Research Council. The research considers computer-based systems which comprise humans as well as hardware and software. The aim here is to indicate how formal methods ideas, coupled with structuring proposals, can help address a problem which clearly also requires social science input.
Referências
Pierre Collette and Cliff B. Jones. Enhancing the tractability of rely/guarantee specifications in the development of interfering operations. In G. D. Plotkin, editor, Proof, Language and Interaction, chapter 10, pages 275-305. MIT Press, 2000.
Pierre Colette. Design of Compositional Proof Systems Based on Assumption-Commitment Specifications — Application to UNITY. PhD thesis, Louvain-la-Nenve, June 1994.
Patrícia S Churchland and Terrance J Sejnowski. The Computational Brain. MTT Press, 1994.
Jürgen Dingel. Systematic Parallel Programming. PhD thesis, Carnegie Mellon University, 1999.
TJ Howkins, A L Rector, CA Horan, A Nowlan, and A Wilson. An overview of PEN& PAD. Lecture Notes in Medical Informatics, 40:73-78, 1990.
Michael Jackson. Problem Frames: Structring und Analysing Software Development Problems. Addison-Wesley, 2000.
C. B. Jones. Specification and design of (parallel) programs. In Proceedings of IFIP'83, pages 321-332. North-Holland, 1983.
C. B. Jones. Constraining interference in an object-based design method. In M-C. Gaudel and J-P. Jouannaud, editors, TAPSOFT'95, volume 668 of Lecture Notes in Computer Science, pages 136-150. Springer-Verlag, 1993.
Donald MacKenvie. Computer-related accidental death: an empirical exploration. Science and Public Policy, 21:233-248, 1994.
Carroll Morgan, Annabelle McIver, and J W Sanders. Refinement-oriented probability for CSP. Formal Aspects of Computing, 8(6):617-647, 1996.
B. Randell. System structure for fault tolerance. IEEE Transactionns on Software Engineering, SE-1:220-232, 1975.
James Reason. Human Error. Cambridge University Press, 1990.
James Reason. Managing the Risks of Organisational Accidents. Ashgate Publishing Limited, 1997.
John Rushby. Using model checking to help discover mode confusions and other automation surprises. In Proceedings of 3rd Workshop on Human Error, pages 1-18. HESSD'99, 1999.
Mary Shaw and David Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.
C. Stirling. A generalisation of Owicki-Gries's Hoare logic for a concurrent while language. TCS, 58:347-359, 1988.
K. Stølen. Development of Parallel Progrums on Shared Data-Structures. PhD thesis, Manchester University, 1990. available as UMCS-91-1-1.
J. Xu, B. Randell, A. Romanovsky, R. J. Strond, A. Zorro, E. Canver and F. von Henke. Rigorous development os a safety-critical system based on coordinated atomic actions. In Proc. of 29th Int. Symp. Fault-Tollerant Computing. IEEE Computer Society Press, 1999.
Qiwen Xu. A Theory of State-based Parallel Programming. PhD thesis Oxford University, 1992.
Pierre Colette. Design of Compositional Proof Systems Based on Assumption-Commitment Specifications — Application to UNITY. PhD thesis, Louvain-la-Nenve, June 1994.
Patrícia S Churchland and Terrance J Sejnowski. The Computational Brain. MTT Press, 1994.
Jürgen Dingel. Systematic Parallel Programming. PhD thesis, Carnegie Mellon University, 1999.
TJ Howkins, A L Rector, CA Horan, A Nowlan, and A Wilson. An overview of PEN& PAD. Lecture Notes in Medical Informatics, 40:73-78, 1990.
Michael Jackson. Problem Frames: Structring und Analysing Software Development Problems. Addison-Wesley, 2000.
C. B. Jones. Specification and design of (parallel) programs. In Proceedings of IFIP'83, pages 321-332. North-Holland, 1983.
C. B. Jones. Constraining interference in an object-based design method. In M-C. Gaudel and J-P. Jouannaud, editors, TAPSOFT'95, volume 668 of Lecture Notes in Computer Science, pages 136-150. Springer-Verlag, 1993.
Donald MacKenvie. Computer-related accidental death: an empirical exploration. Science and Public Policy, 21:233-248, 1994.
Carroll Morgan, Annabelle McIver, and J W Sanders. Refinement-oriented probability for CSP. Formal Aspects of Computing, 8(6):617-647, 1996.
B. Randell. System structure for fault tolerance. IEEE Transactionns on Software Engineering, SE-1:220-232, 1975.
James Reason. Human Error. Cambridge University Press, 1990.
James Reason. Managing the Risks of Organisational Accidents. Ashgate Publishing Limited, 1997.
John Rushby. Using model checking to help discover mode confusions and other automation surprises. In Proceedings of 3rd Workshop on Human Error, pages 1-18. HESSD'99, 1999.
Mary Shaw and David Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.
C. Stirling. A generalisation of Owicki-Gries's Hoare logic for a concurrent while language. TCS, 58:347-359, 1988.
K. Stølen. Development of Parallel Progrums on Shared Data-Structures. PhD thesis, Manchester University, 1990. available as UMCS-91-1-1.
J. Xu, B. Randell, A. Romanovsky, R. J. Strond, A. Zorro, E. Canver and F. von Henke. Rigorous development os a safety-critical system based on coordinated atomic actions. In Proc. of 29th Int. Symp. Fault-Tollerant Computing. IEEE Computer Society Press, 1999.
Qiwen Xu. A Theory of State-based Parallel Programming. PhD thesis Oxford University, 1992.
Publicado
04/10/2000
Como Citar
JONES, Cliff B..
Dependability of Computer-Based Systems. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 14. , 2000, João Pessoa/PB.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2000
.
p. 16-20.
DOI: https://doi.org/10.5753/sbes.2000.25917.
