原文引自:
Frey, Patrick. "A timing model for real-time control-systems and its application on simulation and monitoring of AUTOSAR systems." (2010).
本文仅用于自学和交流使用,未经允许请勿转载~
4.2时序模型
通过监视或模拟并行和分布式计算机系统来确定定时属性是基于对计算机系统中的相关事件的观察以及对所收集的事件轨迹的因果和时间顺序的确定。后者是必要的,以便对系统中的时间行为和因果关系做出安全陈述。因此,在下文中,讨论了时序模型的基本原理。
首先,我们正式定义 - 基于文献中的现有方法 - 我们理解为事件。这些事件原则上可以根据两种关系排序:根据因果排序关系和时间(或按时间顺序)排序关系。这两个排序关系之间的关系对于开发允许关于计算机系统的时间行为的正确陈述的概念和方法是重要的。存在不同的排序机制来对在并行和分布式计算机系统中监视的事件进行排序:这些是中央观察者,逻辑时钟和真实时钟。
简要描述这些排序机制并相互比较,结论是,为了确定诸如事件之间的延迟的定时属性,需要实时时钟。因此,在4.2.3节中,我们介绍了Munzenberger等人描述的真实时钟的形式模型,我们将在后面的章节中将其作为开发AUTOSAR时序模型的基础。
4.2.1 Events and Actions /事件和行动
到目前为止,文献中已经讨论了关于事件实际上是什么的不同看法。即使上下文仅限于并行和分布式计算机系统 - 与术语事件的口语用法相反 - 也存在不同的看法,而且大多数是非正式的定义。例如Mohr已经讨论过这种情况[57]。
根据Mohr [57],事件可以通过它所属的事件类别,描述它在系统中发生的位置的位置以及描述它何时发生的时间戳来表征。事件类明确地识别计算机系统中的位置,其中可以观察和监视该事件类的实例,为了文献中的简单原因而引用事件。例如,这可以是描述过程的开始或终止的事件,或者与在过程之间发送或接收消息相关联的通信事件。
为了概念上区分用于标记并行和分布式计算机系统的静态结构中的位置的事件的概念和在模拟或监视同一计算机系统的动态运行期间观察到的事件的概念。我们介绍 - 类似于Mohr [57]和Müunzenberger[69] - 术语事件类和事件实例:
定义6(事件类)事件类精确地表示系统中的位置。
事件类通过其名称唯一标识。
在文献中,事件类别也被称为事件类型或行为(参见Mohr [57])。在我们的进一步工作中,我们也将使用这两个术语,但是,为了我们的目的更合适 - 意义。
Definition 7 (Event Instance) (事件实例)
事件实例是事件类的实例。事件实例与时间值相关联,该时间值表示访问相应事件类的时间点。
Müunzenberger[69]和Mohr [57]仅将事件实例称为事件。但是,就我们的目的而言,事件类和事件实例之间的区别至关重要,为了避免混淆,我们在必要时使用这些术语而不仅仅是术语“事件”。
与事件实例关联的时间值是时钟的读取值。作为逻辑时钟读数的时间值是标量或矢量形式的整数值,作为实际时钟读数的时间值通常是实数。
与事件类和事件实例的定义类似,我们引入 - 作为扩展 - 行动类和动作实例的概念。操作类用于明确地识别系统内的持续时间活动,其中操作实例是相应的运行时概念。
定义8(操作类)操作类标记系统中的持续操作。该操作通过两个不同的事件类来表征,这些事件类标记了操作的开始和结束。
定义9(操作实例)操作实例是操作类的实例。操作实例与两个事件实例相关联,其时间值表示操作类的运行的开始和结束。
事件类,事件实例,操作类和操作实例之间的关系可以在图4.11所示的类图中看到。
虽然事件适合于标记和监视瞬时活动(例如,系统中的状态改变),但是动作适合于标记和监视持续时间活动(例如,执行计算的操作)。用于标记瞬时和持续活动的事件和动作的概念的共同特性是它们在抽象级别被认为是原子的,在该抽象级别上考虑并行和分布式计算机系统的行为。
术语动作的定义类似于Müunzenberger[69],但是,动作类和动作实例之间没有区别。使用Müunzenberger的概念,不可能只用一个实体标记持续时间活动(就像我们的案例中的Action类一样)。然而,这是AUTOSAR系统中因果链规范所必需的。原因是AUTOSAR提供了适当的行为抽象方法。在AUTOSAR提供的抽象级别,有必要使用单个实体标记事件和操作。
在下文中,针对事件集讨论了事件的两种不同的排序关系:因果顺序关系和时间顺序或时间顺序关系。请注意,这些排序关系的原则也可以扩展到行动。为此,必须明确订单关系对于操作的开始和结束的意义。
Ordering Relations
对于事件实例集合,主要存在两种排序关系:因果排序关系和时间或时间顺序关系。由于两种排序关系对于并行和分布式计算机系统的性能分析都很重要,并且由于两者之间存在非平凡的关系,