Logo
 If you have previously registered for this event, please login below:
 Email
 LOGIN

First Name*
Last Name*
Title*
Email*
Company*
Street Address Line 1*
Street Address Line 2
City*
State*
Zip*
Country*
Work Phone*
Which industry do you operate in?*
Which industry software standards do you use (e.g.,DO-178B/C, ISO 61508, etc.)?*
Are you interested in a free evaluation of formal program verification tools?*
Sign up for our free Electronic Design Today newsletter: 
 I acknowledge and agree to Penton’s Terms of Service and to Penton’s use of my contact information to communicate with me about offerings by Penton, its brands, affiliates and/or third-party partners, consistent with Penton’s Privacy Policy In addition, I understand that my personal information will be shared with any sponsor(s) of the webinar so they can contact me directly about their products or services. Please refer to the privacy policies of such sponsor(s) for more details on how your information will be used by them.
By clicking below, I acknowledge and agree to Penton’s Terms of Service and to Penton’s use of my contact information to communicate with me about offerings by Penton, its brands, affiliates and/or third-party partners, consistent with Penton’s Privacy Policy. In addition, I understand that my personal information will be shared with any sponsor(s) of the webinar so they can contact me directly about their products or services. Please refer to the privacy policies of such sponsor(s) for more details on how your information will be used by them.


You must have Javascript and Cookies enabled to access this webcast. Click here for Help.
 
Please enable Cookies in your browser before registering for the webcast.
 
*Denotes required.
 
REGISTER

Building High-Assurance Software without Breaking the Bank

Date: Monday, December 12th
Time: 2:00 PM ET | 11:00 AM PT

The late computer scientist Edsger Dijkstra once famously said "Program testing can be used to show the presence of bugs, but never to show their absence." This intrinsic drawback has become more acute in recent years, with the need to make software "bullet proof" against increasingly complex requirements and pervasive security attacks. Testing can only go so far. Fortunately, formal program verification offers a practical complement to testing, as it addresses security concerns while keeping the cost of testing at an acceptable level.

Formal verification has a proven track record in industries where reliability is paramount, and among the available technologies, the SPARK toolset features prominently. It has been used successfully for developing high confidence software in industries including Aerospace, Defense, and Air Traffic Management. SPARK tools can address specific requirements for robustness (absence of run-time errors) and functional correctness (contract-based verification) that are relevant in critical systems, including those that are subject to certification requirements.

In this webcast, SPARK experts Yannick Moy and Rod Chapman present the current status of the SPARK solution and explain how it can be successfully adopted in your current software development processes.

Attendees will learn:

  • How to benefit from formal program verification
  • Lessons learned from SPARK projects
  • How to integrate SPARK into existing projects
  • Where to learn about SPARK
  • Why "too hard, too costly, too risky" is a myth

Presented by:

Yannick Moy
SPARK Product Manager, AdaCore

Yannick Moy is the SPARK product manager at AdaCore. He has led the development of the SPARK language and tools since 2010, and he oversaw the major technology revision resulting in SPARK 2014. Yannick has presented SPARK in numerous articles, conferences, as well as online (in particular www.spark-2014.org). Previously, he worked on software source code analyzers CodePeer, Frama-C and PolySpace Verifier C++.

Rod Chapman
Director - Protean Code Ltd.

Rod Chapman is an independent consultant software engineer. He specializes in the development of safety- and security-critical systems, from requirements engineering, through architectural design and implementation, to verification, audit and assessment. He has trained, led and coached software development teams all over the world, most of them using the SPARK language and tools. Additionally, Rod holds an honorary visiting chair in the department of computer science at the University of York.