Objetivo
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.
Ámbito científico (EuroSciVoc)
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véase: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
CORDIS clasifica los proyectos con EuroSciVoc, una taxonomía plurilingüe de ámbitos científicos, mediante un proceso semiautomático basado en técnicas de procesamiento del lenguaje natural. Véase: https://op.europa.eu/en/web/eu-vocabularies/euroscivoc.
Para utilizar esta función, debe iniciar sesión o registrarse
Le pedimos disculpas, pero se ha producido un error inesperado durante la ejecución.
Necesita estar autentificado. Puede que su sesión haya finalizado.
Gracias por su comentario. En breve recibirá un correo electrónico para confirmar el envío. Si ha seleccionado que se le notifique sobre el estado del informe, también se le contactará cuando el estado del informe cambie.
Convocatoria de propuestas
Datos no disponiblesRégimen de financiación
CSC -Coordinador
PL6 6DE Plymouth
Reino Unido