I do research on methods and tools for the modeling, analysis, simulation and design optimization of safety-critical embedded systems, with a focus on mixed-criticality systems.
Safety is a property of a system that will not endanger human life or the environment. Many safety-critical systems are also real-time: in a hard real-time system the “correctness of the system behavior depends not only on the logical results of the computations, but also on the physical instant at which these results are produced”. The Research Agenda for Mixed-Criticality Systems defines a mixed-criticality system as “an integrated suite of hardware, operating system and middleware services and application software that supports the execution of safety-critical, mission-critical, and non-critical software within a single, secure computing platform”.
See these slides for our current work on mixed-criticality systems.
PhD thesis: Paul Pop, Analysis and Synthesis of Communication-Intensive Heterogeneous Real-Time Systems, 2003. [download](http://orbit.dtu.dk/en/publications/analysis-and-synthesis-of-communicationintensive-heterogeneous-realtime-systems(a90133e5–71ae–4020-a9a9–22e60d1ac81e.html)
PhD thesis: Viacheslav Izosimov, Scheduling and Optimization of Fault-Tolerant Distributed Embedded Systems, 2008 download
PhD thesis: Traian Pop, Analysis and Optimisation of Distributed Embedded Systems with Heterogeneous Scheduling Policies, 2007 download
I am part of the EMC2 project, Embedded Multi-Core systems for Mixed Criticality applications in dynamic and changeable real-time environments, with 99 academic and industrial partners, see the complete list. I am the co-leader of work package on Industrial Automation.
I was part of the RECOMP project, Reduced Certification Costs Using Trusted Multi-core Platforms. I was the work package leader on methods and tools.
DTU’s prize for “Forskningsbaseret myndighedsrådgivning” (research-based consultancy for the public sector), 2013 (for the DSB IC4 train braking incident investigation)