Category

Projects

TVS will be at NATEP to discuss “Avionics Safety guidelines” on 12 November 2015

By | Projects | No Comments

Join us at CDN Live EMEA (May 7-9, 2018) where Mike Bartley, Tessolve Founder and CEO will be presenting: “Delivering on the promises of Portable Stimulus”.

NATEP is a national programme under which aerospace supply chain companies are developing more than 100 new technologies for the UK and global aerospace industry.

As one of the first recipients of a NATEP grant, TVS will be at the event to talk about its asureSIGN requirements and verification management product and its extension to provide integrated support for the development of hardware, software and systems under avionics safety guidelines DO-254, DO-178B/C and ARP4754. TVS will also have a stand there where attendees can find out more about what TVS and asureSIGN can offer in the aerospace sector.

It promises to a busy and informative new technology event with participating companies, potential customers and other aerospace industry stakeholders all in attendance.

Event summary:

The very first NATEP Showcase event will celebrate the success of a number of the participating companies and provide an opportunity for them to present their new technologies to the wider world. In addition to this, higher-tier and customer aerospace companies that are supporting NATEP projects will explain why companies ranging from Rolls-Royce, Airbus and Agusta Westland to UTC, Meggitt and Cobham are behind NATEP.

  • NATEP Showcase 2015
  • 12 November, 2015, 9am-4:00pm
  • Advanced Manufacturing Training Centre, Coventry
  • Additional Event Information

Innovate UK V&V of Cyber Physical Systems

By | Projects | No Comments

Innovate UK: V&V of Cyber Physical Systems

In March 2016 we announced that Tessolve had won a grant from Innovate UK, the UK’s innovation agency , to develop advanced Verification and Validation (V&V) techniques that can cope with the increasing size and complexity of modern Cyber Physical Systems (CPS). Read the press release.

Subsequently, in June 2016, it was confirmed that Tessolve is the project lead and will be working with the University of Bristol and end user CPS developers, including Thales, Dyson and SCISYS, to better understand how to apply today’s proven hardware verification techniques to the verification of software, and specifically to investigate the tooling required for the successful testing of CPS control software.

Mike Bartley Founder
& CEO, T&VS

What Can We Learn from Hardware Verification?

Developers of CPS have recognised that the current techniques for software V&V will not scale as CPS become increasingly complex. The hardware verification industry faced a similar issue 20 years ago and so developed new verification techniques to overcome them. These techniques are now widely adopted and developers are now able to verify that the increasingly complex hardware they create will meet its functional requirements quickly and efficiently so that it reaches its target market in a timely fashion.

Project Blog and Additional Resources

  • Slides: Training on “Advanced Verification Techniques” used in the first meeting
  • Slides : “Functional Coverage” and assertions from the first meeting

Project Background

The Tessolve project is part of the Innovate UK and Defence Science and Technology Laboratory (DSTL) competition for funding that is investing up to £580,000 into ‘Software Verification & Validation for Complex Systems’. The funding is aimed at stimulating innovation throughout the software development lifecycle (SDLC) while focusing on the verification and validation (V&V) of two classes of complex systems: Cyber Physical Systems (CPS) and systems with emergent behaviours.

Innovate UK is the UK’s innovation agency. It works with people, companies and partner organisations to find and drive the science and technology innovations that will grow the UK economy. For further information, visit: www.innovateuk.gov.uk

Contact

For additional information on the project please contact Dr. Mike Bartley (Tessolve Founder and CEO) at: mike@testandverification.com

Tessolve Part of Consortium Developing Connected and Autonomous Vehicles

By | Projects | No Comments

£4.2 million CAPRI project will culminate in trials of an autonomous mobility service
at Queen Elizabeth Olympic Park, UK

3 May 2017, BRISTOL, UK – Tessolve (Test and Verification Solutions), a leading verification services provider for semiconductor IP, hardware and software, today announced that it is part of the consortium that has secured more than £4.2 million of funding from Innovate UK and the Centre for Connected & Autonomous Vehicles (CCAV).

The project will deliver a pilot scheme that could pave the way for the use

