Modeling time-triggered real-time control systems using executable time-triggered model (E-TTM) and systemC-AMS. - Jon Pérez 001; Roman Obermaisser; Carlos Fernando Nicolás; Iban Ayestaran (Comput. Syst. Sci. Eng., 2011)

A novel modeling framework for time-triggered safety-critical embedded systems. - Iban Ayestaran; Carlos Fernando Nicolás; Jon Pérez 001; Asier Larrucea; Peter P. Puschner (FDL, 2014)

Modeling and Simulated Fault Injection for Time-Triggered Safety-Critical Embedded Systems. - Iban Ayestaran; Carlos Fernando Nicolás; Jon Pérez 001; Asier Larrucea; Peter P. Puschner (ISORC, 2014)

Modeling logical execution time based safety-critical embedded systems in SystemC. - Iban Ayestaran; Carlos F. Nicolás; Jon Pérez 001; Peter P. Puschner (MECO, 2014)

A Simulated Fault Injection Framework for Time-Triggered Safety-Critical Embedded Systems. - Iban Ayestaran; Carlos Fernando Nicolás; Jon Pérez 001; Asier Larrucea; Peter P. Puschner (SAFECOMP, 2014)

Model-Based Development of an FPGA Encoder Simulator for Real-Time Testing of Elevator Controllers. - Carlos Fernando Nicolás; Iban Ayestaran; Imanol Martinez; Patricia Franco (ISORC, 2016)

A CAN Restbus HiL Elevator Simulator Based on Code Reuse and Device Para-Virtualization. - Carlos Fernando Nicolás; Iban Ayestaran; Tomaso Poggi; Goiuria Sagardui; Jose-Maria Martin (ISORC, 2017)