{'fraction_non_alphanumeric': 0.026802218114602587, 'fraction_numerical': 0.0027726432532347504, 'mean_word_length': 5.084269662921348, '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}}
Eliciting Timing Requirements for Cyber-Physical Systems: a Multiform Time based Approach

For Cyber-Physical systems (CPSs), timing requirements are as important as functional ones. They should be specified with a vocabulary as close as possible to the domain experts, and not necessarily limited to physical time. Multiform time is an abstract form of time that encompasses both physical and logical time. We argue that it gives the right abstraction level to remain close to the requirement provider needs. We choose the Problem Frames (PF) notation to describe the functional requirements for CPS, and we propose a multiform time based approach to elicit timing requirements. This paper gives (1) an extension of PF with multiform time; (2) a semi-automatic elicitation process; and (3) an automatic way to check the consistency of the resulting timing specification using NuSMV. This proposal is illustrated on a spark-ignition system in which time properties are expressed relative to the rotation degree of the engine camshaft instead of a more classical time unit (seconds).