TriCo—Triple Co-piloting of Implementation, Specification and Tests
Paper in proceeding, 2022

This white paper presents the vision of a novel methodology for developing safety-critical software, which is inspired by late developments in learning based co-piloting of implementations. The methodology, called TriCo, integrates formal methods with learning based approaches to co-pilot the agile, simultaneous development of three artefacts: implementation, specification, and tests. Whenever the user changes any of these, a TriCo empowered IDE would suggest changes to the other two artefacts in such a way that the three are kept consistent. The user has the final word on whether the changes are accepted, rejected, or modified. In the latter case, consistency will be checked again and re-established. We discuss the emerging trends which put the community in a good position to realise this vision, describe the methodology and workflow, as well as challenges and possible solutions for the realisation of TriCo.

Author

Wolfgang Ahrendt

Chalmers, Computer Science and Engineering (Chalmers), Formal methods

Dilian Gurov

Royal Institute of Technology (KTH)

Moa Johansson

Chalmers, Computer Science and Engineering (Chalmers), Formal methods

Philipp Rümmer

Uppsala University

University of Regensburg

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 13701 LNCS 174-187
9783031198489 (ISBN)

11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022
Rhodes, Greece,

Subject Categories

Human Aspects of ICT

Software Engineering

Information Science

DOI

10.1007/978-3-031-19849-6_11

More information

Latest update

10/27/2023