Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Mon 27 May 2019 11:00 - 12:05 at Sainte-Catherine - Session 2 Chair(s): Nancy Day

A variety of industry standards for critical systems, such as RTCA DO-178C and ISO 26262, refer to the possibility of using formal methods to produce verification results for the purpose of certification. However, satisfying the expectations of a certification authority using verification results obtained by means of formal methods can be a formidable challenge. Dr. Joyce will describe some reasonable doubts that might be raised by a certification authority about a plan to use formal methods as a source of verification results in place of test-based results. He will explain how such doubts influenced guidance developed by the aerospace industry for use of formal methods in the certification of airborne software. Anticipating these doubts can be the basis of an effective strategy to use formal methods as part of the certification of a critical system.

Mon 27 May
Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change

Formalise-2019-papers
11:00 - 12:30: FormaliSE 2019 - Session 2 at Sainte-Catherine
Chair(s): Nancy DayUniversity of Waterloo, Canada
Formalise-2019-papers11:00 - 12:05
Talk
Jeffrey JoyceCritical System Labs Inc.
Formalise-2019-papers12:05 - 12:30
Full-paper
Daniel Ratiu, Marco GarioSiemens Corporate Technology, Hannes SchoenhaarSiemens Corporate Technology