A calculus for quality

Hanne Riis Nielson, Flemming Nielson, Roberto Vigo

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

A main challenge of programming component-based software is to ensure that the components continue to behave in a reasonable manner even when communication becomes unreliable. We propose a process calculus, the Quality Calculus, for programming software components where it becomes natural to plan for default behaviour in case the ideal behaviour fails due to unreliable communication and thereby to increase the quality of service offered by the systems. The development is facilitated by a SAT-based robustness analysis to determine whether or not the code is vulnerable to unreliable communication. This is illustrated on the design of a fragment of a wireless sensor network.
Original languageEnglish
Title of host publicationFormal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers
PublisherSpringer
Publication date2013
Pages188-204
ISBN (Print)978-3-642-35860-9
ISBN (Electronic)978-3-642-35861-6
DOIs
Publication statusPublished - 2013
Event9th International Symposium on Formal Aspects of Component Software (FACS 2012) - Mountain View, CA, United States
Duration: 12 Sep 201214 Sep 2012
http://www.cmu.edu/silicon-valley/facs12/

Conference

Conference9th International Symposium on Formal Aspects of Component Software (FACS 2012)
CountryUnited States
CityMountain View, CA
Period12/09/201214/09/2012
Internet address

Keywords

  • Distributed systems
  • Availability of data
  • Robustness
  • SAT-solving

Fingerprint Dive into the research topics of 'A calculus for quality'. Together they form a unique fingerprint.

Cite this