Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 9 of 9 for “"statecharts"”.
-
Design of a zooming viewer for statecharts
… advent of hierarchical state diagrams, known as statecharts [HAR87], there has been a marked improvement in the way the dynamics of a system can be modelled. As systems become larger and more complex, statecharts been used successfully to reduce the complexity. However, the current lack of tools …
-
A model checker for statecharts (linking case tools with formal methods)
… of an extended state transition notation called statecharts. We have formalized an operational semantics for statecharts by embedding them in the logical framework of an interactive proof-assistant system called HOL. A software interface is provided to extract a statechart directly from the …
-
Behavioral representation of military tactics for single-vehicle autonomous rotorcraft via statecharts
… to quantify the described behaviors using statecharts. The tactics diagrammed in the statecharts, or visual models that outline transitions between states based on conditions being met or events having occurred, are tested for feasibility in scenarios constructed with a US Army simulation …
-
Metamodelización y formalismos para la representación del comportamiento
… real-time systems. Several formalisms, such as Statecharts or Petri Nets, have been developed specifically to model this kind of systems, and a good deal of variants of each of these formalisms have been created. This complex situation suggests the usefulness of a framework that allows to …
-
Steps Towards Creating Socially Competent Game Characters
… patterns has then been modelled using Harel statecharts and implemented in State Chart XML, a candidate to become a W3C standard.
-
Clone Detection In Matlab Stateflow Models
… is Stateflow, which allows the user to embed Statecharts as components in a Simulink Model. These state machines contain nested states, an action language that describes events, guards, conditions and actions and complex transitions. As Stateflow has become increasingly important in Simulink …
-
Pragmatic Software Architecture Visualization with Web Technology
… experimentell und empirisch mit der grafischen Statecharts-Sprache SCCharts und mehreren Architekturen von quelloffenen und industriellen Softwareprojekten.
-
Detecting Misbehaviour in a Complex System-of-Systems Environment
… by controlling monitoring observations using statecharts, which react to the level of behavioural threat perceived by the system. The accuracy of behavioural analysis is improved by using a novel algorithm to quantify detected behavioural abnormalities, in terms of their level of irregularity. …
-
Exception Handling in Recipe-Based Batch Control
… functionality is similar to the super-states in Statecharts. Step fusion sets provide a way to have multiple graphical representations, or views, of the same step. Using step fusion sets it is possible to separate the exception-handling logic from the normal operation sequences in a way that …