Soft robotics is an emerging technology in which engineers create flexib...
Non-functional properties, such as energy, time, and security (ETS) are
...
This paper presents EnergyAnalyzer, a code-level static analysis tool fo...
There is a lot of research effort devoted by researcher into developing
...
As Autonomous Systems (AS) become more ubiquitous in society, more
respo...
The behaviours of a swarm are not explicitly engineered. Instead, they a...
Energy modelling can enable energy-aware software development and assist...
Due to black box nature of Convolutional neural networks (CNNs), the
con...
Automated Vehicles (AVs) are rapidly maturing in the transportation doma...
Machine learning (ML) has been used to accelerate the closure of functio...
As autonomous systems are becoming part of our daily lives, ensuring the...
Efficient and effective testing for simulation-based hardware verificati...
Constrained random test generation is one of the most widely adopted met...
Autonomous systems (AS) often use Deep Neural Network (DNN) classifiers ...
Safety and mission performance validation of autonomous vehicles is a ma...
This paper presents a novel approach to event-based power modelling for
...
In this paper, we introduce an approach to validate the functional
equiv...
Game engines are increasingly used as simulation platforms by the autono...
Energy modeling can enable energy-aware software development and assist ...
Robot capabilities are maturing across domains, from self-driving cars, ...
Existing approaches to cyber security and regulation in the automotive s...
This paper investigates the application of a robust CPU-based power mode...
Simulation-based verification is beneficial for assessing otherwise dang...
After Amdahl's trailblazing work, many other authors proposed analytical...
To increase productivity, today's compilers offer a two-fold abstraction...
The verification of planning domain models is crucial to ensure the safe...
Energy efficiency is a growing concern for modern computing, especially ...
This paper presents the interesting observation that by performing fewer...
This paper introduces a novel method for automatically tuning the select...
Robotic code needs to be verified to ensure its safety and functional
co...
Energy transparency is a concept that makes a program's energy consumpti...
Multi-core, Mixed Criticality Embedded (MCE) real-time systems require h...
Promoting energy efficiency to a first class system design goal is an
im...
This paper examines dynamic energy consumption caused by data during sof...