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
Formal Methods Projects
Design, Automation, Simulation and Optimisation Projects
European Commission Funded

DSSE:Research Projects

VERTIGO - Verification and Validation of Embedded System Design Workbench
(this project has ended)

VERTIGO addresses a new generation of technologies and tools for modelling and testing embedded platforms, that will be the foundation for a viable and cost-efficient mapping of HW/SW systems embedded in intelligent devices. The contributions of the VERTIGO project include: (1) Definition of an HW/SW co-simulation strategy which allows to check the correctness of the interaction between HW and SW through simulation and assertion checking. (2) A verification framework that combines simulation with model checking to reduce verification time and increase coverage. (3) The development of techniques to separate the verification of IPs interaction from the verification of the IP-cores to facilitate efficient design-reuse. (4) Integration of formal and dynamic techniques in a seamless manner and federated around an assertion-based methodology and new coverage metrics. (5) Integrating several state-of-the-art static verification techniques (SAT, High-Level Decision Diagrams, Hierarchical Petri Nets, EFSMs) to the same platform. (6) Bounded and unbounded model checking capability based on SAT, by selecting and extending the most promising existing solutions. (7) The utilization of hybrid solvers in RTL unbounded model checking, by extending previous work on SAT technology and on SAT extensions.

Homepage: http://www.vertigo-project.eu/
Type: Normal Research Project
Research Group: Dependable Systems & Software Engineering
Themes: Formal Methods, Design, Automation, Simulation and Optimisation
Dates: 1st June 2006 to 30th November 2008

Partners

  • ST Microlectronics, TransEDA, AerieLogic
  • University of Verona, Linkoping University
  • Tallinn University of Technology

Funding

  • European Commission

Principal Investigators

  • jpms

Other Investigators

  • jp3
  • pocm06r
  • [hidden]

Associated Publications

Welcome to ePrints Soton - ePrints Soton

Welcome to ePrints Soton

ePrints is no longer available to login or deposit outputs, although you can still use ePrints for searching.

All research outputs must now be deposited in Pure, the University's research information system - https://pure.soton.ac.uk

All records deposited in Pure will appear in ePrints.

For guidance on uploading your outputs to Pure, please consult the Pure support page http://library.soton.ac.uk/openaccess/Pure

For issues and queries on outputs and open access, please contact the ePrints team at eprints@soton.ac.uk or view the University's Pure support pages at: http://www.southampton.ac.uk/research/researcher-support/pure.page

Research outputs already deposited in ePrints will be automatically transferred to Pure.

Datasets will be transferred to Pure over the next few months, please email researchdata@soton.ac.uk with any queries.

Welcome to the University of Southampton Institutional Research Repository ePrints Soton.

Repository Policies & Help

University of Southampton policies regarding the ePrints Soton research repository.
Latest Additions

View items added to the repository in the past week.
Search Repository

Search the repository using a full range of fields. Use the search field at the top of the page for a quick search.
Browse Repository

Browse the items in the repository by subject.
© School of Electronics and Computer Science of the University of Southampton