Measuring energy consumption for short code paths using RAPL

M Hähnel, B Döbel, M Völp, H Härtig - ACM SIGMETRICS Performance …, 2012 - dl.acm.org
Measuring the energy consumption of software components is a major building block for
generating models that allow for energy-aware scheduling, accounting and budgeting …

[PDF][PDF] Feather-trace: A lightweight event tracing toolkit

B Brandenburg, J Anderson - … of the third international workshop on …, 2007 - Citeseer
We present a light-weight event tracing toolkit for realtime operating systems on the Intel x86
platform. Our approach is wait-free, multiprocessor-safe, and introduces very low overhead …

Safe runtime verification of real-time properties

C Colombo, GJ Pace, G Schneider - … on Formal Modeling and Analysis of …, 2009 - Springer
Introducing a monitor on a system typically changes the system's behaviour by slowing the
system down and increasing memory consumption. This may possibly result in creating new …

Position paper: Towards end-to-end privacy for publish/subscribe architectures in the Internet of Things

S Coroller, S Chabridon, M Laurent, D Conan… - Proceedings of the 5th …, 2018 - dl.acm.org
The Internet of Things paradigm lacks end-to-end privacy solutions to consider its full
adoption in real life scenarios in the near future. The recent enactment of the EU General …

Scalable real-time monitoring system for ubiquitous smart space

BH Lee, SH Lim, JH Kim - Information processing letters, 2010 - Elsevier
Scalable real-time monitoring is one of important requirements to supply smart services for
customers, on time, in ubiquitous smart space. We propose a scalable real-time monitoring …

Capability wrangling made easy: debugging on a microkernel with Valgrind

A Pohle, B Döbel, M Roitzsch, H Härtig - ACM Sigplan Notices, 2010 - dl.acm.org
Not all operating systems are created equal. Contrasting traditional monolithic kernels, there
is a class of systems called microkernels more prevalent in embedded systems like …

L4oprof: a performance-monitoring-unit-based software-profiling framework for the l4 microkernel

D Kim, J Eom, C Park - ACM SIGOPS Operating Systems Review, 2007 - dl.acm.org
These days, the L4 microkernel is expanding its domain towards embedded systems since it
is showing a comparable performance with traditional monolithic kernels. The L4 …

[PDF][PDF] Securing graphical user interfaces.

N Feske - 2009 - os.inf.tu-dresden.de
During the past three decades, the workload on desktop computers underwent fundamental
changes that have driven the evolution of graphical user-interface (GUI) architectures. For …

Real-time non-invasive detection of timing-constraint violations in time-triggered embedded systems

KL Chan, MJ Pont - 2010 10th IEEE International Conference …, 2010 - ieeexplore.ieee.org
In this paper, we propose a novel, non-invasive monitoring technique which allows rapid
detection of timing-constraint violations in real-time embedded systems which have a time …

[HTML][HTML] Application of contract-based security assertion monitoring framework for telecommunications software engineering

AM Hoole, I Traore, I Simplot-Ryl - Mathematical and computer modelling, 2011 - Elsevier
Telecommunication software systems, containing security vulnerabilities, continue to be
created and released to consumers. We need to adopt improved software engineering …