Runtime monitoring is a lightweight formal method used to check the correctness of software systems. The method deals with the runtime (or dynamic) behaviour of a system, usually by recording a sequence of events that happen when the system is run.
Ensuring applications execute efficiently on modern heterogeneous parallel computing systems raises severe challenges. Solutions appear to demand a co-design approach spanning algorithm designers and programmers as well as compiler and run-time system developers and hardware designers.
Distributed Acoustic Sensing (DAS) offers great potential to extract pertinent information from the environment close to optical fibres, turning each 50km long fibre into 5000 (or more!) acoustic microphones.
The SpiNNaker project aims to deliver a computing system that incorporates a million embedded ARM processors with the objective of supporting simulations of very large-scale systems of spiking neurons in real time.