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. © 2013 Springer-Verlag.
CITATION STYLE
Nielson, H. R., Nielson, F., & Vigo, R. (2013). A calculus for quality. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7684 LNCS, pp. 188–204). https://doi.org/10.1007/978-3-642-35861-6_12
Mendeley helps you to discover research relevant for your work.