DSSE
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

> browse all
> browse by theme
> browse by funding

Formal Methods Projects

Automated Validation of Business Critical Systems with Component Based Designs

COCONUT: A Correct-by-Construction Workbench for Design and Verification of Embedded Systems

DEPLOY

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

Trusted Software Agents and Services

Verifying Shared Memory Communication for Low-Power Multi-core SoCs

VERTIGO - Verification and Validation of Embedded System Design Workbench

Systems Engineering Projects

Automated Validation of Business Critical Systems with Component Based Designs

DEPLOY

Methodologies and Technologies for Industrial Strength Systems Engineering

Paradigm Unifying System Specification Environments for proven Electronic design

RICES Reasoning about Information Consistency across Enterprise Solutions

Dependable Systems Projects

Customization and Adaptation of Automatically Generated Code

OMII-Europe Open Middleware Infrastructure Institute for Europe

ReSIST: Resilience for Survivability in IST

European Commission Funded

COCONUT: A Correct-by-Construction Workbench for Design and Verification of Embedded Systems

OMII-Europe Open Middleware Infrastructure Institute for Europe

VERTIGO - Verification and Validation of Embedded System Design Workbench

DSSE:Research Projects

You are in: DSSE Research 283

Rigorous Open Development Environment for Complex Systems (RODIN)
(this project has ended)

Homepage: http://rodin.cs.ncl.ac.uk/
Type: Normal Research Project
Research Group: Dependable Systems & Software Engineering
Themes: Formal Methods, Systems Engineering, Dependable Systems
Dates: 1st September 2004 to 31st August 2007

Partners

  • University of Newcastle upon Tyne, UK (Coordinator)
  • Aabo Akademi University, Turku, Finland
  • ClearSy System Engineering, France
  • Nokia Corporation, Finland
  • Praxis Critical Systems Ltd, UK
  • AT Engine Controls Ltd, UK
  • Swiss Federal Institute of Technology, Zurich, Switzerland

Funding

  • European Commission

Principal Investigators

Other Investigators

URI: http://id.ecs.soton.ac.uk/project/283
RDF: http://rdf.ecs.soton.ac.uk/project/283

More information on ECS URIs and RDF
© School of Electronics and Computer Science of the University of Southampton