Esprit ’89 pp 582-593 | Cite as

System Measurement and Architecture Techniques (SMART)

  • M. K. Crowe
  • J. A. Carrasco
Conference paper

Abstract

The SMART project aims to assist the designers of real-time fault-tolerant (RT/FT) systems by providing a number of specially-developed tools within an open environment. The tools developed within the SMART environment support dependability evaluation, fault tree analysis, and simulation of real-time architectures. The SMART environment is open sp that designers of RT/FT systems can add their own tools to it.

Keywords

Semantic Network Fault Tree Smart Environment Frame Type Fault Tree Analyser 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Kuntzmann, A (1986) ‘SMART: System Measurement and Architecture Techniques’, ESPRIT project proposal.Google Scholar
  2. Musa, J. D. (1987) ‘Software Reliability Measures: Guiding Software Development for Cost-Effective System Quality’, ESEC ’871st Europoean Software Engineering Conference (Tutorial 2).Google Scholar
  3. Johansen, H. K. (1988) ‘Dependability Evaluation of Real-Time Fault-Tolerant Systems’, SMART working paper, CRI Copenhagen.Google Scholar
  4. Laprie, J. C. (1985) ‘Dependable Computing and Fault-Tolerance: Concepts and Terminology’, Proc. 15th Int Symp on Fault-Tolerant Computing, pp. 2–11.Google Scholar
  5. Wensley, J. H. (1978) ‘SIFT: Design and Analysis of a Fault-tolerant Computer for Aircraft Control’, Proceedings of the IEEE, vol. 66, no. 10, pp. 1240–1255.CrossRefGoogle Scholar
  6. Geist, R. M. and Trivedi, K. S. (1983) ‘Decomposition in reliability analysis of fault-tolerant systems’, IEEE Transactions on Reliability, vol. R-32, pp. 463–468.CrossRefGoogle Scholar
  7. McGough, J., Smotherman, M., and Trivedi, K. S. (1985) The conservativeness of reliability estimates based on instantaneous coverage’, IEEE Transactions on Computers, vol. C-34, pp. 602–609.CrossRefGoogle Scholar
  8. Carrasco, J. A. and Figueras, J. (1986) ‘METFAC: Design and Implementation of a Software Tool for Modelling and Evaluation of Complex Fault-Tolerant Computing Systems’, Proc 16th Int Symp on Fault-Tolerant Computing, pp. 424–429.Google Scholar
  9. Carrasco, J. A. (1989) ‘A high-level modelling language for fault-tolerant computer systems’, SMART working paper, UPC Barcelona.Google Scholar
  10. Goyal, A., Carter, W. C., de Souza e Silva, E., Lavenberg, S. S., and Trivedi, K. S. (1986) The System Availability Estimator’, Proc 16th Int Symp on Fault-Tolerant Computing, pp. 84–89.Google Scholar
  11. Sotta, J. P. (1988) ‘Modelling the Ariane System’, SMART working paper.Google Scholar
  12. Leveson, N. G. and Stolzy, J. L. (1985) ‘Safety Analysis using Petri Nets’, Proc 15th Int Symp on Fault-Tolerant Computing.Google Scholar
  13. Fulton, J. (1988) X Window System, Version 11, X Consortium, MIT Laboratory for Computer Science.Google Scholar
  14. Goldberg, A. (1983) ‘The Influence of an Object-Oriented Language on the Programming Environment’, ACM Computer Science Conference, pp. 35–44, Orlando, Florida.Google Scholar
  15. Ritchie, D. M. and Thompson, K. (1978) The Unix Time Sharing System’, The Bell System Technical Journal, vol. 56, no.6, pp. 1905–1929. Unix is a trademark of AT&T Bell Laboratories.Google Scholar
  16. US Dept of Defense (1980) ‘Requirements for Ada Programming Support Environments’, STONE- MAN.Google Scholar
  17. ESPRIT (1985) PCTE: A Basis for a Portable Common Tool Environment. (Functional Specification)Google Scholar
  18. Crowe, M. K. and Oram, J. W. (1989) ‘An Applicationlevel Frame Server’, SMART Technical report, Paisley College of Technology.Google Scholar
  19. Minsky, M. (1980) ‘A framework for representing knowledge’, in Mind design: Philosophy, psychology, and artificial intelligence, ed. J Haugeland, MIT Press, Cambridge, Mass.Google Scholar
  20. Heidelberg, P. and Goyal, A. (1987) ‘Sensitivity Analysis of Continuous Time Markov Chains using Uniformization’, Proc of the 2nd Int Workshop on Applied Mathematics and Performance/Reliability Models of Computer/Communication Systems, Rome.Google Scholar
  21. Singh, C., Billington, R., and Lee, S. Y. (1977) The Method of Stages for Non-Markov Models’, IEEE Transactions on Reliability.Google Scholar
  22. Conway, A. E. and Goyal, A. (1987) ‘Monte Carlo Simulation of Computer System Availability/Reliability Models’, Proc 17th Int Symp on Fault-Tolerant Computing, pp. 230–235.Google Scholar

Copyright information

© ECSC, EEC, EAEC, Brussels and Luxembourg 1989

Authors and Affiliations

  • M. K. Crowe
    • 1
  • J. A. Carrasco
    • 2
  1. 1.Dept of Computing SciencePaisley College of TechnologyPaisleyScotland
  2. 2.Departament d’Enginyeria ElectronicaUniversitat Politecnica de CatalunyaBarcelonaSpain

Personalised recommendations