European Commission logo
English English
CORDIS - EU research results
Content archived on 2024-04-19

A Comparison of Conventional and Formal Methods in the Development of a Secure System


The primary objective is to determine whether the system design process from requirements capture to software development and test, can be improved by introducing formal methods. Parameters used to make this judgement include the effort expended in the design and evaluation processes and the number of customer requirements which are satisfied on the first design iteration. Other aims are to investigate if using formal methods produces a more reliable product, decreases the time to respond to changes in the customer's requirements and better satisfies the original customer requirements. The experiment should show the level of cost effectiveness of dependable development using VDM (Vienna Developing Method).

BASE produces both security and safety critical systems. There is a wider aim of the application experiment to introduce formal methods into the design and evaluation of these types of systems with the intent of increasing the level at which they can be accredited (certified), or reducing the costs of development of such high levels of dependability, or both.

Call for proposal

Data not available


British Aerospace (Systems and Equipment) Ltd
EU contribution
No data
Clittaford Road Southway
PL6 6DE Plymouth
United Kingdom

See on map

Total cost
No data