|
|
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 Methodologies and Technologies for Industrial Strength Systems Engineering 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) Verifying Shared Memory Communication for Low-Power Multi-core SoCs VERTIGO - Verification and Validation of Embedded System Design Workbench |
|
Trusted Software Agents and Services |
The Trusted Software Agents and Services (TSAS) project is investigating and demonstrating the Trust issues that arise from accessing software services and utilising agent technology in PervasiveComputing environments. The project is developing software/hardware demonstrators with which to explore and highlight trust matters in the context of applications such as home finance or tele-medicine. The project is also examining the appropriate validation techniques that can help to achieve assurance of trustworthiness in such technologies. The project is a part of the DTI Next Wave Technologies and Markets programme. The project is a collaborative effort involving the QinetiQ Distributed Technology Group, together with the Declarative Systems and Software Engineering (DSSE) group, and the Intelligence Agents Multimedia (IAM) group, both at the University of Southampton. Homepage: http://www.trustedagents.co.uk/Type: Normal Research Project Research Groups: Dependable Systems & Software Engineering, Grid and Pervasive Computing Group Themes: Pervasive Computing and Networks, Formal Methods, Security & Trust Dates: 1st January 2003 to ? Partners
Funding
Principal InvestigatorsOther Investigators
|
