Personal Information
Organización/Lugar de trabajo
Madrid Area, Spain Spain
Ocupación
Head of Section at GMV
Sector
Aviation
Sitio web
http://www.gmv.com/
Acerca de
Software engineer with research experience in safety-critical, distributed, embedded, real-time systems, and development and validation expertise on operational projects, including the onboard control software of spacecrafts.
Committee member of ISO SC 22/WG 23 for Programming Language Vulnerabilities, participating in TR-24772 "Guidance to avoiding vulnerabilities in programming languages through language selection and use." Committee member of ISO Spanish delegation about programming languages at AENOR. Member of Ada Standards Committee (AEN 71/SC 22/WG 9).
Program committee member of International Conference on Reliable Software Technologies (Ada-Europe) since 2010, and Exhibition C...
Etiquetas
gmv
schedulability
real-time
rtems
validation
software
european space agency
ixv
ravenscar
high-integrity
Ver más
Personal Information
Organización/Lugar de trabajo
Madrid Area, Spain Spain
Ocupación
Head of Section at GMV
Sector
Aviation
Sitio web
http://www.gmv.com/
Acerca de
Software engineer with research experience in safety-critical, distributed, embedded, real-time systems, and development and validation expertise on operational projects, including the onboard control software of spacecrafts.
Committee member of ISO SC 22/WG 23 for Programming Language Vulnerabilities, participating in TR-24772 "Guidance to avoiding vulnerabilities in programming languages through language selection and use." Committee member of ISO Spanish delegation about programming languages at AENOR. Member of Ada Standards Committee (AEN 71/SC 22/WG 9).
Program committee member of International Conference on Reliable Software Technologies (Ada-Europe) since 2010, and Exhibition C...
Etiquetas
gmv
schedulability
real-time
rtems
validation
software
european space agency
ixv
ravenscar
high-integrity
Ver más