The University of Southampton

VERTIGO - Verification and Validation of Embedded System Design Workbench

Date:
2006-2008
Themes:
Formal Methods, Design, Automation, Simulation and Optimisation
Funding:
European Commission

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.

Primary investigator

  • Joao Marques-Silva

Secondary investigators

  • Jordi Planes
  • Paulo De Oliveira Cantante De Matos
  • John Colley

Partners

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

Associated research group

  • Dependable Systems & Software Engineering
Share this project FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×