Partial-Order Reduction in Reachability-based Response-Time Analyses

The temporal correctness of safety-critical systems is typically guaranteed via a response-time analysis, whose goal is to determine the worst-case response time (WCRT) of a set of input jobs when they are scheduled by a given scheduling policy on a computing resource. <br/>However, response-time analysis is a hard problem to solve, with most...

Optimizing office space utilization using an Indoor Air Quality sensor network

Sick Building Syndrome is present in 30% of all office buildings and can cause serious health damage over time. This is an era where sustainability and well-being are becoming dominant aspects of life. As a result, it is becoming increasingly important to businesses to invest in their employees' well-being and health. The VTTI group cares for...