Preprint Article Version 1 Preserved in Portico This version is not peer-reviewed

Mind Your Outcomes: Quality-Centric Systems Development

Version 1 : Received: 7 December 2021 / Approved: 8 December 2021 / Online: 8 December 2021 (14:25:02 CET)
Version 2 : Received: 16 December 2021 / Approved: 21 December 2021 / Online: 21 December 2021 (13:59:45 CET)

How to cite: HAERI, S.H.; Thompson, P.; Davies, N.; Van Roy, P.; Hammond, K.; Chapman, J. Mind Your Outcomes: Quality-Centric Systems Development. Preprints 2021, 2021120132 (doi: 10.20944/preprints202112.0132.v1). HAERI, S.H.; Thompson, P.; Davies, N.; Van Roy, P.; Hammond, K.; Chapman, J. Mind Your Outcomes: Quality-Centric Systems Development. Preprints 2021, 2021120132 (doi: 10.20944/preprints202112.0132.v1).

Abstract

This paper directly addresses a critical issue that affects the development of many complex distributed software systems: how to establish quickly, cheaply and reliably whether they will deliver their intended performance before expending significant time, effort and money on detailed design and implementation. We describe ΔQSD, a novel metrics-based and quality-centric paradigm that uses formalised outcome diagrams to explore the performance consequences of design decisions, as a performance blueprint of the system. The ΔQSD paradigm is both effective and generic: it allows values from various sources to be combined in a rigorous way, so that approximate results can be obtained quickly and subsequently refined. ΔQSD has been successfully used by Predictable Network Solutions for consultancy on large-scale applications in a number of industries, including telecommunications, avionics, and space and defence, resulting in cumulative savings of $Bs. The paper outlines the ΔQSD paradigm, describes its formal underpinnings, and illustrates its use via a topical real-world example taken from the blockchain/cryptocurrency domain, where application of this approach enabled an advanced distributed proof-of-stake system to meet challenging throughput targets.

Keywords

formal semantics; quality attenuation; distributed systems; system design; scalability; performance; feasibility; blockchain; ΔQ.

Subject

MATHEMATICS & COMPUTER SCIENCE, General & Theoretical Computer Science

Comments (0)

We encourage comments and feedback from a broad range of readers. See criteria for comments and our diversity statement.

Leave a public comment
Send a private comment to the author(s)
Views 0
Downloads 0
Comments 0
Metrics 0


×
Alerts
Notify me about updates to this article or when a peer-reviewed version is published.
We use cookies on our website to ensure you get the best experience.
Read more about our cookies here.