Contact

All Stories

  1. Virtualization Technology for Dependable Embedded Systems: A Survey for Transportation and Industrial Domains

    Article • ACM Computing Surveys, November 2025, ACM (Association for Computing Machinery)

    Dr. Jon Perez Cerrolaza, Jon González Eguiluz, Alfons Crespo

  2. Towards robust shielded reinforcement learning through adaptive constraints and exploration: The fear field framework

    Article • Engineering Applications of Artificial Intelligence, March 2025, Elsevier

    Dr. Jon Perez Cerrolaza

  3. Scalable Mixed-Criticality Safety Concepts for a Stationary Battery Management System (BMS) With Integrated Machine Learning (ML)

    Article • IEEE Access, January 2025, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  4. Artificial Intelligence for Safety-Critical Systems in Industrial and Transportation Domains: A Survey

    Article • ACM Computing Surveys, October 2023, ACM (Association for Computing Machinery)

    Dr. Jon Perez Cerrolaza

  5. On Neural Networks Redundancy and Diversity for Their Use in Safety-Critical Systems

    Article • Computer, May 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  6. Uncertainty Management in Dependable and Intelligent Embedded Software

    Article • Computer, March 2023, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  7. GPU Devices for Safety-Critical Systems: A Survey

    Article • ACM Computing Surveys, December 2022, ACM (Association for Computing Machinery)

    Dr. Jon Perez Cerrolaza

  8. Safety and security collaborative analysis framework for high-performance embedded computing devices

    Article • Microprocessors and Microsystems, June 2022, Elsevier

    Dr. Jon Perez Cerrolaza

  9. On the Safe Deployment of Matrix Multiplication in Massively Parallel Safety-Related Systems

    Article • Applied Sciences, April 2022, MDPI AG

    Dr. Jon Perez Cerrolaza

  10. Optimization Techniques and Formal Verification for the Software Design of Boolean Algebra Based Safety-Critical Systems

    Article • IEEE Transactions on Industrial Informatics, January 2022, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  11. Towards functional safety compliance of matrix-matrix multiplication for machine learning-based autonomous systems

    Article • Journal of Systems Architecture, October 2021, Elsevier

    Dr. Jon Perez Cerrolaza

  12. Multi-core Devices for Safety-critical Systems

    Article • ACM Computing Surveys, July 2021, ACM (Association for Computing Machinery)

    Dr. Jon Perez Cerrolaza

  13. Towards Linux based safety systems—A statistical approach for software execution path coverage

    Article • Journal of Systems Architecture, February 2021, Elsevier

    Dr. Jon Perez Cerrolaza

  14. Statistical Test Coverage for Linux-Based Next-Generation Autonomous Safety-Related Systems

    Article • IEEE Access, January 2021, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  15. Embedded Artificial Intelligence: The ARTEMIS Vision

    Article • Computer, November 2020, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  16. A Safety Concept for an Automotive Lithium-based Battery Management System

    Article • October 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  17. Towards Linux for the Development of Mixed-Criticality Embedded Systems Based on Multi-Core Devices

    Article • September 2019, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  18. Distributed Real-Time Architecture for Mixed-Criticality Systems

    Article • September 2018, Taylor & Francis

    Dr. Jon Perez Cerrolaza

  19. Reusable generic design patterns for mixed-criticality systems based on DREAMS

    Article • Microprocessors and Microsystems, October 2017, Elsevier

    Dr. Jon Perez Cerrolaza

  20. Modular Development and Certification of Dependable Mixed-Criticality Systems

    Article • August 2017, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  21. SAFEPOWER project: Architecture for safe and power-efficient mixed-criticality systems

    Article • Microprocessors and Microsystems, July 2017, Elsevier

    Dr. Jon Perez Cerrolaza

  22. GSN Support of Mixed-Criticality Systems Certification

    Article • January 2017, Springer Science + Business Media

    Dr. Jon Perez Cerrolaza

  23. Supporting pattern-based dependability engineering via model-driven development: Approach, tool-support and empirical validation

    Article • Journal of Systems and Software, December 2016, Elsevier

    Dr. Jon Perez Cerrolaza

  24. A Realistic Approach to a Network-on-Chip Cross-Domain Pattern

    Article • August 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  25. SAFEPOWER Project: Architecture for Safe and Power-Efficient Mixed-Criticality Systems

    Article • August 2016, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  26. Automotive Safety Concept Definition for Mixed-Criticality Integration on a COTS Multicore

    Article • January 2016, Springer Science + Business Media

    Dr. Jon Perez Cerrolaza

  27. A Modular Safety Case for an IEC 61508 Compliant Generic COTS Processor

    Article • October 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  28. A Safety Concept for a Railway Mixed-Criticality Embedded System Based on Multicore Partitioning

    Article • October 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  29. A Modular Safety Case for an IEC-61508 Compliant Generic Hypervisor

    Article • August 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  30. IEC-61508 SIL 3 Compliant Pseudo-Random Number Generators for Probabilistic Timing Analysis

    Article • August 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  31. WCET analysis methods: Pitfalls and challenges on their trustworthiness

    Article • June 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  32. A Safety Concept for an IEC-61508 Compliant Fail-Safe Wind Power Mixed-Criticality System Based on Multicore and Partitioning

    Article • January 2015, Springer Science + Business Media

    Dr. Jon Perez Cerrolaza

  33. Temporal independence validation of an IEC-61508 compliant mixed-criticality system based on multicore partitioning

    Article • January 2015, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  34. R3TOS-Based Autonomous Fault-Tolerant Systems

    Article • IEEE Micro, November 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  35. MultiPARTES: Multi-core partitioning and virtualization for easing the certification of mixed-criticality systems

    Article • Microprocessors and Microsystems, November 2014, Elsevier

    Dr. Jon Perez Cerrolaza

  36. A novel modeling framework for time-triggered safety-critical embedded systems

    Article • October 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  37. A Safety Certification Strategy for IEC-61508 Compliant Industrial Mixed-Criticality Systems Based on Multicore Partitioning

    Article • August 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  38. Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems

    Article • June 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  39. A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems

    Article • January 2014, Springer Science + Business Media

    Dr. Jon Perez Cerrolaza

  40. SCA extensions to support safety critical distributed embedded systems

    Article • September 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  41. R3TOS: A Novel Reliable Reconfigurable Real-Time Operating System for Highly Adaptive, Efficient, and Dependable Computing on FPGAs

    Article • IEEE Transactions on Computers, August 2013, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  42. Model-Driven Engineering for Trusted Embedded Systems Based on Security and Dependability Patterns

    Article • January 2013, Springer Science + Business Media

    Dr. Jon Perez Cerrolaza

  43. Modeling Time-Triggered Architecture Based Real-Time Systems Using SystemC

    Article • November 2011, Springer Science + Business Media

    Dr. Jon Perez Cerrolaza

  44. Codesign and Simulated Fault Injection of Safety-Critical Embedded Systems Using SystemC

    Article • January 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  45. Executable Time-Triggered Model (E-TTM) for Real-Time Control Systems

    Article • January 2010, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  46. Modeling time-triggered architecture based safety-critical embedded systems using SystemC

    Article • January 2010, the Institution of Engineering and Technology (the IET)

    Dr. Jon Perez Cerrolaza

  47. A novel SEU, MBU and SHE handling strategy for Xilinx Virtex-4 FPGAs

    Article • August 2009, Institute of Electrical & Electronics Engineers (IEEE)

    Dr. Jon Perez Cerrolaza

  48. A Modeling Framework for Efficient Safety Critical Time-Triggered Architecture Design

    Article • April 2007, SAE International

    Dr. Jon Perez Cerrolaza