Skip to content

Research at St Andrews

Resource Analysis for Hume Box Compositions

Research output: Contribution to conferencePaper


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


Original languageEnglish
Number of pages9
StatePublished - 2009
EventSEAS DTC 2009 Annual Technical Conference - Edinburgh, United Kingdom
Duration: 7 Jul 20098 Jul 2009


ConferenceSEAS DTC 2009 Annual Technical Conference
CountryUnited Kingdom

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Automatically deriving cost models for structured parallel processes using hylomorphisms

    Castro, D., Hammond, K., Sarkar, S. & Alguwaifli, Y. Feb 2018 In : Future Generation Computer Systems. 79, Part 2, p. 653-668

    Research output: Contribution to journalArticle

  2. The Missing Link! A new skeleton for evolutionary multi-agent systems in Erlang

    Stypka, J., Turek, W., Byrski, A., Kisiel-Dorohinicki, M., Barwell, A. D., Brown, C. M., Hammond, K. & Janjic, V. Feb 2018 In : International Journal of Parallel Programming. 46, 1, p. 4-22 19 p.

    Research output: Contribution to journalArticle

  3. Proof-relevant Horn clauses for dependent type inference and term synthesis

    Farka, F., Komendantskya, E. & Hammond, K. 2018 In : Theory and Practice of Logic Programming. 18, 3-4, p. 484-501

    Research output: Contribution to journalArticle

  4. Type-based cost analysis for lazy functional languages

    Jost, S., Vasconcelos, P., Florido, M. & Hammond, K. Jun 2017 In : Journal of Automated Reasoning. 59, 1, p. 87-120 34 p.

    Research output: Contribution to journalArticle

ID: 5090378