Community Research and Development Information Service - CORDIS

Online methodological handbook for critical systems development

A unique handbook for critical software for future methodologies and enhanced operational efficiencies has been developed to help pave the way for applications of the third millennium.
Online methodological handbook for critical systems development
Employing the Formal Methods of mathematically based software engineering, the MATISSE (Methodologies and Technologies for Industrial Strength Systems Engineering) project supports validation checks throughout the entire development cycle. Such checks include proof techniques, model-checking and simulation techniques, thus enabling the foundation guidelines to be established as well as the expansion of methodologies and technological enhancements.

Structured into three components for different software engineering proficiencies, the handbook permits the reader to read either the entire document or as 3 separate and related documents. The introductory material is aimed at the managerial level whilst serving as an introduction to the project management section, and is concluded with the practitioner's section, which includes practical working examples.

All in all, the 316-page document outlines the reasons for the software model and is based upon the analysis and experience of 3 industrial case studies. The two established case studies that have provided the cornerstone for the spectrum of future application potential are an embedded verifier for multi-application smart-card systems, and a railway signalling and control system. Whilst the third is a diagnostic system for healthcare, but as of yet this is untested; however the respective partner concerned is keen to realise the industrial benefits for their organisation.

The critical software itself is developed in such a way that most of the methods can be integrated into existing systems engineering lifecycles, thus minimising ongoing and future development costs. These methodologies then expand the range of applications of the formal methods and provide enhancements to technologies that are associated with such formal methods. In a nutshell, the project aims to exploit and enhance existing generic methods that are associated with technically critical software based applications.

Thus MATISSE will be able to nurture software engineering benefits far greater than could otherwise be realised, because the application benefits will exist beyond the actual project lifetime. The French Research University offers the use of its complementary software engineering tools to future partners who are interested in integrating their heterogeneous formal methods into this methodology. The complete 316-page document is permanently accessible at the following URL

Related information

Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top