An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
复制标题
UML-RT 中动态结构和运行时可调度性的 AsmL 语义
DOI：
10.1007/978-3-540-69824-1_14
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Wei Wei
中科院分区：
文献类型：
--
作者：
Stefan Leue;Alin Stefanescu;Wei Wei
许多实时系统使用基于组件动态创建和销毁的运行时结构重新配置机制。为了支持这些特性，UML-RT提供了一组建模概念，包括可选的参与者引用和多重包容。然而，这些概念没有包含在当前的任何UML-RT的形式化语义中，因此阻碍了对真实模型的测试和形式化分析。我们使用ASML来呈现涵盖动态结构和运行时可调度性等重要特性的可执行语义。语义被参数化以捕获其决策选择依赖于供应商CASE工具中的特殊实现的UML-RT语义变化点。我们已经构建了这些变化点的几个不同的实现，包括IBM Rational Rose Realtime(Rose-RT)工具中实现的一个。最后，我们演示了如何使用Spec Explorer工具将所提出的可执行语义用于Rose-RT模型的分析。
Many real-time systems use runtime structural reconfiguration mechanisms based on dynamic creation and destruction of components. To support such features, UML-RT provides a set of modeling concepts including optional actor references and multiple containment. However, these concepts are not covered in any of the current formal semantics of UML-RT, thus impeding the testing and formal analysis of realistic models. We use AsmL to present an executable semantics covering dynamic structures and other important features like run time schedulability. The semantics is parametrized to capture UML-RT semantics variation points whose decision choices depend on the special implementation in a vendor CASE tool. We have built several different implementations of those variation points, including the one as implemented in the IBM Rational Rose RealTime (Rose-RT) tool. Finally, we illustrate how the proposed executable semantics can be used in the analysis of a Rose-RT model using the Spec Explorer tool.
登录
查看更多内容
迈向基于组件的实时软件的基于 UML 的形式化规范
DOI：
--
发表时间：
2003
期刊：
International Journal on Software Tools for Technology Transfer (STTT)
影响因子：
--
作者：
V. D. Bianco;L. Lavazza;M. Mauri;G. Occorso
通讯作者：
G. Occorso
实时嵌入式控制系统可执行面向对象模型的自动实现指南
DOI：
--
发表时间：
1997
期刊：
Proceedings Real-Time Systems Symposium
影响因子：
--
作者：
M. Saksena;P. Freedman;P. Rodziewicz
通讯作者：
P. Rodziewicz
一种对 AsmL 规格进行模型检查的方法
DOI：
--
发表时间：
2005
期刊：
Abstract State Machines
影响因子：
--
作者：
M. Kardos
通讯作者：
M. Kardos
Fixpoint 中的 AsmL 语义
DOI：
--
发表时间：
2005
期刊：
Abstract State Machines
影响因子：
--
作者：
A. Habibi;S. Tahar
通讯作者：
S. Tahar
DOI：
10.1007/11526841_38
发表时间：
2005-07
期刊：
--
影响因子：
--
作者：
C. Campbell;W. Grieskamp;Lev Nachmanson;Wolfram Schulte;N. Tillmann;Margus Veanes
通讯作者：
C. Campbell;W. Grieskamp;Lev Nachmanson;Wolfram Schulte;N. Tillmann;Margus Veanes