StateGraph-A Modelica Library for Hierarchical State Machines

The new library Modelica.StateGraph is a freeModelica package providing components to modeldiscrete event and reactive systems in a convenientway. It has a similar modeling power as Statecharts,but avoids some deficiencies of Statecharts by usingelements of JGrafchart and by using Modelica as an“action” language. An overview of the StateGraphlibrary is given, the available components and anapplication example. The implementation of thelibrary in Modelica is sketched, especially theneeded extension to Modelica that will be availablein release 2.2 of the Modelica language

The data acquisition system of the CHORUS experiment

In the years 1994-1998 the CHORUS Collaboration has recorded data in the CERN WA95 experiment. Here we describe the data acquisition system that has been used, featuring concurrent hierarchical state machines, a remote operating system, a buffer manager, a dispatcher, a control panel and a supervisor

The data acquisition system of the CHORUS experiment

In the years 1994--1998 the CHORUS Collaboration has recorded data in the CERN WA95 experiment. Here we describe the data acquisition system that has been used, featuring concurrent hierarchical state machines, a remote operating system, a buffer manager, a dispatcher, a control panel and a supervisor

A Holistic Approach in Embedded System Development

We present pState, a tool for developing "complex" embedded systems by integrating validation into the design process. The goal is to reduce validation time. To this end, qualitative and quantitative properties are specified in system models expressed as pCharts, an extended version of hierarchical state machines. These properties are specified in an intuitive way such that they can be written by engineers who are domain experts, without needing to be familiar with temporal logic. From the system model, executable code that preserves the verified properties is generated. The design is documented on the model and the documentation is passed as comments into the generated code. On the series of examples we illustrate how models and properties are specified using pState.Comment: In Proceedings F-IDE 2015, arXiv:1508.0338

Garden Battle. An AI-focused game using Hierarchical State Machines combined ith Behaviour Trees

Treball final de Grau en Disseny i Desenvolupament de Videojocs. Codi: VJ1241. Curs acadèmic: 2020/2021This document is the result of my Final Degree Project from the Bachelor’s Degree in Video Game Design and Development. The game I made, Garden Battle, is an AIfocused one, where I used some popular AI techniques like Hierarchical State Machines and Behaviour Trees in order to make a battle simulator game. Unity is the engine that I chose, and, I used some other tools and programs for other areas such as art, project organization, etc

Tool Support for a Method and a Language Integrating Model Refinements and Project Management

International audienceComplexity of Embedded Systeme (ES) development is increasing due of several cumulative sources. Some of them are directly related to constraints on the ES themselves, like computing power, resource constraints, and multi- or many-core programming, while other are related to the industrial context, like teamwork and parallelisation of concurrent development. In this paper we present CanHOE2, a Model Driven Engineering (MDE) tool that addresses two issues of ES development: expression of parallelism by means of objects and Hierarchical State Machines (HSM), and teamwork synchronisation

Auto-coding UML statecharts for flight software

Statecharts have been used as a means to communicate behaviors in a precise manner between system engineers and software engineers. Handtranslating a statechart to code, as done on some previous space missions, introduces the possibility of errors in the transformation from chart to code. To improve auto-coding, we have developed a process that generates flight code from UML statecharts. Our process is being used for the flight software on the Space Interferometer Mission (SIM)

Statechart Slicing

The paper discusses how to reduce a statechart model by slicing. We start with the discussion of control dependencies and data dependencies in statecharts. The and-or dependence graph is introduced to represent control and data dependencies for statecharts. We show how to slice statecharts by using this dependence graph. Our slicing approach helps systems analysts and system designers in understanding system specifications, maintaining software systems, and reusing parts of systems models