Home | People | Research Projects | Publications | Techreports | Tools | Vacancies | Seminars
This is now an inactive research group it's members have moved on. You can find them at their new research groups:
Research Projects
Formal Methods Projects
Systems Engineering Projects
Software Engineering Projects
EU Funded

DSSE:Research Projects

Methodologies and Technologies for Industrial Strength Systems Engineering
(this project has ended)

The MATISSE project is developing industrial strength methodologies and associated technologies for the engineering of software-based critical systems. These methodologies and technologies will support industry in providing essential services for the information society of the Third Millennium that are highly dependable. The work programme is based on three major industrial case studies representing a spectrum of the essential services for the information society :- an embedded verifier for a smartcard system; a railway signalling and control system and a diagnostic system for healthcare clinicians and researchers. MATISSE will provide :- guidelines that allow formal methods to be integrated into existing systems engineering lifecycles so that higher degrees of safety and reliability can be achieved; methodologies that expand the range of application of these formal methods and enhancements to technologies associated with these formal methods.

Homepage: http://www.matisse.qinetiq.com/
Type: Normal Research Project
Research Group: Dependable Systems & Software Engineering
Themes: Formal Methods, Systems Engineering, Software Engineering
Dates: 1st April 2000 to 31st October 2002


  • QinetiQ
  • ClearSy
  • Gemplus
  • Siemens Transportation Systems
  • Aabo Akademi
  • Centre National de la Recherche Scientifique
  • University of Southampton


  • EU

Principal Investigators

Other Investigators

© School of Electronics and Computer Science of the University of Southampton