Moses-a tool suite for visual modeling of discrete-event systems

Esser, Robert; Janneck, Jörn W.

doi:10.1109/hcc.2001.995274

Cited by 22 publications

(11 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the academic community, active objects and actors [13], [14], port-based objects [15], hybrid I/O automata [16], Moses [17], Polis [18], Ptolemy [19], and Ptolemy II [2] all emphasize actor orientation.…”

Section: A Actor Orientationmentioning

confidence: 99%

Actor-Oriented Control System Design: A Responsible Framework Perspective

Liu

Eker²,

Janneck

et al. 2004

IEEE Trans. Contr. Syst. Technol.

Self Cite

View full text Add to dashboard Cite

Abstract-Complex control systems are heterogeneous, in the sense of discrete computer-based controllers interacting with continuous physical plants, regular data sampling interleaving with irregular communication and user interaction, and multilayer and multimode control laws. This heterogeneity imposes great challenges for control system design in terms of end-to-end control performance modeling and simulation, traceable refinements from algorithms to software/hardware implementation, and component reuse. This paper presents an actor-oriented design methodology that tackles these issues by separating the data-centric computational components (a.k.a. actors) and the control-flow-centric scheduling and activation mechanisms (a.k.a. frameworks). Semantically different frameworks are composed hierarchically to manage heterogeneous models and achieve actor and framework reuse. We introduce a notion of responsible frameworks to characterize the property that a framework can aggregate individual actor's execution into a well-defined composite execution such that heterogeneous models can be composed.This methodology is implemented in the Ptolemy II software environment. We discuss how some of the most useful models for control system design are implemented as responsible frameworks. As an example, the methodology and the Ptolemy II software environment is applied to the design of a distributed, real-time software implementation of a pendulum inversion and stabilization system. Index Terms-Actor-oriented design, control system design methodology, heterogeneous modeling, hierarchical heterogeneity, Ptolemy II, responsible frameworks.

show abstract

Section: A Actor Orientationmentioning

confidence: 99%

Actor-Oriented Control System Design: A Responsible Framework Perspective

Liu

Eker²,

Janneck

et al. 2004

IEEE Trans. Contr. Syst. Technol.

Self Cite

View full text Add to dashboard Cite

show abstract

“…With the support of an underlying framework, e.g. the Moses tool suite [10], the designer can edit, simulate and automatically analyse heterogeneous models. At the time of writing, the core part of the presented work in this article has been implemented in the Moses.…”

Section: Introductionmentioning

confidence: 99%

“…Their static semantics is specified by a set of first-order predicates over the abstract syntax of the graphs. The reason for choosing this approach is mainly due to the strong tool support from the Moses tool suite [10]. It is also because this approach is generic to graph-like visual languages and thus makes heterogeneous modelling possible [20].…”

Section: Introductionmentioning

confidence: 99%

A method for describing the syntax and semantics of UML statecharts

2004

View full text Add to dashboard Cite

In this article we present a method for describing the language of UML statecharts. Statecharts are syntactically defined as attributed graphs, with wellformedness rules specified by a set of first-order predicates over the abstract syntax of the graphs. The dynamic semantics of statecharts is defined by Abstract State Machines parameterized with syntactically-correct attributed graphs. The presented approach covers many important constructs of UML statecharts, including internal, completion, interlevel and compound transitions as well as history pseudostates. It also contains strategies to handle state entry/exit actions, state activities, synch states and choice pseudostates.

show abstract

“…This is because it involves fewer traversals through these task graphs in subsequent invocations of the analysis, thereby saving the overheads associated with these traversals due to the potentially complicated data structures. This observation stems from our attempt to integrate this schedulability analysis algorithm inside a tool-suite [Esser and Janneck 2001] where the task graphs were specified using a graphical user interface and were embedded inside other data structures that were a part of this tool-suite. In this implementation we observed 20× speedups using our algorithm for task graphs with less than 40 vertices.…”

Section: Experiments With Step (I)mentioning

confidence: 99%

Interactive schedulability analysis

Bordoloi

Chakraborty

2007

ACM Trans. Embed. Comput. Syst.

View full text Add to dashboard Cite

A typical design process for real-time embedded systems involves choosing the values of certain system parameters and performing a schedulability analysis to determine whether all deadline constraints can be satisfied. If such an analysis returns a negative answer, then some of the parameters are modified and the analysis is invoked once again. This iteration is repeated till a schedulable design is obtained. However, the schedulability analysis problem for most task models is intractable (usually co-NP hard) and hence such an iterative design process is often very expensive. To get around this problem, we introduce the concept of "interactive" schedulability analysis. It is based on the observation that if only a small number of system parameters are changed, then it is not necessary to rerun the full schedulability analysis algorithm, thereby making the iterative design process considerably faster. We refer to this analysis as being "interactive" because it is supposed to be run in an interactive mode. This concept is fairly general and can be applied to a wide variety of task models. In this paper we have chosen the recurring real-time task model because it can be used to represent realistic applications from the embedded systems domain (containing conditional branches and fine-grained deadline constraints). Our experimental results show that using our scheme can lead to more than 20× speedup for each invocation of the schedulability analysis algorithm, compared to the case where the full algorithm is run.

show abstract

Moses-a tool suite for visual modeling of discrete-event systems

Cited by 22 publications

References 11 publications

Actor-Oriented Control System Design: A Responsible Framework Perspective

Actor-Oriented Control System Design: A Responsible Framework Perspective

A method for describing the syntax and semantics of UML statecharts

Interactive schedulability analysis

Contact Info

Product

Resources

About