Kerstin Eder, University of Bristol 2014-04-17T14:32:17+00:00

 

 

Name: Kerstin Eder

Designation: Reader in Design Automation and Verification University of Bristol

Title: Innovations for Testing Parallel Software

Abstract:

Concurrent software exploits the availability of multiple CPU cores on today’s modern hardware platforms in an effort to improve performance. However, concurrency introduces new classes of bugs (e.g. deadlock, race conditions) and increases the number of different possible executions through the code. Research suggests that 10% of the bugs in concurrent software are due to the parallel nature of the execution. Unfortunately, our traditional testing techniques for sequential code will not find these bugs.

In this talk we cover in detail the challenges of testing concurrent software and discuss the innovations required in our software testing processes required to meet the challenges: in the types of tests we need; in the metrics we need to measure the effectiveness of our testing; and the methods we need to debug test failures. The talk will offer possible solutions to these innovations. Such solutions and metrics are vital to the effort to ensure the quality of concurrent software.

Biography:

Kerstin Eder is a Reader in Design Automation and Verification at the University of Bristol. She holds a PhD in Computational Logic, an MSc in Artificial Intelligence and an MEng in Informatics. She has been active in Design Verification since 1997, gaining experience in both academic research and during regular industrial secondments where she joined verification teams as design verification engineer. At the University of Bristol Kerstin introduced the Design Verification curriculum at Master level in 2002, teaching state-of-the-art verification techniques supported by labs with industrial verification tools. Her research includes specification, verification and analysis methods that allow designers to define a system and to verify/explore its behaviour in terms of functional correctness, performance, power consumption and energy efficiency. She has recently launched a series of workshops on Energy-Aware Computing (EACO). At the Bristol Robotics Laboratory she develops approaches towards certification of autonomous systems. In the next six months Kerstin is kick-starting three new research projects, one on Whole System Energy Transparency, one on Verification of Autonomous Systems and one on Safety of Human Assistive Robots.
At TVS Kerstin provides consultancy to develop professional training materials for the latest dynamic and static verification methods and contributes to the development of advanced verification methodologies.

Download Presentation Slide

<<Go to Speaker List Page>>

T&VS NEWSLETTER SIGN-UP
The T&VS newsletters inform you about industry news, events and information from T&VS. No spam, we promise and it is always easy to unsubscribe.
We never share your information. Read our Privacy Statement
Interested in Formal Verification?
Then why not attend the TVS Formal
Verification Bootcamp training?
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.
Bootcamp Enquiry Form
If you are interested in receiving additional information on the course then simply email Mike Bartley (TVS CEO and Course Leader) by entering your details below.
Interested in SystemC?
FREE SystemC UVM Library Now Available
The TVS SystemC UVM library closely mimics UVM but gives users a license free UVM-based verification environment.
Have your product requirements been successfully tested and implemented?
Find out how asureSIGN can help you implement a successful Requirements Driven Verification and Test Strategy by visiting asureSIGN or enter your details and we will be in touch.
Course Dates and Pricing
To receive additional information, including course dates and pricing, please contact our training team who will be happy to help.
Download Request
Please complete the following form then click 'submit' to access the download.
Presentation Request
Please complete the following form then click 'submit' to gain access to the presentations.
DOWNLOAD REQUEST
Please complete the following form and then click 'submit' to gain access to the download.
FREE QA ASSESSMENTS
Did you get what you were looking?

Let the testing experts help. We will run a FREE QA assessment which will include our top 5 recommendations to help maximise your testing.