Dionisio de Niz
Senior Member of the Technical Staff
Software Engineering Institute
Carnegie Mellon University.
Brief Bio
I finished my Ph.D. in ECE from Carnegie Mellon University under
the supervision of Prof. Raj Rajkumar.
I was a professor at the ITESO university in Mexico for two year
after completing my Ph.D. During this time I ran the Embedded and
Real-Time Systems Collaborative Laboratory. In this lab we conducted
research in collaboration with other universities (including CMU)
and industry partners such as Intel. I also led an interest group
to develop the Automotive Embedded Software Roadmap for the Jalisco
state.
At the SEI I have been working in the modeling of embedded real-time
systems with the Architecture Analysis and Design Language (AADL).
I have been involved in the development of the reference implementation
tool OSATE, development of new analysis algorithms and consulting with
multiple clients in the application of AADL to solve problems in the
development of embedded real-time systems.
On the research front, I have been focusing on new scheduling algorithms
for real-time systems with new requirements (e.g. mixed-criticality) and
new platforms (e.g. multicore processors). In addition I had been looking
at new techniques to verify concurrency properties in runtime architectural
models.
Research Interest
My research interest focuses on two areas: new challenges of real-time scheduling and model-based engineering (MBE). On the real-time scheduling front I am interested on the new challenges stemming from both the new complex algorithms used in today's real-time systems that do not fit the assumptions of traditional scheduling theory and the new hardware platforms (e.g. multicore) that we are starting to see today but, most importantly we will see starkly different in the future.On the MBE side, I am interested in tackling the problems coming from the ever increasing complexity of cyber-physical systems. In particular, we can observe that an important element of this complexity comes from the complex interactions between the hardware, software, and physical components of these systems. For this problem the MBE approach uses models that capture these interactions in models. These models are then analyzed to verify specific properties. The challenge then is to develop these models and analysis algorithms that allows us to take decisions at a high level, before we start implementing the system.
Highlights
- First Analytic Virtual Integration of Cyber-Physical Systems Workshop (AVICPS) @ RTSS 2010