Cardona, Jordi; Hernández Luz, Carles; Abella, Jaume; Mezzetti, Enrico; Cazorla, Francisco J.(Association for Computing Machinery, 2023-05)
[EN] The computing capacity demanded by embedded systems is on the rise as software implements more functionalities, ranging from best-effort entertainment functions to performance-guaranteed safety-related functions. ...
Espinosa García, Jaime; Hernández Luz, Carles; Abella, Jaume; Andrés Martínez, David de; Ruiz García, Juan Carlos(ACM, 2015-06)
Increasingly complex microcontroller designs for safety-relevant
automotive systems require the adoption of new methods
and tools to enable a cost-effective verification of their
robustness. In particular, costs associated ...
[EN] Performance and power constraints come together with Complementary Metal Oxide Semiconductor technology scaling in future Exascale systems. Technology scaling makes each individual transistor more prone to faults and, ...
Cazorla, Francisco J.; Kosmidis, L.; Mezzetti, E.; Hernández Luz, Carles; Abella, Jaume; Vardanega, Tullio(Association for Computing Machinery, 2019-02)
[EN] The unabated increase in the complexity of the hardware and software components of modern embedded real-time systems has given momentum to a host of research in the use of probabilistic and statistical techniques for ...
[EN] Existing HW/SW platforms for safety-critical systems suffer from limited performance and/or from lack of flexibility due to building on specific proprietary components. This jeopardizes their wide deployment across ...
Espinosa García, Jaime; Andrés Martínez, David de; Ruiz García, Juan Carlos; Hernández Luz, Carles; Abella, Jaume(IEEE Conference Publications, 2015-09)
Safety-critical applications are required today to meet
more and more stringent standards than ever. In the need of
reducing the costs associated with the certification step, early
robustness evaluation can provide ...
Trilla, David; Hernández Luz, Carles; Abella, Jaume; Cazorla, Francisco J.(Institute of Electrical and Electronics Engineers, 2021-09)
[EN] The number of (edge) devices connected to the IoT is on the rise, reaching hundreds of billions in the next years. Many devices will implement some type of critical functionality, for instance in the medical market ...