ECS Intranet:
Automated Validation of Business Critical Systems with Component Based Designs

The objective of this programme 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

Homepage: http://www.ecs.soton.ac.uk/~ph/abcd.htm
Type: Normal Research Project
Themes: Formal Methods, Software Engineering, Systems Engineering, Business Process Modelling
Dates: 1st February 2000 to 30th September 2003

Partners

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

Funding

• EPSRC

Principal Investigators

• ph
• [hidden]
• uun
• Dr Andrew M Gravell

Other Investigators

• Dr Yvonne M Howard
• jca

You can edit the record for this project by visiting http://secure.ecs.soton.ac.uk/db/projects/editproj.php?project=97