X-by-Construction: Towards Ensuring Non-Functional Properties in by-Construction Engineering
This program is tentative and subject to change.
Correctness-by-Construction engineering (CbC) is a refinement-based approach to develop functionally correct programs based on a formal specification. By correctly applying refinement rules during development, CbC enables detection of bugs during program construction, unlike post-hoc verification, which proves correctness only after implementation. Support for CbC engineering for non-functional properties is summarized under the term X-by-Construction (XbC). However, current XbC approaches are limited to information flow properties, leaving other non-functional properties of software quality, such as performance or reliability, unsupported. To address this gap, we present our vision for generalizing XbC to integrate non-functional properties into by-Construction engineering. In this way, we leverage the development of high-quality software through a refinement-based approach for future software engineering. With that, it will become possible to develop software ensuring that the software exhibits not only functional correctness, but also non-functional guarantees by construction. Further, we propose ideas for ensuring energy efficiency in by-Construction engineering. We assess what it needs to integrate non-functional properties into by-Construction engineering and discuss arising challenges.
This program is tentative and subject to change.
Sat 18 OctDisplayed time zone: Perth change
10:30 - 12:15 | |||
10:30 30mTalk | X-by-Construction: Towards Ensuring Non-Functional Properties in by-Construction Engineering Onward! Papers Maximilian Kodetzki Karlsruhe Institute of Technology, Tabea Bordis Karlsruhe Institute of Technology, Alex Potanin Australian National University, Ina Schaefer KIT | ||
11:00 40mTalk | Gauguin, Descartes, Bayes: A Diurnal Golem's Brain Onward! Essays Kartik Chandra MIT, Amanda Liu Massachusetts Institute of Technology, Jonathan Ragan-Kelley Massachusetts Institute of Technology, Joshua B. Tenenbaum Massachusetts Institute of Technology | ||
11:40 10mTalk | Closing Onward! Papers |