of connected and autonomous vehicles to move people around airports, hospitals, business parks, shopping and tourist centres.

Mike Bartley, CEO and Founder said, “Our experience in safety and security verification will help enable the project to deliver technical solutions for CAVs that provide real-world benefits to users while making sure they operate reliably, safely and securely.”

The pilot project, includes the design, development and testing of new autonomous and connected Pods on-Demand (PODs), culminating in on-road public trials at London’s Queen Elizabeth Olympic Park.

The AECOM-led CAPRI (Connected & Autonomous POD on-Road Implementation) consortium brings together 20 partnering organisations, including Tessolve, that have a wide range of skills, knowledge and needs in the CAVs arena. The project will include the development of the next generation of PODs, as well as the systems and technologies that will allow the vehicles to navigate safely and seamlessly in both pedestrian and road environments.

The CAPRI consortium was awarded the funding as part of a CCAV and Innovate UK competition to invest £35 million in industry-led research and development projects on CAVs.

About Tessolve

Tessolve (Test and Verification Solutions Ltd) provides services and products to organisations developing complex products in the microelectronics and embedded systems industries. Such organisations use Tessolve to verify their hardware and software products, employ industry best practice and manage peaks in development and testing programmes. Tessolve embedded software testing services includes onsite/offshore testing support including assistance with safety certification and security testing. Tessolve hardware verification services include onsite/offshore verification support and training in advanced verification methodologies. Tessolve also offers Verification IPs and its own Verification (EDA) signoff tool.

Tessolve Company Contact

  • Dr. Mike Bartley – Founder and CEO, Tessolve

mike@testandverification.com

Tessolve Contributes to PEnDAR Project

By | Projects | No Comments

Tessolve Contributes to PEnDAR Project

A Feasibility Study Into the Cost-Effective Capture, Validation and Verification of the Performance (and Resource Cost) of Complex Systems During the Design Process

PEnDAR (Performance ENsurance by Design, Analysing Requirements) is an InnovateUK funded collaborative project between Test and Verification Systems (Tessolve), Predictable Network Solutions (Lead Participant), and Vodafone Group.

With society’s increasing dependence on Information and Communications Technology (ICT) the need for better means to predict and assure the performance of critical infrastructure grows. Today, the performance of large-scale Cyber Physical Systems and System of Systems is often an unplanned emergent property that can vary substantially during operational lifetime. Although this hazard is sometimes validated as part of system commissioning, it often finds its way into deployed systems, impinging on the systems usefulness as well as increasing the total lifetime cost.

The PEnDAR project is a study into the feasibility of systematically considering both performance and resource costs early in the system development lifecycle (SDLC). The goal is to consider how to enable the Validation & Verification of cost and performance in the field of distributed and hierarchical systems via sophisticated but easy-to-use tools.

It is thought likely that this approach will be applicable to both new and established systems and be able to support both initial and ongoing incremental development.

This feasibility study aims to investigate the technical issues involved in effectively incorporating the mature mathematical techniques already available to capture, validate and verify the performance (and resource cost) of such complex systems during the design process rather than as an emergent property from the design process.

As part of this collaborative project Tessolve investigated the following critical items and incorporated the results into the final project report.

  • The feasibility of integrating performance V&V into a safety standards-compliant process suitable for safety-critical applications such as automotive.
  • Extending existing standards-compliant requirement sign-off tools to manage the capture and decomposition of performance/resource V&V requirements into specifications, features and sign-off criteria.
  • How the performance V&V process can be incorporated into a standards-compliant workflow for safety-critical applications.
  • Assessed the potential savings of performance/resource V&V in automotive software development and the potential benefits of applying a similar methodology in the SoS integration market.

Deliverables – Slideshare & Recordings

  • Software V&V for Complex Systems
  • Webinar 1-3: Recordings
  • Webinar 3: Summarising the findings
  • Webinar 2: Validating quantified performance requirements
  • Webinar 1: Outlining the challenges

The findings from the study are planned to be presented as a paper in a special issue of IEEE Design & Test.

The findings from the study are planned to be presented as a paper in a special issue of IEEE Design & Test.

Find Out More

