X-by-Construction

A track at ISoLA 2018

8th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation

5-9 November 2018
Limassol, Cyprus



Motivation | Aim and topics of interest | Important dates | Publication and special issues | Invited speakers and program | Track chairs | ISoLA 2018

MOTIVATION

Correctness-by-Construction (C-by-C) approaches the development of software (systems) as a true form of Engineering, with a capital ‘E’. C-by-C advocates a step-wise refinement process from specification to code, ideally by C-by-C design tools that automatically generate error-free software (system) implementations from rigorous and unambiguous specifications of requirements. Afterwards, testing only serves the purpose of validating the C-by-C process rather than to find bugs. (Of course, bugs might still be present outside the boundaries of the verified system: in libraries, compilers, hardware, etc.)

A lot of progress has been made in this domain, implying it is time to look further than correctness and investigate a move from C-by-C to X-by-C, i.e. by considering also non-functional properties. X-by-C is thus concerned with a step-wise refinement process from specification to code that automatically generates software (system) implementations that by construction satisfy specific non-functional properties concerning security, dependability, reliability or resource/energy consumption, etc.

AIM

Building on the highly successful ISoLA 2016 track “Correctness-by-Construction and Post-hoc Verification: Friends or Foes?” which focussed on the combination of post-hoc verification with C-by-C, we decided to organise an “X-by-Construction” (X-by-C) track at ISoLA 2018, with the aim of bringing together researchers and practitioners that are interested in C-by-C and the promise of X-by-C.

We therefore invite researchers and practitioners from (at least) the following communities to shed their light on moving from C-by-C to X-by-C:

IMPORTANT DATES

Paper submission Early Spring, 2018
Notification of acceptance Late Spring, 2018
Camera-ready version Early Summer, 2018
Early registration Late Summer, 2018
Symposium ISoLA 2018 November 5-9, 2018

PUBLICATION

The ISoLA proceedings will appear in Springer's Lecture Notes in Computer Science (LNCS) series.

SPECIAL ISSUES

Selected contributions will be invited to Innovations in Systems and Software Engineering: A NASA Journal, to Thematic Sections in the International Journal on Software Tools for Technology Transfer (STTT) or to the newly founded LNCS Transactions on Foundations for Mastering Change (FoMaC).

PROGRAM

Following a keynote, there will be 3-4 sessions according to the ISoLA schedule, with three to four invited presentations of 20 minutes and 30 minutes for a general discussion. The sessions will be structured according to the different viewpoints or application fields from which the speakers approach X-by-C.

Keynote speaker (confirmed)

Erik Poll (Radboud University Nijmegen, The Netherlands)

Invited speakers (confirmed)

Reiner Hähnle (TU Darmstadt, Germany)
Axel Legay (Inria Rennes, France)
Bernhard Steffen (TU Dortmund, Germany)

TRACK CHAIRS

Maurice H. ter Beek ISTI-CNR, Pisa, Italy
Loek Cleophas TU Eindhoven, The Netherlands
Ina Schaefer TU Braunschweig, Germany
Bruce W. Watson Stellenbosch University, South Africa

For more information, please e-mail one of the track chairs.
Fondo