×

兹马思-数学第一资源

Time4sys2imi:一个在不确定条件下形式化实时系统模型的工具。(英语) Zbl公司 07142672
Hierons,Robert Mark(ed.)等人,《计算的理论方面——ICTAC 2019》。2019年10月31日至11月4日,突尼斯,哈马迈特,第16届国际学术讨论会。诉讼程序。查姆:斯普林格(ISBN 978-3-030-32504-6/pbk;978-3-030-32505-3/电子书)。计算机科学课堂讲稿11884113-123(2019年)。
概要:Time4sys是泰雷兹集团开发的一种形式化软件,实现了实时系统的图形化规范。然而,这种形式不允许对实时系统执行形式化分析。因此,需要将这个工具翻译成具有形式语义的形式主义。本文介绍了Time4sys2imi,它是一个将Time4sys模型转换成参数化时间自动机的工具。这种转换不仅可以检查实时系统的可调度性,而且可以推断出一些保证可调度性的时间约束(截止日期、偏移量\(\ldots)\)。我们成功地将Time4sys2imi应用到各种示例中。
整个系列请参见[Zbl 1425.68012].
理学硕士:
68季度 计算理论
PDF格式 BibTeX公司 XML 引用
全文: 内政部