If you would be interested in applying the lessons from this project to your business please contact one of our V&V consultants today.

Tessolve Bring V&V Expertise to Innovate UK Funded Autonomous Commerical Vehicles Project

By | Projects | No Comments

Read the coverage from Freight in the City

Dubbed “RoboPilot”, the project will see Charge Automotive lead a consortium, including Tessolve, to bring autonomous racing technology to the light commercial vehicle market and demonstrate SAE level 4 autonomy.
RoboPilot features in the second stream of Connected and Autonomous Vehicle (CAV2) projects that were recently awarded £31m of Innovate UK led funding. The CAV2 projects are focused in the areas of vehicle energy reduction and air quality improvements.

Tessolve will work to accelerate the ‘safety’ components of the consortiums vision, working with partners on the verification and validation of the complex cyber physical systems involved in autonomous vehicle deployment.

RoboPilot combines input from sensors around the vehicle such as radars, cameras, ultrasonics and lidars (light sensors to measure the distance to a target object) with mapping, artificial intelligence and fleet information, which is then acted on by autonomous software.

The project will initially develop & demonstrate autonomous driving functionality for an electric delivery van, which can then be adapted and rolled out to larger trucks and buses.

Mike Bartley, CEO and Founder of Tessolve said, “It is great to have our expertise in the verification and validation of advanced driverless technology recognised by Innovate UK. We look forward to working with our consortium partners to spearhead the development of the UK’s world-leading autonomous vehicle technology.”

Tessolve Contribution

  • Charge Automotive Ltd (Lead)
  • AXA UK plc
  • Loughborough University
  • University of West of England
  • University of Bristol
  • UPS UK Ltd
  • South Gloucestershire Council
  • Test and Verification Solutions Ltd
  • Thales UK Limited

About CAV

The Centre for Connected and Autonomous Vehicles (CCAV) is a joint unit of the department for Business, Energy and Industrial Strategy and the Department for Transport. CCAV is a single point of contact for those in industry, academia and internationally set up to keep the UK at the forefront of the development of connected and autonomous vehicle technology.

Tessolve to Present at AESIN 2017 on October 3, 2017 – The Premier UK Auto Electronics Conference

By | Projects | No Comments

At this year’s AESIN 2017 Conference (Automotive Electronic Systems Innovation Network) Dr. Mike Bartley, Founder and CEO of Tessolve, will present the latest updates on the recently announced CAPRI Project – which brings together an experienced consortium of partners from industry, academia and local authorities to deliver a complete end to end POD (Pods on-demand) mobility service.

Presentation Abstract

The CAPRI consortium builds upon current research and development work within Connected and Autonomous Vehicles and will take this forward to specify the next generation of PODs capable of seamlessly transferring between the on-road and pedestrian environments and harnessing V2X connectivity.

The consortium aims to collate sufficient evidence from the deployment trials and simulation testing to support PODs becoming a recognised vehicle classification for use on public roads and so enable the next generation of PODs capable of safely travelling at on-road speeds on public roads.

The presentation at AESIN 2017 will first discuss two of the main technical objectives of the project:

Verifying and validating the safety and security of the next generation of PODs for both the on and off road environment.
Collating sufficient evidence to support PODs as a new vehicle classification.
The presentation will then go on to consider the solutions being investigated by the project, specifically:

  • Security solutions for the main POD use cases
  • Verification methodologies for the software deployed on the PODs in both simulation and physical test environments
  • Both of the above activities will be informed by a detailed accidentology at the start of the project

Presentation Schedule

  • AESIN 2017 – Tuesday, October 3, 2017.
  • National Motorcycle Museum next to Birmingham Airport
  • Talk: Verifying and Validating the Safety and Security of Connected and Autonomous Vehicles
  • Presented by Mike Bartley, CEO and Founder of Tessolve
  • Tuesday, October 3, 2017 at 3:40pm
  • Track 2: Research and Development
  • Register for the Conference
  • Follow @UKAESIN and @testandverif on Twitter

About AESIN

