Skip to content

Research at St Andrews

Compositional Resource Analysis of Parametric Box-based Autonomous Vehicle Systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution


Christoph Armin Herrmann, Kevin Hammond

School/Research organisations


Orchestrating a flock of autonomous vehicles so that the flock as a whole can guarantee to perform its mission, while at the same time reacting to changing circumstances or mission requirements requires good understanding of its behaviour, especially the execution time and energy usage implications for each possible action that the flock could take. This paper describes a new analysis approach that determines the overall resource usage of an autonomous vehicle in terms of resource usage of its hardware and software components. Our analysis expresses resource usage information in terms of a number of control parameters. These parameters can be used by reconfiguration algorithms (such as those simulated by Waterfall Solutions’ Cerberus system) to control the behaviour of each member of a flock of autonomous vehicles in resource-constrained situations.


Original languageEnglish
Title of host publicationSEAS DTC Conference Proceedings
PublisherSEAS DTC
Number of pages12
Publication statusPublished - 2010
EventSEAS DTC 2010 Annual Technical Conference - Edinburgh, United Kingdom
Duration: 13 Jul 201014 Jul 2010


ConferenceSEAS DTC 2010 Annual Technical Conference
CountryUnited Kingdom

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

View graph of relations

ID: 5090323