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

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

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

Design, Automation, Simulation and Optimisation Projects

NOTOS: New algOrithm for LTL mOdel checking with Satisfiability

Paradigm Unifying System Specification Environments for proven Electronic design

VERTIGO - Verification and Validation of Embedded System Design Workbench

European Commission Funded

OMII-Europe Open Middleware Infrastructure Institute for Europe

Rigorous Open Development Environment for Complex Systems (RODIN)

VERTIGO - Verification and Validation of Embedded System Design Workbench

DSSE:Research Projects

You are in: DSSE Research 456

COCONUT: A Correct-by-Construction Workbench for Design and Verification of Embedded Systems
(this project has ended)

Type: Normal Research Project
Research Group: Dependable Systems & Software Engineering
Themes: Embedded Systems, Formal Methods, Design, Automation, Simulation and Optimisation
Dates: 1st January 2008 to 30th June 2010

Partners

  • Certess, CEA-LETI, AerieLogic, Fondazione Bruno Kessler
  • University of Verona, Graz University of Technology, University of Paderborn

Funding

  • European Commission

Principal Investigators

  • [hidden]
URI: http://id.ecs.soton.ac.uk/project/456
RDF: http://rdf.ecs.soton.ac.uk/project/456

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