102 citations · 166 across the 10 of their papers we have counts for
4 papers · 1 filter
Complete Agent-driven Model-based System Testing for Autonomous Systems
Kerstin I. Eder, Wen-ling Huang, Jan Peleska
In this position paper, a novel approach to testing complex autonomous transportation systems (ATS) in the automotive, avionic, and railway domains is described. It is intended to…
A Comprehensive and Accurate Energy Model for Arm's Cortex-M0 Processor
Kyriakos Georgiou, Zbigniew Chamski, Kris Nikov +1
Energy modeling can enable energy-aware software development and assist the developer in meeting an application's energy budget. Although many energy models for embedded processors…
The IoT energy challenge: A software perspective
Kyriakos Georgiou, Samuel Xavier-de-Souza, Kerstin Eder
The Internet of Things (IoT) sparks a whole new world of embedded applications. Most of these applications are based on deeply embedded systems that have to operate on limited or u…
Using Models at Runtime to Address Assurance for Self-Adaptive Systems
Betty Cheng, Kerstin Eder, Martin Gogolla +10
A self-adaptive software system modifies its behavior at runtime in response to changes within the system or in its execution environment. The fulfillment of the system requirement…