The UK has strong credentials in the automotive sector from the University R&D base through to the seven volume car and eight commercial vehicle manufacturers. Times are changing and the race is on. The market winners in this race will be the automotive companies that engage in open innovation practices, developing new partnerships in a technology fuelled eco-system enabled by intelligent systems and connectivity. We are proud to introduce a dedicated UK initiative focused on the accelerated and advanced delivery of Electronic Systems into the car and infrastructure: Automotive Electronic Systems Innovation Network or ‘AESIN’.

The AESIN Conference 2017, builds on the success in previous years and is now being established as the premier UK Automotive Electronics Conference. This year the organisers expect an even bigger and better show with more than 200 delegates expected and capacity for over 20 exhibitors at the popular National Motorcycle Museum next to Birmingham Airport. Along with headline keynotes from Industry and updates from Government, there will be parallel technical tracks covering the six key workstream areas covered by AESIN which include:

  • ADAS & AV
  • Automotive Electronics Security
  • Connected Car
  • More Electric Powertrain
  • Research & Development
  • Software

Tessolve to present CAPRI & RoboPilot project updates at Autonomous Vehicle Software Symposium, June 2018

By | Projects | No Comments

Join us at the Autonomous Vehicle Software Symposium (5-7 June, 2018 – Stuttgart, Germany) where Tessolve will be presenting the latest research findings and progress from two Innovate UK funded projects; CAPRI and RoboPilot. Both projects are looking at developing Autonomous Vehicles and in this talk Tessolve will be specifically reporting on the latest research into verifying and

validating their safety and security.

About the CAPRI Project

The CAPRI project brings together an experienced consortium of partners from industry, academia and local authorities, working together to deliver a complete end to end POD (Pods on-Demand) mobility service. The consortium aims to collate sufficient evidence from the deployment trials and simulation testing to support PODs becoming a recognised vehicle classification for use on public roads.

About the RoboPilot Project

The project dubbed ‘RoboPilot‘ features in the second stream of Connected and Autonomous Vehicle (CAV2) projects that were recently awarded £31m of Innovate UK led funding. As part of the RoboPiloy project Tessolve are working to accelerate the ‘safety’ components of the consortiums vision, working with partners on the verification and validation of the complex cyber physical systems involved in autonomous vehicle deployment.

The Symposium Presentation

The Tessolve presentation at the conference is titled: “Verification Techniques for Safety and Security in Autonomous Vehicle Software” and will discuss the range of methodologies being investigated for verifying the software deployed in automous vehicles in both simulation and physical test environments. In addition it will look at the safety and security issues and how the ongoing results from the projects are feeding into the evidence base to support Autonomous Vehicles and PODs as new vehicle classifications.

Event at a Glance

  • Talk: Verification Techniques for Safety and Security in Autonomous Vehicle Software
  • Present by: Mike Bartley, Tessolve Founder and CEO
  • Event: Autonomous Vehicle Software Symposium 2018
  • Date: 5-7 June, 2018
  • Location: Stuttgart, Germany

Tessolve to present on “Delivering on the promises of Portable Stimulus” at Cadence CDN Live USA

By | Projects | No Comments

Join us at CDN Live Silicon Valley, USA (April 10-11, 2018) where Mike Bartley, Tessolve Founder and CEO will be presenting: “Delivering on the promises of Portable Stimulus”.

In the talk Mike will cover:

  • An introduction to the Portable Stimulus Standard (PSS)
  • Achieving Shift Left: Showing a system level scenario
  • PSS and Cadence’s Perspec System Verifier adoption – a practical guide

Download the Presentation

  • Delivering on the Promises of Portable Stimulus – Portability and Reuse

Full Abstract

As products become more complex and market windows continue to shrink, efficiency in product development can translate directly into competitive advantage. We understand what improves efficiency in verification: abstraction and reuse; but how to achieve that? Accellera are looking to address this through the Portable Stimulus Specification (PSS). The reuse revolution started in design IP and has contributed hugely to design efficiency. Verification IP soon followed in the form of eVC and latterly UVC but these miss the main point: the currency of verification is stimulus (and checkers, of course). Verification has to deal with multiple dimensions of reuse:

  • Hierarchy (block, subsystem, SoC, system)
  • Platform (simulation, emulation, FPGA prototype, Silicon)
  • Project (reuse from one project to the next)

