
Senior Member of Technical Staff
Dionisio de Niz is a member of the High-Confidence Cyber-Physical Systems Initiative. In this initiative he has been working on the timing verification and resource allocation (real-time scheduling) of CPS to address application needs and new processor technologies. In particular, on the application side we have been investigating the functional consolidation of features of different criticality into the same platform. This is known as mixed-criticality systems. In this area we created the Zero-Slack Scheduling approach (e.g. ZS-Rate-Monotonic Scheduling) to implement asymmetric protection between tasks of different criticality. That is, we prevent the a lower-criticality task to interfere with a higher-criticality one but allow the higher-criticality task to steal CPU cycles from lower-criticality ones in case of overload.
With respect to new processor technologies we focus on the multi-core processors including the use of General-Purpose Graphic Processing Unit (GP-GPU). In this area we have been focusing on the scheduling of parallelized tasks and analyzing the timing implications of the use of shared-memory (including shared cache) across cores.
Prior to joining the SEI in 2006 he was a professor at ITESO University in Mexico. Previous work experience includes: MIS Manager, Co-founder of a CMM consulting company in Mexico, and Software Engineer working on the reference implementation and a product of the Real-Time Java Specification.
Search the library for publications by this author
Additional information can be found in my andrew page.
For more information