Description
The SSAS team has been actively working on the design, development, and analysis of embedded critical computing systems (ECCS) normally found in cars, planes, trains, satellites and medical devices. The essential concern in ECCS is that guarantees must be provided on their correctness in both the functional and temporal behavior. The former warrants that the software behaves as expected from a functional standpoint, while the latter ensures the software always executes within a predetermined interval or deadline. With AI solutions being on the rise in ECCS, the SSAS team has been focusing in the challenges that AI software must address to adhere to applicable safety standards and provide the necessary guarantees. The SSAS has been pioneering the studies on the complexity of the temporal behavior of autonomous driving software running in modern hardware, leading to the definition of new probabilistic timing analysis methods, as well as designing risk management approaches for AI systems.
