Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
A B C D - Automated Validation of   Business Critical Systems with   Component Based   Designs
[go: Go Back, main page]
University of Southampton - Electronics and Computer Science
A B C D

Automated Validation of  
Business Critical Systems with  
Component Based  
Designs

Objectives

The objective of this project is:
1. to increase the uptake of formal modelling in the business critical systems industry.
We plan to achieve this by:
2. lowering the cost of entry and
3. increasing the benefits of using formal modelling.
We will be able to:
4. lower the cost by building a repository of generic models of systems and components;
5. increase the benefits by making verification and validation of critical systems available to real system architects;
6. lower the cost and increase the benefits by providing automated tool support.

The focus is on support of system definition and architectural design so that the systems integrator can more easily model systems and validate proposed system architectures.

Job openings

We are currently looking for three PostDocs and any number of PhD students for the project. See our advertisement

The full text of the proposal is available (html, postscript, and Latex+ Bibliography).
The press release is here and there is also an ABCD Power point poster.

Investigators

Sponsors

EPSRC ICL IBM Roke Manor Research Praxis Critical Systems
Praxis Critical Systems