Call for Participation: FormaliSE 2019 (www.formalise.org)
Conference on Formal Methods in Software Engineering (May 27th)
co-located with ICSE 2019, Montréal, Canada
INTRODUCTION
FormaliSE is a yearly conference on Formal Methods in Software Engineering.
FormaliSE is organized by FME (Formal Methods Europe) and is co-located with
ICSE (International Conference on Software Engineering). The main goal of the
conference is to foster integration between the formal methods and the software
engineering communities. The lack of formalization in key places makes software
engineering overly sensitive to the weaknesses that are inevitable in the
complex activities behind software creation. This is where formal methods (FMs)
have a huge opportunity.
The PROGRAM (see https://www.formalise.org/program) features presentations of
13 research papers. Dr. Jeffrey Joyce (Critical System Labs Inc., Canada) will
give a keynote presentation.
VENUE
FormaliSE 2019 will be held at the Fairmont The Queen Elizabeth Hotel
(https://2019.icse-conferences.org/venue/icse-2019-venue), Montréal, Canada.
REGISTRATION
Registration for FormaliSE is open. You can register at
https://2019.icse-conferences.org/attending/registration. Registration is
handled by ICSE.
ACCOMMODATION
A number of hotel rooms have been blocked for ICSE 2019 participants, see
https://2019.icse-conferences.org/attending/hotel-registration for details.
See you in Montréal!
Nico Plat and Stefania Gnesi (General Chairs)
Nancy Day and Matteo Rossi (PC Chairs)
KEYNOTE SPEAKER
Dr. Jeffrey Joyce is the co-founder and managing director of a Vancouver-based
engineering consultancy, Critical System Labs Inc., (CSL) that provides clients
with expertise in the specification, analysis and certification of
software-intensive critical systems. Jeff has more than 30 years of experience
across a variety of technical domains including aerospace, automotive,
defence, energy, medical devices and rail signalling systems. He has served on
international working groups that have developed industry standards such as
RTCA DO-178C (airborne software), RTCA DO-333 (formal methods) and ISO 26262
(automotive). In 1990, Jeff earned a doctorate from Cambridge University
following earlier degrees from the University of Calgary and the University of
Waterloo. His doctoral research under the supervision of Prof. Michael Gordon
was among early work on the use of formal methods to verify digital hardware.
More recently, Jeff and his CSL colleagues have use formal methods to verify
aspects of critical software systems for clients in aerospace, automotive and
high-energy physics.
Title of the keynote: The Benefits of (having doubts about) Formal Methods
To believe with certainty we must begin with doubting -
Stanisław Leszczyński (1677 – 1766)
ABSTRACT: 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.
########################################################################
To unsubscribe from the FMNET list, click the following link:
https://www.jiscmail.ac.uk/cgi-bin/webadmin?SUBED1=FMNET&A=1
|
