Join us at the Autonomous Vehicle Software Symposium (5-7 June, 2018 – Stuttgart, Germany) where T&VS 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 T&VS 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 T&VS 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 T&VS 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
At this year’s AESIN 2017 Conference (Automotive Electronic Systems Innovation Network) Dr. Mike Bartley, Founder and CEO of T&VS, presented 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.
Download the Presentation
About the CAPRI Project
Applying Hardware Verification Techniques in Software Testing?
Constrained random techniques
Compliance to ISO26262
Requirements-Driven Test and Verification
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
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 T&VS
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:
Dubbed “RoboPilot”, the project will see Charge Automotive lead a consortium, including T&VS, 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.
T&VS 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 T&VS 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.”
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.
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.
Alternatively call one of our local sales offices.
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 T&VS 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.
£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 – T&VS (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 T&VS, 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.
In March 2016 we announced that T&VS 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 T&VS 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.
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.
“Cyber physical systems will start to touch every part of our life. From robotic vacuum cleaners and online orders delivered by drone, to autonomous cars. Ensuring such systems are fully tested and safe to use can be both expensive and time consuming and thus a potential barrier to market entry. This Innovate UK project will investigate if verification techniques successfully adopted in hardware can be adapted to work with complex CPS software.”
The T&VS 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
For additional information on the project please contact Dr. Mike Bartley (T&VS Founder and CEO) at: [email protected]
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.
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.
The TVS newsletter is aimed at informing you about industry news, events and information from TVS and our industry partners with no selling. It is easy to unsubscribe if we do not fulfil that promise.
So if you want the latest on testing and verification subscribe below.
We never share your information with any third parties.
The 2-day Formal Verification Bootcamp is for design and verification engineers looking to enhance their knowledge of formal verification and to learn how to write effective assertions to find and fix bugs. The course is a mix of presentations and hands-on development exercises.