High Integrity Technology Update | April 2024
Discover how to use high-integrity technologies such as Ada, SPARK, Rust and C++ to their fullest to future-proof the safety, security and performance of your applications.
AdaCore Product Manager Jose Ruiz will provide a deeper dive into AdaCore’s latest software releases and future roadmap so you have everything you need to try out new software capabilities and develop safer, more secure and more efficient code.
Author
Jose Ruiz
Dr. Jose Ruiz is a Product Manager at AdaCore with 25 years of experience in embedded safety-critical real-time systems, having authored/coauthored over 40 papers in that area. He received his Ph.D. degree for his work in the field of real-time and multimedia systems, including scheduling policies and resource management in real-time operating systems.
He is an expert in certification of high-integrity system in aeronautics, space and railway domains, and he has been involved in the certification/qualification of run-time libraries and automatic code generators from modeling languages.
Throughout his career he has worked on the definition of language profiles for embedded systems, and the design and implementation of the run-time support required for executing on bare-metal targets.
