By Topic

Safety Critical Software in Vehicle and Traffic Control, IEE Colloquium on

Date 13-13 Feb. 1990

Filter Results

Displaying Results 1 - 10 of 10
  • The role of formal methods in developing safety-critical software

    Publication Year: 1990, Page(s):9/1 - 9/3
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (179 KB)

    Formal methods use the rigour of mathematics to strengthen the process of software development, leading to lower risk, higher quality and better control of costs and timescales. The use of these methods is growing and practical experience is already quite widespread. Nevertheless, several fallacies still surround formal methods-for example that they are primarily for proving that programs are corr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • System architectures for safety critical automotive applications

    Publication Year: 1990, Page(s):4/1 - 4/3
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (180 KB)

    As vehicle electronic control systems increase in both complexity and control authority there must be a commensurate increase in our ability to design and implement these systems safely. Sources of failure are described, and architectures for systems with and without a safe state are discussed. The use of common specifications, hardware and software are all seen as hazardous for very high integrit... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • On the development of a high quality software design methodology for automotive applications

    Publication Year: 1990, Page(s):6/1 - 6/5
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (212 KB)

    Microprocessor systems are beginning to be used in a variety of safety-critical applications in the automotive industry. Throttle, brake and steering systems are changing from mechanically controlled systems to electrical systems. Thus there is a need for safe and reliable actuators and controllers. The issue of reliability should be considered by the customer from a system viewpoint, since it is ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • DRIVE project V1051-procedure for safety submissions for road transport informatics

    Publication Year: 1990, Page(s):7/1 - 7/4
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (228 KB)

    This paper discusses the on-going movement towards common standards and harmonisation in the application of information technology to European road transport systems, particularly the work of Project V1051, Procedure for Safety Submissions for Road Transport Informatics, in the DRIVE programme. The programme exists because it is expected that the widespread use of computer systems to vehicles and ... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Design for safety

    Publication Year: 1990, Page(s):1/1 - 1/4
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (160 KB)

    Developers coming into safety-related projects for the first time are particularly seeding guidance in microprocessor-based electronics, where the designer has previously been concerned primarily with exacting the most economic utilisation from the minimum component count. This paper summarises some important considerations in design of a safety-related microprocessor-based system. It considers pr... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Introduction of new methods for assuring safety into the software development process

    Publication Year: 1990, Page(s):5/1 - 5/2
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (96 KB)

    Discusses how, without significant retraining, software engineers can adopt techniques to ensure the safety of safety-critical software. It is suggested that one or more specialists in a chosen real-time structured analysis or design technique work with the project team, using the technique in the project, and thereby demonstrate its effectiveness, and incidentally identify its weaknesses for subs... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Safety critical software in traffic control systems

    Publication Year: 1990, Page(s):2/1 - 2/5
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (272 KB)

    Because of the safety implications, certain conditions in road traffic signal systems must be avoided, and it is not acceptable for them to be discovered once the system is in use. The article identifies relevant factors. First, all potential hazards must be identified. The specification needs rigorous analysis; the specifier may be unaware of the types of problems arising in software. Formal meth... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • The design of distributed safety critical software using CSP

    Publication Year: 1990, Page(s):8/1 - 8/5
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (228 KB)

    Generally speaking, traffic control systems using signals are basically complex distributed control systems. These large-scale systems and networks are made up from interacting hierarchically structured subsystems. In order to control such highly complex systems, conventional mechanisms have become inefficient and impractical. The reliance on sophisticated computer control systems to manage such s... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • Vehicle control systems-reliability through simplicity

    Publication Year: 1990, Page(s):3/1 - 310
    Cited by:  Patents (1)
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (348 KB)

    Vehicle electronic control systems have the potential to become unreliable when they grow too complex. By careful design of the whole system, both hardware and software, it is possible to organise the data processing tasks in such a way that the risks associated with software failure are indeed minimal. The validation tools already in widespread use throughout the industry, when rigorously applied... View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.
  • IEE Colloquium on `Safety Critical Software in Vehicle and Traffic Control' (Digest No.031)

    Publication Year: 1990
    IEEE is not the copyright holder of this material | Click to expandAbstract | PDF file iconPDF (12 KB)

    The following topics were dealt with: microprocessor design for safety; traffic signal software development; reliability through simplicity; system architectures; safety assurance methods; road transport informatics; and formal methods in software development View full abstract»

    Full text access may be available. Click article title to sign in or learn about subscription options.