Iban Ayestaran

Publication Activity (10 Years)

Years Active: 2011-2017
Publications (10 Years): 2

Top Topics

Scripting Language

Safety Critical

Modeling Framework

Embedded Systems

Top Venues

Publications

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)
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)
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)
Iban Ayestaran, Carlos F. Nicolás, Jon Pérez, Peter P. Puschner
Modeling logical execution time based safety-critical embedded systems in SystemC. MECO (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)