In this presentation Mike will look at how PSS and Cadence’s Perspec System Verifier can help deliver real reuse along all of these through abstraction.

About the Conference

CDNLive Silicon Valley brings together Cadence technology users, developers, and industry experts for networking, sharing best practices on critical design and verification issues, and discovering new techniques for designing advanced silicon, SoCs, and systems.

How Can Tessolve Help you with Portable Stimulus

As a leading expert in test and verification and having worked on numerous test and stimulus projects it is natural that Tessolve have been closely tracking the development of PSS since its inception and have worked closely with many of the companies on the Accellera Portable Stimulus Working Group. With the growing availability of tools supporting PSS Tessolve are now ideally placed to provide expert, independent advice to our clients on the use of PSS and to undertake verification projects based on the growing number of tools that support the standard.

Event at a Glance

  • Talk: Delivering on the promises of Portable Stimulus”
  • Presented by: Mike Bartley, Tessolve Founder and CEO
  • Event: Cadence CDN Live USA
  • Date: April 10-11, 2018
  • Location: Santa Clara Convention Center – Santa Clara, CA

How Can Tessolve Help with Portable Stimulus?

Tessolve are a leading expert in test and verification and having worked on numerous complex test and stimulus projects and are therefore ideally placed to provide expert, independent advice on the use of Portable Stimulus and to undertake verification projects based on the standard. Read More: Tessolve and Portable Stimulus

Tessolve to present on “Delivering on the promises of Portable Stimulus” at Cadence CDN Live EMEA

By | Projects | No Comments

Join us at CDN Live EMEA (May 7-9, 2018) where Mike Bartley, Tessolve Founder and CEO will be presenting: “Delivering on the promises of Portable Stimulus”.

In the talk Mike will cover:

  • An introduction to the Portable Stimulus Standard (PSS)
  • Achieving Shift Left: Showing a system level scenario
  • PSS and Cadence’s Perspec System Verifier adoption – a practical guide

As products become more complex and market windows continue to shrink, efficiency in product development can translate directly into competitive advantage. We understand what improves efficiency in verification: abstraction and reuse; but how to achieve that? Accellera are looking to address this through the Portable Stimulus Specification (PSS). The reuse revolution started in design IP and has contributed hugely to design efficiency. Verification IP soon followed in the form of eVC and latterly UVC but these miss the main point: the currency of verification is stimulus (and checkers, of course). Verification has to deal with multiple dimensions of reuse:

  • Hierarchy (block, subsystem, SoC, system)
  • Platform (simulation, emulation, FPGA prototype, Silicon)
  • Project (reuse from one project to the next)

In this presentation Mike will look at how PSS and Cadence’s Perspec System Verifier can help deliver real reuse along all of these through abstraction.

About the Conference

CDN Live EMEA brings together Cadence technology users, developers, and industry experts for networking, sharing best practices on critical design and verification issues, and discovering new techniques for designing advanced silicon, SoCs, and systems.

How Can Tessolve Help you with Portable Stimulus

As a leading expert in test and verification and having worked on numerous test and stimulus projects it is natural that Tessolve have been closely tracking the development of PSS since its inception and have worked closely with many of the companies on the Accellera Portable Stimulus Working Group. With the growing availability of tools supporting PSS Tessolve are now ideally placed to provide expert, independent advice to our clients on the use of PSS and to undertake verification projects based on the growing number of tools that support the standard.

Event at a Glance

  • Talk: Delivering on the promises of Portable Stimulus”
  • Presented by: Mike Bartley, T&VS Founder and CEO
  • Event: CDN Live EMEA
  • Date: May 07-09, 2018
  • Location: INFINITY Hotel & Conference Resort Munich—Unterschleissheim, Germany

How Can Tessolve Help with Portable Stimulus?

Tessolve are a leading expert in test and verification and having worked on numerous complex test and stimulus projects and are therefore ideally placed to provide expert, independent advice on the use of Portable Stimulus and to undertake verification projects based on the standard. Read More: Tessolve and Portable Stimulus