Sciweavers

Share
TOOLS
2008
IEEE

An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT

9 years 9 months ago
An AsmL Semantics for Dynamic Structures and Run Time Schedulability in UML-RT
Abstract. 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 various 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 ...
Stefan Leue, Alin Stefanescu, Wei Wei
Added 01 Jun 2010
Updated 01 Jun 2010
Type Conference
Year 2008
Where TOOLS
Authors Stefan Leue, Alin Stefanescu, Wei Wei
Comments (0)
books