{'fraction_non_alphanumeric': 0.021505376344086023, 'fraction_numerical': 0.0009775171065493646, 'mean_word_length': 5.69281045751634, '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}}
1 Event-Based Semantics in the Implementation Language for Embedded and Critical Systems

An embedded and critical system (ECS) consists of physical components closely interacting with computer hardware and software components. This system must be reliable, secure, safe, efficient, and operate in real-time. The execution of the computer hardware and software components are often in direct response to the events in the physical components being monitored and controlled. Thus software components implemented in a language that facilitates the programming of events-based operations would better integrate the events-response loop and reduce critical software development time. Furthermore, this events-based semantics should also make the implemented software more amenable to efficient debugging, optimization, and verification of this class of systems. This position paper focuses on the design of the programming language (or extension of existing languages) for implementing the software components of such a system.