Carlos Fernando Nicolás

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 7

Top Topics

Safety Critical

Temporal Behavior

Fault Injection

Embedded Systems

Top Venues

SAFECOMP Workshops

Publications

Carlos Fernando Nicolás, Fernando Eizaguirre, Asier Larrucea, Simon Barner, Franck Chauvel, Goiuria Sagardui, Jon Pérez
GSN Support of Mixed-Criticality Systems Certification. SAFECOMP Workshops (2017)
Asier Larrucea, Imanol Martinez, Carlos Fernando Nicolás, Jon Pérez, Roman Obermaisser
Modular Development and Certification of Dependable Mixed-Criticality Systems. DSD (2017)
Carlos Fernando Nicolás, Iban Ayestaran, Tomaso Poggi, Goiuria Sagardui, Jose-Maria Martin
A CAN Restbus HiL Elevator Simulator Based on Code Reuse and Device Para-Virtualization. ISORC (2017)
Goiuria Sagardui, Leire Etxeberria, Joseba Andoni Agirre, Aitor Arrieta, Carlos Fernando Nicolás, Jose-Maria Martin
A Configurable Validation Environment for Refactored Embedded Software: An Application to the Vertical Transport Domain. ISSRE Workshops (2017)
Asier Larrucea, Hamidreza Ahmadian, Roman Obermaisser, Jon Pérez, Carlos Fernando Nicolás
A Realistic Approach to a Network-on-Chip Cross-Domain Pattern. DSD (2016)
Carlos Fernando Nicolás, Iban Ayestaran, Imanol Martinez, Patricia Franco
Model-Based Development of an FPGA Encoder Simulator for Real-Time Testing of Elevator Controllers. ISORC (2016)
Asier Larrucea, Irune Agirre, Carlos Fernando Nicolás, Jon Pérez, Mikel Azkarate-askasua, Ton Trapman
Temporal independence validation of an IEC-61508 compliant mixed-criticality system based on multicore partitioning. FDL (2015)
Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez, Asier Larrucea, Peter P. Puschner
A novel modeling framework for time-triggered safety-critical embedded systems. FDL (2014)
Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez, Asier Larrucea, Peter P. Puschner
Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems. ISORC (2014)
Jon Pérez, David González, Carlos Fernando Nicolás, Ton Trapman, Jose Miguel Garate
A Safety Certification Strategy for IEC-61508 Compliant Industrial Mixed-Criticality Systems Based on Multicore Partitioning. DSD (2014)
Iban Ayestaran, Carlos Fernando Nicolás, Jon Pérez, Asier Larrucea, Peter P. Puschner
A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems. SAFECOMP (2014)
Jon Pérez, Roman Obermaisser, Carlos Fernando Nicolás, Iban Ayestaran
Modeling time-triggered real-time control systems using executable time-triggered model (E-TTM) and systemC-AMS. Comput. Syst. Sci. Eng. 26 (6) (2011)
Jon Pérez, Carlos Fernando Nicolás, Roman Obermaisser, Christian El Salloum
Modeling Time-Triggered Architecture Based Safety-Critical Embedded Systems Using SystemC. FDL (2010)