Software that meets its Intent

Marieke Huisman, Herbert Bos, Sjaak Brinkkemper, Arie van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, Eelco Visser

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

1 Citation (Scopus)

Abstract

Software is widely used, and society increasingly depends on its reliability. However, software has become so complex and it evolves so quickly that we fail to keep it under control. Therefore, we propose intents: fundamental laws that capture a software systems’ intended behavior (resilient, secure, safe, sustainable, etc.). The realization of this idea requires novel theories, algorithms, tools, and techniques to discover, express, verify, and evolve software intents. Thus, future software systems will be able to verify themselves that they meet their intents. Moreover, they will be able to respond to deviations from intents through self-correction. In this article we propose a research agenda, outlining which novel theories, algorithms and tools are required.
Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications
Subtitle of host publication7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II
EditorsTiziana Margaria, Bernhard Steffen
PublisherSpringer
Pages609-625
Number of pages17
ISBN (Electronic)978-3-319-47169-3
ISBN (Print)978-3-319-47168-6
DOIs
Publication statusPublished - Oct 2016
Event7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016 - Corfu, Greece
Duration: 10 Oct 201614 Oct 2016
Conference number: 7
http://www.isola-conference.org/isola2016/

Publication series

NameLecture Notes in Computer Science
PublisherSpringer
Volume9953
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016
Abbreviated titleISoLA 2016
CountryGreece
CityCorfu
Period10/10/1614/10/16
Internet address

Keywords

  • Model checker
  • Satisfiability modulo theory
  • Intended behavior
  • Program verifier
  • Proof checker

Cite this