Exploració per autor "Cazorla Almeida, Francisco Javier"
Ara es mostren els items 100-119 de 145
-
QoS for high-performance SMT processors in embedded systems
Cazorla Almeida, Francisco Javier; Ramírez Bellido, Alejandro; Valero Cortés, Mateo; Knijnenburg, Peter M.W.; Sakellariou, Rizos; Fernández Garcia, Enrique (2004-07)
Article
Accés obertAlthough simultaneous multithreading processors provide a good cost-performance tradeoff, they exhibit unpredictable performance in real-time applications. We present a resource management scheme that eliminates a major ... -
Quasi Isolation QoS Setups to Control MPSoC Contention in Integrated Software Architectures
Garcia Esteban, Sergio; Serrano Cases, Alejandro; Abella Ferrer, Jaume; Mezzetti, Enrico; Cazorla Almeida, Francisco Javier (Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023)
Comunicació de congrés
Accés obertThe use of integrated architectures, such as integrated modular avionics (IMA) in avionics, IMA-SP in space, and AUTOSAR in automotive, running on Multi-Processor System-on-Chip (MPSoC) is on the rise. Timing isolation ... -
Random Modulo: A new processor cache design for real-time critical systems
Hernández, Carles; Abella Ferrer, Jaume; Gianarro, Andrea; Andersson, Jan; Cazorla Almeida, Francisco Javier (Institute of Electrical and Electronics Engineers (IEEE), 2016)
Comunicació de congrés
Accés obertCache memories have a huge impact on software's worst-case execution time (WCET). While enabling the seamless use of caches is key to provide the increasing levels of (guaranteed) performance required by automotive software, ... -
Randomization for safer, more reliable and secure, high-performance automotive processors
Trilla Rodríguez, David; Cazorla Almeida, Francisco Javier; Hernández Luz, Carles; Abella Ferrer, Jaume (Institute of Electrical and Electronics Engineers (IEEE), 2019-12)
Article
Accés obertThe automotive domain is witnessing a relentless transition to autonomous cars demanding high-performance processors to timely execute complex, critical, decision-making software. The other side of the coin is that ... -
Resilient random modulo cache memories for probabilistically-analyzable real-time systems
Trilla, David; Hernández, Carles; Abella Ferrer, Jaume; Cazorla Almeida, Francisco Javier (Institute of Electrical and Electronics Engineers (IEEE), 2016)
Text en actes de congrés
Accés obertFault tolerance has often been assessed separately in safety-related real-time systems, which may lead to inefficient solutions. Recently, Measurement-Based Probabilistic Timing Analysis (MBPTA) has been proposed to estimate ... -
RPR: a random replacement policy with limited pathological replacements
Benedicte Illescas, Pedro; Hernández Luz, Carles; Abella Ferrer, Jaume; Cazorla Almeida, Francisco Javier (Association for Computing Machinery (ACM), 2018)
Text en actes de congrés
Accés restringit per política de l'editorialMeasurement-Based Probabilistic Timing Analysis (MBPTA) has consolidated as a technique to estimate probabilistic Worst-Case Execution Times (WCET) for critical software running on processors with high-performance hardware ... -
RunPar: An allocation algorithm for automotive applications exploiting runnable parallelism in multicores
Panic, Milos; Kehr, Sebastian; Quiñones, Eduardo; Boddecker, Bert; Abella Ferrer, Jaume; Cazorla Almeida, Francisco Javier (Association for Computing Machinery (ACM), 2014)
Text en actes de congrés
Accés restringit per política de l'editorialAutomotive applications increasingly rely on AUTOSAR for their design and execution. AUTOSAR applications comprise functions, called runnables, that are grouped into AUTOSAR tasks. Tasks are the unit of scheduling (UoS) ... -
RVC: A mechanism for time-analyzable real-time processors with faulty caches
Abella Ferrer, Jaume; Quiñones, Eduardo; Cazorla Almeida, Francisco Javier; Sazeides, Yanos; Valero Cortés, Mateo (2011)
Text en actes de congrés
Accés restringit per política de l'editorialGeometry scaling due to technology evolution as well as Vcc scaling lead to failures in large SRAM arrays such as caches. Faulty bits can be tolerated from the average performance perspective, but make critical realtime ... -
SafeLS: An open source implementation of a lockstep NOEL-V RISC-V core
Sarraseca Julian, Marcel; Alcaide Portet, Sergi; Fuentes Díaz, Francisco Javier; Rodríguez Rivas, Juan Carlos; Chang, Feng; Lasfar, Ilham; Canal Corretger, Ramon; Cazorla Almeida, Francisco Javier; Abella Ferrer, Jaume (Institute of Electrical and Electronics Engineers (IEEE), 2023)
Text en actes de congrés
Accés obertMicrocontrollers running safety-critical applications with high integrity requirements must provide appropriate safety measures to manage random hardware faults. For instance, automotive safety regulations (e.g., ISO26262) ... -
Safety-related challenges and opportunities for GPUs in the automotive domain
Alcaide Portet, Sergi; Kosmidis, Leonidas; Tabani, Hamid; Hernández Luz, Carles; Abella Ferrer, Jaume; Cazorla Almeida, Francisco Javier (IEEE, 2018-10-09)
Article
Accés obertGPUs have been shown to cover the computing performance needs of autonomous driving (AD) systems. However, since the GPUs used for AD build on designs for the mainstream market, they may lack fundamental properties for ... -
SAFEXPLAIN: Safe and Explainable Critical Embedded Systems Based on AI
Abella Ferrer, Jaume; Perez, Jon; Englund, Cristofer; Zonooz, Bahram; Giordana, Gabriele; Cazorla Almeida, Francisco Javier; Mezzetti, Enrico; Serra, Isabel; Brando, Axel (Institute of Electrical and Electronics Engineers (IEEE), 2023)
Comunicació de congrés
Accés obertDeep Learning (DL) techniques are at the heart of most future advanced software functions in Critical Autonomous AI-based Systems (CAIS), where they also represent a major competitive factor. Hence, the economic success ... -
Seeking time-composable partitions of tasks for COTS multicore processors
Fernández, Gabriel; Abella Ferrer, Jaume; Quiñones, Eduardo; Fossati, Luca; Zulianello, Marco; Vardanega, Tullio; Cazorla Almeida, Francisco Javier (Institute of Electrical and Electronics Engineers (IEEE), 2015)
Comunicació de congrés
Accés obertThe timing verification of real-time single core systems involves a timing analysis step that yields an Execution Time Bound (ETB) for each task, followed by a schedulability analysis step, where the scheduling attributes ... -
Selección del tamaño del banco de registros y de la política de asignación de recursos en procesadores SMT
Alastruey, Jesús; Monreal Arnal, Teresa; Cazorla Almeida, Francisco Javier; Viñals Yúfera, Víctor; Valero Cortés, Mateo (Thomson Editores Spain, 2007)
Text en actes de congrés
Accés obertEste trabajo estudia el impacto del tamaño del banco de registros físico (BRF) en el rendimiento de procesadores Simultaneous Multithreading (SMT). Como es bien conocido, el BRF es un componente crítico en este tipo de ... -
Selection of the register file size and the resource policy on SMT processors
Alastruey, Jesús; Monreal Arnal, Teresa; Cazorla Almeida, Francisco Javier; Viñals Yufera, Víctor; Valero Cortés, Mateo (IEEE Computer Society, 2008)
Comunicació de congrés
Accés obertThe performance impact of the Physical Register File (PRF) size on Simultaneous Multithreading processors has not been extensively studied in spite of being a critical shared resource. In this paper we analyze the effect ... -
Sensible energy accounting with abstract metering for multicore systems
Liu, Qixiao; Moretó Planas, Miquel; Abella Ferrer, Jaume; Cazorla Almeida, Francisco Javier; Jiménez, Daniel A.; Valero Cortés, Mateo (2016-01)
Article
Accés obertChip multicore processors (CMPs) are the preferred processing platform across different domains such as data centers, real-time systems, and mobile devices. In all those domains, energy is arguably the most expensive ... -
Software timing analysis for complex hardware with survivability and risk analysis
Vilardell Moreno, Sergi; Serra Mochales, Isabel; Abella Ferrer, Jaume; del Castillo Franquet, Joan; Cazorla Almeida, Francisco Javier (Institute of Electrical and Electronics Engineers (IEEE), 2019)
Text en actes de congrés
Accés obertThe increasing automation of safety-critical real-time systems, such as those in cars and planes, leads, to more complex and performance-demanding on-board software and the subsequent adoption of multicores and accelerators. ... -
Standardizing the Probabilistic Sources of Uncertainty for the sake of Safety Deep Learning
Brando, Axel; Serra, Isabel; Mezzetti, Enrico; Cazorla Almeida, Francisco Javier; Abella Ferrer, Jaume (CEUR Workshop Proceedings, 2023)
Comunicació de congrés
Accés obertNowadays, critical functionalities are increasingly tackled by autonomous decision-making systems, which depend on Artificial Intelligence (e.g. Deep Learning) models. Still, most of these models are designed to maximize ... -
STT-MRAM for real-time embedded systems: performance and WCET implications
Asifuzzaman, Kazi; Fernández, Mikel; Radojković, Petar; Abella Ferrer, Jaume; Cazorla Almeida, Francisco Javier (Association for Computing Machinery (ACM), 2019)
Text en actes de congrés
Accés obertSTT-MRAM is an emerging non-volatile memory quickly approaching DRAM in terms of capacity, frequency and device size. Intensified efforts in STT-MRAM research by the memory manufacturers may indicate a revolution with ... -
Supertask: Maximizing runnable-level parallelism in AUTOSAR applications
Kehr, Sebastian; Panic, Milos; Quiñones, Eduardo; Böddeker, Bert; Becerril Sandoval, Jorge; Abella Ferrer, Jaume; Cazorla Almeida, Francisco Javier; Schäfer, Günter (Institute of Electrical and Electronics Engineers (IEEE), 2016)
Text en actes de congrés
Accés obertThe migration of legacy AUTOSAR automotive software from a single-core ECU to a multicore ECU faces two main challenges: 1) data dependencies between AUTOSAR runnables must be respected, which may limit the level of ... -
TASA: toolchain-agnostic static software randomisation for critical real-time systems
Kosmidis, Leonidas; Vargas, Roberto; Morales, David; Quiñones, Eduardo; Abella Ferrer, Jaume; Cazorla Almeida, Francisco Javier (Association for Computing Machinery (ACM), 2016)
Text en actes de congrés
Accés obertMeasurement-Based Probabilistic Timing Analysis (MBPTA) derives WCET estimates for tasks running on processors comprising high-performance features such as caches. MBPTA's correct application requires the system to exhibit ...