|
|
Automated Validation of Business Critical Systems with Component Based Designs COCONUT: A Correct-by-Construction Workbench for Design and Verification of Embedded Systems High-Integrity Component-Based Engineering for Enterprise Systems Infinite State Model Checking using Partial Evaluation Modelling and analysis of long running transactions NOTOS: New algOrithm for LTL mOdel checking with Satisfiability Paradigm Unifying System Specification Environments for proven Electronic design Rigorous Open Development Environment for Complex Systems (RODIN) Trusted Software Agents and Services Verifying Shared Memory Communication for Low-Power Multi-core SoCs VERTIGO - Verification and Validation of Embedded System Design Workbench Automated Validation of Business Critical Systems with Component Based Designs Paradigm Unifying System Specification Environments for proven Electronic design RICES Reasoning about Information Consistency across Enterprise Solutions Rigorous Open Development Environment for Complex Systems (RODIN) Automated Validation of Business Critical Systems with Component Based Designs Customization and Adaptation of Automatically Generated Code High-Integrity Component-Based Engineering for Enterprise Systems Infinite State Model Checking using Partial Evaluation RICES Reasoning about Information Consistency across Enterprise Solutions |
|
Methodologies and Technologies for Industrial Strength Systems Engineering |
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 Partners
Funding
Principal InvestigatorsOther Investigators
|
