Speaker
Description
Real-time, dependable systems have become increasingly popular and frequent in today's digital disruption era. However, traditional verification and validation processes have proven to be inefficient and unsuitable due to their rigidness. These systems require adaptability during design time, leading to longer development cycles and life cycles with consecutive security updates and improvements. The space domain is no exception as conducting exhaustive testing is impractical, while static analysis is too time-consuming.
To address these challenges, future Space Edge devices require an in-depth approach that enables flexibility in resource allocation without compromising guarantees of time, space, and energy efficiency. Continuous observation plays a crucial role here as correct runtime monitors can witness these constraints through continuous monitoring of the system.
This talk will explore the directions towards enabling safety on high-end embedded platforms by proposing a monitoring reference architecture for real-time dependable systems. We will discuss how adding a Monitoring IP Block Add-on can enhance the observation capabilities of embedded applications within a general-purpose data handling space platform. Additionally, we assume the presence of a high-end central computer running a static-partitioning hypervisor with safety monitors.
By taking advantage of this reference monitoring architecture, along with advanced runtime verification techniques, system engineers can achieve higher levels of reliability for real-time dependable systems operating on high-end embedded platforms.
