Developing safety-critical software within a CASE environment

P Croll, Patrick Nixon

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Abstract

    One area of interest of the Parallel Processing Research Group at Sheffield is the software engineering of embedded real-time industrial control applications. Many of these applications are considered as safety-critical. Formal techniques are often cited as highly reliable for both software development methods and formally proven hardware. It is envisaged that, for the foreseeable future, such rigorous techniques will rarely be applied in the full to the majority of industrial applications. CASE can, therefore, provide a standardised framework to encourage the development of more dependable software. As it stands, are CASE packages adequate for the analysis required to determine safeness, or can they at least indicate potential unsafeness, for these applications? The authors have investigated the use of a method (D. Hatley, 1988) from which the StP CASE tools. This raises several questions with regard to safety-critical applications some of which this paper addresses
    LanguageEnglish
    Title of host publicationUnknown Host Publication
    Number of pages2
    VolumeNo. 19
    Publication statusPublished - 1991
    EventColloquium on Computer Aided Software Engineering Tools for Real-Time Control - London
    Duration: 1 Jan 1991 → …

    Conference

    ConferenceColloquium on Computer Aided Software Engineering Tools for Real-Time Control
    Period1/01/91 → …

    Fingerprint

    Software engineering
    Computer hardware
    Industrial applications
    Processing

    Keywords

    • n/a

    Cite this

    Croll, P., & Nixon, P. (1991). Developing safety-critical software within a CASE environment. In Unknown Host Publication (Vol. No. 19)
    Croll, P ; Nixon, Patrick. / Developing safety-critical software within a CASE environment. Unknown Host Publication. Vol. No. 19 1991.
    @inproceedings{a920201ab0fb4bdea0d622707ba69a71,
    title = "Developing safety-critical software within a CASE environment",
    abstract = "One area of interest of the Parallel Processing Research Group at Sheffield is the software engineering of embedded real-time industrial control applications. Many of these applications are considered as safety-critical. Formal techniques are often cited as highly reliable for both software development methods and formally proven hardware. It is envisaged that, for the foreseeable future, such rigorous techniques will rarely be applied in the full to the majority of industrial applications. CASE can, therefore, provide a standardised framework to encourage the development of more dependable software. As it stands, are CASE packages adequate for the analysis required to determine safeness, or can they at least indicate potential unsafeness, for these applications? The authors have investigated the use of a method (D. Hatley, 1988) from which the StP CASE tools. This raises several questions with regard to safety-critical applications some of which this paper addresses",
    keywords = "n/a",
    author = "P Croll and Patrick Nixon",
    year = "1991",
    language = "English",
    volume = "No. 19",
    booktitle = "Unknown Host Publication",

    }

    Croll, P & Nixon, P 1991, Developing safety-critical software within a CASE environment. in Unknown Host Publication. vol. No. 19, Colloquium on Computer Aided Software Engineering Tools for Real-Time Control, 1/01/91.

    Developing safety-critical software within a CASE environment. / Croll, P; Nixon, Patrick.

    Unknown Host Publication. Vol. No. 19 1991.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    TY - GEN

    T1 - Developing safety-critical software within a CASE environment

    AU - Croll, P

    AU - Nixon, Patrick

    PY - 1991

    Y1 - 1991

    N2 - One area of interest of the Parallel Processing Research Group at Sheffield is the software engineering of embedded real-time industrial control applications. Many of these applications are considered as safety-critical. Formal techniques are often cited as highly reliable for both software development methods and formally proven hardware. It is envisaged that, for the foreseeable future, such rigorous techniques will rarely be applied in the full to the majority of industrial applications. CASE can, therefore, provide a standardised framework to encourage the development of more dependable software. As it stands, are CASE packages adequate for the analysis required to determine safeness, or can they at least indicate potential unsafeness, for these applications? The authors have investigated the use of a method (D. Hatley, 1988) from which the StP CASE tools. This raises several questions with regard to safety-critical applications some of which this paper addresses

    AB - One area of interest of the Parallel Processing Research Group at Sheffield is the software engineering of embedded real-time industrial control applications. Many of these applications are considered as safety-critical. Formal techniques are often cited as highly reliable for both software development methods and formally proven hardware. It is envisaged that, for the foreseeable future, such rigorous techniques will rarely be applied in the full to the majority of industrial applications. CASE can, therefore, provide a standardised framework to encourage the development of more dependable software. As it stands, are CASE packages adequate for the analysis required to determine safeness, or can they at least indicate potential unsafeness, for these applications? The authors have investigated the use of a method (D. Hatley, 1988) from which the StP CASE tools. This raises several questions with regard to safety-critical applications some of which this paper addresses

    KW - n/a

    M3 - Conference contribution

    VL - No. 19

    BT - Unknown Host Publication

    ER -

    Croll P, Nixon P. Developing safety-critical software within a CASE environment. In Unknown Host Publication. Vol. No. 19. 1991