Skip to main content
SpringerLink
Log in

Supporting software quality in an integrated safety-critical systems development environment

  • Papers
  • Published:
Software Quality Journal Aims and scope Submit manuscript

Abstract

Research is described, aimed to support traceability in the design of software for safety-critical applications, through the provision of an on-line design journal enabling design decisions and actions to be traced and recorded. The design environment, within which various software design tools may be encapsulated, enables protocol between the user and the design tools to be trapped. This provides software engineering support at the conceptual design stage. An important aim of the research is to enable inferences to be made from the captured protocol, for which the application of artificial intelligence methods is being investigated.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Collins, S. Do deadly errors lurk in unproven software? Article in The European, 25th January 1996.

  2. Lees, B. and Jenkins, D.G. Supporting traceability in conceptual design, IEE Colloquium Digest, Cognitive Artefacts in Design (Institution of Electrical Engineers, London, December 1995).

    Google Scholar 

  3. Elliott, J., Lovering, A. and Gerrard, C. Enhancing safety assurance using security concepts, in Achievement and Assurance of Safety (F. Redmill and T. Anderson, eds) (Springer-Verlag, 1995).

  4. Fenton, N. DATUM; dependability assessment of safety critical systems through the unification of measurable evidence, Safety Critical Systems Workshop, York, November 1994.

  5. Harper, C.J. and Winfield, A. A behaviour-based approach to the design of safety-critical systems, in Proceedings of IEE Colloquium: Knowledge-Based Systems for Safety-Critical Applications, London, May 1994.

  6. Tait, J.L. Building on HAZOP studies to produce knowledge-based systems, in Proceedings of IEE Colloquium: Knowledge-Based Systems for Safety-Critical Applications, London, May 1994.

  7. Fox, J. Expert systems for safety-critical applications: theory, technology and applications, in Proceedings of IEE Colloquium: Knowledge-Based Systems for Safety-Critical Applications, London, May 1994 (Hamza, M., Lees, B. and Irgens, C., eds).

  8. Hesketh, J. and Robertson, D. Communication in safety cases: a semantic approach, in Proceedings of IEE Colloquium: Knowledge-Based Systems for Safety-Critical Applications, London, May, 1994.

  9. Cuilyen, W.J. and Storey, N. Tools and techniques for the testing of safety-critical software, Computing & Control Engineering Journal, 5 (1994) 239–244.

    Google Scholar 

  10. Jenkins, D.G. Capture, indexing and replay of design protocol using the overlay concept, in The Online Design Journal, ECSCW Workshop: Collaborative Editing and Version Control, July 1995.

  11. SEI. The capability maturity model for software, in DARPA Software Technology Conference Proceedings, Los Angeles, CA, April (DARPA, Washington DC, 1992) pp. 1–32.

    Google Scholar 

  12. Dyke, A. A framework for capturing the software design process, in Proceedings of ECAI'94 Workshop: Models and Techniques for Reuse of Designs, Amsterdam, August 1994.

  13. Hamza, M., Lees, B. and Irgens, C. The extension of software metrics in object-oriented development, in Proceedings of SQM95: International Conference on Software Quality Management, Seville, April 1995.

  14. Jenkins, D.G. Supporting design reuse and design traceability in concurrent engineering, in Proceedings of the International Conference on Concurrent Engineering and Electronic Design Automation (CEEDA'96) pp 317–326.

  15. McCabe, T.J. A complexity measure, IEEE Transactions on Software Engineering, 2 (1976) 308–320.

    Google Scholar 

  16. Jenkins, D.G. Adapting a design history editor to deal with concurrent engineering, in Design Issues in Computer-Supported Cooperative Working (CSCW) (D. Rosenberg and C.S. Hutchison, eds.), Computer Supported Cooperative Working Series (Springer-Verlag, 1994).

  17. Shoham, Y. Agent-oriented programming. Technical Report STAN-CS-1335-90, Dept. Computer Science, Stanford University, 1990.

  18. Wooldridge, M.J. and Jennings, N.R. Agent theories, architectures and languages: a survey, in Proceedings of ECAI'94 Workshop on Agent Theories, Architectures and Languages (ATAL94) (M. Wooldridge and N.R. Jennings eds) (SV Publishers, 1993) pp. 1–39.

  19. Lees, B. and Irgens, C. Knowledge-based support for quality in engineering design, in Proceedings of the 11th International Conference on Expert Systems and their Applications, Avignon, May, 1991, pp. 257–266.

  20. Kolodner, J. Case-Based Reasoning (Morgan Kaufmann, 1993).

  21. Crowe, M.X.. Cooperative Work with Multimedia (Springer-Verlag, Berlin, 1994).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing & Information Systems, University of Paisley, PA1 2BE, Paisley, Scotland, UK

    B. Lees & D. G. Jenkins

Authors
  1. B. Lees
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. D. G. Jenkins
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lees, B., Jenkins, D.G. Supporting software quality in an integrated safety-critical systems development environment. Software Qual J 5, 117–125 (1996). https://doi.org/10.1007/BF00419775

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00419775

Keywords

Search

Navigation