×

兹马思-数学第一资源

IF工具集。(英语) Zbl公司 1105.68352
Bernardo,Marco(ed.)等人,《实时系统设计的形式化方法》。国际计算机、通信和软件系统设计正规方法学院,SFM-RT 2004,意大利贝蒂诺罗,2004年9月13-18日。修改讲座。柏林:斯普林格出版社(ISBN 3-540-23068-8/pbk)。计算机科学课堂讲稿3185237-267(2004)。
摘要:摘要本文介绍了一个用于异构实时系统建模和验证的IF工具集。该工具集是建立在一个丰富的形式主义,IF符号,允许基于结构化自动机的系统表示。此外,用UML-l等表示方法对高层次的映射进行建模和表示是足够的。
IF工具集的核心部分包括一个语法转换组件和一个开放的探索平台。语法转换组件提供对IF描述的语言级访问,并已用于实现静态分析和优化技术。探索平台提供了可能执行的图表。它已经连接到不同的最先进的模型检查和测试用例生成工具。
通过对阿丽亚娜-5飞行计划的实例研究,提出了一种使用该工具集的方法,并对其进行了SDL和UML模型的验证。
整个系列请参见[Zbl 1088.68002].

理学硕士:
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
68Q45号 形式语言与自动机
软件:
如果-2.0
PDF格式 BibTeX公司 XML 引用
全文: 内政部