{'fraction_non_alphanumeric': 0.026036644165863067, 'fraction_numerical': 0.0, 'mean_word_length': 5.528301886792453, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
An Extensible Partitioning Framework for Safety-Critical Systems

Certification of safety-critical systems requires a separation of certified and non-safe components. Up to today, partitioning operating systems, that have the capability to isolate software components in safety-critical systems, are almost exclusively found in complex embedded systems with standardized runtime environments, e.g. in the avionic industry. On the other hand, their use is highly uncommon in deeply-embedded systems, that are frequently characterized by severe power, memory, and latency constraints. Here we show, how partitioning can be efficiently provided in deeply-embedded systems. For this purpose, we propose a framework for highly customized and constrained embedded devices, which achieves the separation of software components using a legacy real-time operating system. The approach focuses on the flexibility and low complexity of the framework in order to minimize the effort for safety certification. The framework is modular and extensible.