Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
TriCo—Triple Co-piloting of Implementation, Specification and Tests
Chalmers University of Technology, Gothenburg, Sweden.
KTH, Skolan för elektroteknik och datavetenskap (EECS), Datavetenskap, Teoretisk datalogi, TCS.ORCID-id: 0000-0002-0074-8786
Chalmers University of Technology, Gothenburg, Sweden.
University of Regensburg, Regensburg, Germany; Uppsala University, Uppsala, Sweden.
2022 (engelsk)Inngår i: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature , 2022, Vol. 13701 LNCS, s. 174-187Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

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.

sted, utgiver, år, opplag, sider
Springer Nature , 2022. Vol. 13701 LNCS, s. 174-187
HSV kategori
Identifikatorer
URN: urn:nbn:se:kth:diva-329625DOI: 10.1007/978-3-031-19849-6_11Scopus ID: 2-s2.0-85142769599OAI: oai:DiVA.org:kth-329625DiVA, id: diva2:1772921
Konferanse
11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2022, Rhodes, Greece, 22-30 October 2022
Merknad

QC 20230622

Tilgjengelig fra: 2023-06-22 Laget: 2023-06-22 Sist oppdatert: 2023-06-22bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Andre lenker

Forlagets fulltekstScopus

Person

Gurov, Dilian

Søk i DiVA

Av forfatter/redaktør
Gurov, Dilian
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric

doi
urn-nbn
Totalt: 68 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf