A track at ISoLA 20188th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation
5-9 November 2018
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.
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:
|Paper submission (extended)|
|Notification of acceptance||May 31, 2018|
|Camera-ready version||July 31, 2018|
|Early registration||August 31, 2018|
|Symposium ISoLA 2018||November 5-9, 2018|
The ISoLA proceedings will appear in Springer's Lecture Notes in Computer Science (LNCS) series.
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).
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.
|Erik Poll (Radboud University Nijmegen, The Netherlands)|
|Einar Broch Johnsen (University of Oslo, Norway)|
|Reiner Hähnle (TU Darmstadt, Germany)|
|Marieke Huisman (University of Twente, The Netherlands)|
|Axel Legay (Inria Rennes, France)|
|Dominique Méry (Loria, Nancy, France)|
|Marinella Petrocchi (IIT-CNR, Pisa, Italy)|
|Gerardo Schneider (Chalmers TU, Gothenburg, Sweden)|
|Bernhard Steffen (TU Dortmund, Germany)|
|Mirco Tribastone (IMT Lucca, Italy)|
|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|