Multi-core devices for safety-critical systems: A survey

JP Cerrolaza, R Obermaisser, J Abella… - ACM Computing …, 2020 - dl.acm.org
Multi-core devices are envisioned to support the development of next-generation safety-
critical systems, enabling the on-chip integration of functions of different criticality. This …

GPU devices for safety-critical systems: A survey

J Perez-Cerrolaza, J Abella, L Kosmidis… - ACM Computing …, 2022 - dl.acm.org
Graphics Processing Unit (GPU) devices and their associated software programming
languages and frameworks can deliver the computing performance required to facilitate the …

Distributed behavior model orchestration in cognitive internet of things solution

CS Li, F Darema, V Chang - Enterprise Information Systems, 2018 - Taylor & Francis
The introduction of pervasive and ubiquitous instrumentation within Internet of Things (IoT)
leads to unprecedented real-time visibility (instrumentation), optimization and fault-tolerance …

[HTML][HTML] Towards Linux based safety systems—A statistical approach for software execution path coverage

I Allende, N Mc Guire, J Perez, LG Monsalve… - Journal of Systems …, 2021 - Elsevier
Several industrial domains are currently developing innovative safety-related autonomous
systems characterized by increasing software complexity and high-performance …

Optimization techniques and formal verification for the software design of boolean algebra based safety-critical systems

J Perez, JL Flores, C Blum… - IEEE Transactions on …, 2021 - ieeexplore.ieee.org
Artificial intelligence, and the ability to learn optimized solutions that comply with a set of
safety rules, could facilitate the human-based design process of safety-critical systems …

A safety concept for an automotive lithium-based battery management system

D Marcos, J Perez, P Zubizarreta… - 2019 Electric …, 2019 - ieeexplore.ieee.org
This publication describes a safety concept for an automotive domain battery management
system in compliance with ISO 26262. First, Lithium-based battery hazards and risks are …

[图书][B] Distributed Real-Time Architecture for Mixed-Criticality Systems

H Ahmadian, R Obermaisser, J Perez - 2018 - books.google.com
This book describes a cross-domain architecture and design tools for networked complex
systems where application subsystems of different criticality coexist and interact on …

Towards linux for the development of mixed-criticality embedded systems based on multi-core devices

I Allende, N Mc Guire, J Perez… - 2019 15th european …, 2019 - ieeexplore.ieee.org
As the complexity of several safety-critical systems continues to increase (eg autonomous
driving), the need for a safety operating system to run complex algorithms and software has …

ExplicitCase: integrated model-based development of system and safety cases

C Cârlan, S Barner, A Diewald, A Tsalidis… - … Safety, Reliability, and …, 2017 - Springer
Tools for creating safety cases currently on the market target safety experts, whose main
concern is the management of safety cases. However, for safety assurance, safety experts …

Building product-lines of mixed-criticality systems

S Barner, A Diewald, F Eizaguirre… - 2016 Forum on …, 2016 - ieeexplore.ieee.org
Mixed-Criticality Systems (MCS) reconcile safety-critical requirements with multi-core
architectures, by offering spatial and temporal isolation while preserving other …