Embedded software ≈ Embedded software
View article
Recent Advances and Trends in On-Board Embedded and Networked Automotive Systems Open
Modern cars consist of a number of complex embedded and networked systems with steadily increasing requirements in terms of processing and communication resources. Novel automotive applications, such as automated driving, rise new needs an…
View article
Accurate and Stable Run-Time Power Modeling for Mobile and Embedded CPUs Open
Modern mobile and embedded devices are required to be increasingly energy-efficient while running more sophisticated tasks, causing the CPU design to become more complex and employ more energy-saving techniques. This has created a greater …
View article
The IoT Energy Challenge: A Software Perspective Open
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 unreliable sources of energy, such as batteries or energy ha…
View article
Proceedings of the 2020 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS) Open
About ESWEEKEmbedded Systems Week (ESWEEK) is the premier event covering all aspects of hardware and software design for smart, intelligent and connected computing systems.By bringing together three leading conferences (CASES, CODES+ISSS a…
View article
A Systematic Review of Fault Injection Attacks on IoT Systems Open
The field of the Internet of Things (IoT) is growing at a breakneck pace and its applications are becoming increasingly sophisticated with time. Fault injection attacks on IoT systems are aimed at altering software behavior by introducing …
View article
A Tweakable Image Encryption Algorithm Using an Improved Logistic Chaotic Map Open
International audience
View article
Control-Flow Integrity for Real-Time Embedded Systems Open
Attacks on real-time embedded systems can endanger lives and critical infrastructure. Despite this, techniques for securing embedded systems software have not been widely studied. Many existing security techniques for general-purpose compu…
View article
Fast Virtual Prototyping for Embedded Computing Systems Design and Exploration Open
International audience
View article
A Survey of Energy Consumption Measurement in Embedded Systems Open
The low-power design of software and hardware is crucial for the efficiency and sustainability of embedded systems. Accurate energy consumption measurement plays a vital role in evaluating the energy performance of software and hardware, w…
View article
System-level Logical Execution Time Open
Logical Execution Time (LET) is a timed programming abstraction, which features predictable and composable timing. It has recently gained considerable attention in the automotive industry, where it was successfully applied to master the di…
View article
Energy Transparency for Deeply Embedded Programs Open
Energy transparency is a concept that makes a program’s energy consumption visible, from hardware up to software, through the different system layers. Such transparency can enable energy optimizations at each layer and between layers, as w…
View article
Timed C: An Extension to the C Programming Language for Real-Time Systems Open
The design and implementation of real-time systems require that both the logical and the temporal behavior are correct. There exist several specialized languages and tools that use the notion of logical time, as well as industrial strength…
View article
A Modular Converter- and Signal-Processing-Platform for Academic Research in the Field of Power Electronics Open
For academic research it is mandatory that the theoretical evaluation and modelling of new control methods, modulation schemes, electrical machines, power electronic topologies, etc. is validated with accurate measurements. To guarantee a …
View article
Incremental bounded model checking for embedded software Open
Program analysis is on the brink of mainstream usage in embedded systems development. Formal verification of behavioural requirements, finding runtime errors and test case generation are some of the most common applications of automated ve…
View article
Formal verification of automotive embedded software Open
The ever-increasing complexity of automotive embedded systems and the need for safe advanced driver assistance systems (ADAS) represent a great challenge for car manufacturers. Furthermore, we expect that in the near future, authorities re…
View article
An Integrated Simulation Module for Cyber-Physical Automation Systems Open
The integration of Wireless Sensors Networks (WSNs) into Cyber Physical Systems (CPSs) is an important research problem to solve in order to increase the performances, safety, reliability and usability of wireless automation systems. Due t…
View article
Continuous Integration and Delivery Practices for Cyber-Physical Systems: An Interview-Based Study Open
Continuous Integration and Delivery (CI/CD) practices have shown several benefits for software development and operations, such as faster release cycles and early discovery of defects. For Cyber-Physical System (CPS) development, CI/CD can…
View article
An embedded system approach for energy monitoring and analysis in industrial processes Open
This paper presents the development of a low cost embedded system targeted to energy management in industrial environments. The main objective of this study is a methodology for monitoring, acquisition and analysis of electrical parameters…
View article
Robustness Testing of Embedded Software Systems: An Industrial Interview Study Open
Embedded software is at the core of current and future telecommunication, automotive, multimedia, and industrial automation systems. The success of practically any industrial application depends on the embedded software system's dependabil…
View article
CPAL: high-level abstractions for safe embedded systems Open
peer reviewed
View article
On the Analysis of Real-time Operating System Reliability in Embedded Systems Open
Nowadays, the reliability has become one of the main issues for safety-critical embedded systems, like automotive, aerospace and avionic. In an embedded system, the full system stack usually includes, between the hardware layer and the sof…
View article
Analysis of Single Event Effects on Embedded Processor Open
The continuous scaling of electronic components has led to the development of high-performance microprocessors which are even suitable for safety-critical applications where radiation-induced errors, such as single event effects (SEEs), ar…
View article
Compiler-assisted test acceleration on GPUs for embedded software Open
Embedded software is found everywhere from our highly visible mobile devices to the confines of our car in the form of smart sensors. Embedded software companies are under huge pressure to produce safe applications that limit risks,and tes…
View article
eFMI: An open standard for physical models in embedded software Open
This paper summarizes the final research results of the ITEA3 project EMPHYSIS (embedded systems with physical models in the production code software). Its core achievement is the new open eFMI Standard enabling automated workflows from hi…
View article
Configuring ADAS Platforms for Automotive Applications Using Metaheuristics Open
Modern Advanced Driver-Assistance Systems (ADAS) combine critical real-time and non-critical best-effort tasks and messages onto an integrated multi-core multi-SoC hardware platform. The real-time safety-critical software tasks have comple…
View article
Embedded Software in Crisis Open
In the wake of several high-profile embedded-software failures and scandals, we have a responsibility to ensure that the software artifacts we design meet high standards and to reassure users that embedded systems are reliable, safe, and s…
View article
Finding All Potential Run-Time Errors and Data Races in Automotive Software Open
Safety-critical embedded software has to satisfy stringent quality requirements. All contemporary safety standards require evidence that no data races and no critical run-time errors occur, such as invalid pointer accesses, buffer overflow…
View article
Hardware runtime verification of embedded software in SoPC Open
This paper discusses an implementation of runtime verification for embedded software running on a System-on-Programmable-Chip (SoPC) composed of a micro-controller and a FPGA. The goal is to verify at runtime that the execution of the soft…
View article
Building Embedded Systems Like It’s 1996 Open
Embedded devices are ubiquitous.However, preliminary evidence shows that attack mitigations protecting our desktops/servers/phones are missing in embedded devices, posing a significant threat to embedded security.To this end, this paper pr…
View article
Model Checking of Embedded Assembly Program Based on Simulation Open
Embedded systems have been widely used. In addition, embedded systems have been gradually complicated. It is important to ensure the safety for embedded software by software model checking. We have developed a verification system for verif…