On methods and tools for rigorous system design - Inria - Institut national de recherche en sciences et technologies du numérique
Journal Articles International Journal on Software Tools for Technology Transfer Year : 2021

On methods and tools for rigorous system design

Abstract

Full a posteriori verification of the correctness of modern software systems is practically infeasible due to the sheer complexity resulting from their intrinsic concurrent nature. An alternative approach consists of ensuring correctness by construction. We discuss the Rigorous System Design (RSD) approach, which relies on a sequence of semantics-preserving transformations to obtain an implementation of the system from a high-level model while preserving all the properties established along the way. In particular, we highlight some of the key requirements for the feasibility of such an approach, namely availability of (1) methods and tools for the design of correct-by-construction high-level models and (2) definition and proof of the validity of suitable domain-specific abstractions. We summarise the results of the extended versions of seven papers selected among those presented at the 1st and the 2nd International Workshops on Methods and Tools for Rigorous System Design (MeTRiD 2018–2019), indicating how they contribute to the advancement of the RSD approach.
Fichier principal
Vignette du fichier
STTT-SI-MeTRiD-Preface.pdf (343.7 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03720402 , version 1 (12-07-2022)

Identifiers

Cite

Simon Bliudze, Panagiotis Katsaros, Saddek Bensalem, Martin Wirsing. On methods and tools for rigorous system design. International Journal on Software Tools for Technology Transfer, 2021, 23 (5), pp.679-684. ⟨10.1007/s10009-021-00632-0⟩. ⟨hal-03720402⟩
42 View
137 Download

Altmetric

Share

More