Participating 
     Organizations 
  Research   
     Topics 
  People 
   

formalWARE 
    results  

  Overview 
  Publications 
  Presentations 
  Tools   
  Methods 
  Examples   
  Training 

formalWARE  
  information  

  Events 
  Index  
  Links   
  Contacts

This paper presents a process for the refinement of safety-critical source code into a more tractable representation. For large software-intensive information systems, the safety engineering view of the system reveals a "long thin slice" of hazard-related software involving a number of different software components. The hazard-related software is documented in the system "safety verification case" which provides a rigorous argument for the safety of the source code. The refinement process creates a representation of the source code which isolates the relevant source code details. A hypothetical chemical factory information system is examined to illustrate aspects of this process and its significance.   
 

Download postscript(411 k) (viewable with recent versions of ghostview) 
Download PDF 

Presented at Ada-Europe'98, Uppsala, Sweden, June 8-12 1998.  

The copyright of this paper is held by Springer-Verlag and appears in Volume 1411 of the Lecture Notes in Computer Science. 
 

.