Resource Analysis for Hume Box Compositions

Hume is a very high-level language for programming of resource-critical control systems. In Hume, functional boxes are composed to form an asynchronous system of processes. We present a compositional analysis method which calculates the resource consumption of the entire system from those of single boxes, distinguishing particular program situations. In this paper, we focus on the resource of worst-case execution time. Symbolic treatment permits to express properties in terms of control parameters and delivers parameterised formulae which permits the Cerberus system developed by Waterfall Solutions Ltd. to reconfigure the algorithms in favour to guarantee a success of overall mission completion and optimisation of results