FMEIndSem  

Formal methods are mathematically-based approaches to software and system development that support the rigorous specification, design and verification of computer systems. Typical formal methods include VDM, Z, RAISE and LOTOS. They play a strong part in ensuring confidence in the functional correctness of phases of software development. Industrial adoption has been slower than some people had hoped, but there has been steady progress in the penetration of formal methods into industry over the last few years. Formal methods are particularly appropriate for use in high integrity systems and others, such as high volume applications, where the cost of malfunction is high. Indeed, an increasing number of international standards in particular application areas (e.g. aerospace and military systems) recommend or mandate the use of formal methods in the development of high-integrity software. These techniques have recently been used in industrial applications in railway signalling, radio oncology, engine control, computer operating systems and others.

One inhibitor to industrial adoption is the lack of easily available information about applications in which formal methods have been used, the tools which can be obtained, the ease of use of different methods and their applicability for different purposes. Industrial organisations are reluctant to be the first to embark into territory which they regard as unknown when faced with the prospect of employing formal methods for the first time.

The objective of this action is to increase the awareness of organisations developing software, of the existence, potential benefits, and state-of-the-art of formal methods. With reference to past experience, the seminars are intended to teach the situations in which the application of formal methods is appropriate and most beneficial and what the benefits are. Attendees should acquire a clear understanding of the initial investment necessary for a successful use of formal development methods. The seminars will provide pointers to information on further applications of formal methods, teaching resources and course material, and where tools can be obtained.

FMEIndSem Partners ::  

Cap Gemini, The Netherlands   
CRI, Denmark  
K & M, Ireland   
Logikkonsult, Sweden  
SSI, Italy  
Translimina, UK  
TU-Graz, Austria   
University of Newcastle upon Tyne, UK  
Cap Gemini, France  
IFAD, Denmark  

© copyright 2004 | Formal Methods Europe