eCite Digital Repository

Developing safety-critical software within a CASE environment


Croll, P and Nixon, Paddy, Developing safety-critical software within a CASE environment, Colloquium on Computer Aided Software Engineering Tools for Real-Time Control, 24-24 April 1991, London , pp. 2/1 - 2/4 . (1991) [Refereed Conference Paper]


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

Item Details

Item Type:Refereed Conference Paper
Research Division:Information and Computing Sciences
Research Group:Software engineering
Research Field:Software testing, verification and validation
Objective Division:Information and Communication Services
Objective Group:Information systems, technologies and services
Objective Field:Information systems, technologies and services not elsewhere classified
UTAS Author:Nixon, Paddy (Professor Paddy Nixon)
ID Code:69352
Year Published:1991
Deposited By:Research Division
Deposited On:2011-04-20
Last Modified:2011-05-19

Repository Staff Only: item control page