SENSATION: Self Energy-Supporting Autonomous Computation

Joost-Pieter Katoen, Hao Wu

The aim of EU FP7 project “SENSATION” is to facilitate the design, analysis, and development of Energy Centric Systems which are self-supporting by balancing energy harvesting and consumption. These Energy Centric Systems are allowed to reconfigure themselves by taking the context of tasks, resources, error, and available energy into account, while still provide optimal performance in terms of reliability and energy consumption. SENSATION supports the system design process by providing automated analysis and synthesis tools for such Energy Centric System.

Please see for more details.


DOIJoost-Pieter Katoen, Thomas Noll, Thomas Santen, Dirk Seifert, Hao Wu. Performance Analysis of Computing Servers – a case study exploiting a new GSPN semantics. Measurement, Modelling and Evaluation of Computing Systems and Dependability and Fault-Tolerance (MMB & DFT 2014), Volume 8376 of LNCS, pages 57–72, Springer, 2014.
DOIDownloadLinkJoost-Pieter Katoen, Hao Wu. Exponentially timed SADF: Compositional Semantics, Reduction, and Analysis. Embedded Software (EMSOFT), pages 1–10, ACM Press, 2014.