Modeling systems with Statecharts has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications with the paradigms established so far often results in models that are difficult to comprehend and maintain, which severely compromises their practical use. The Kiel Integrated Environment for Layout (KIEL) is a modeling environment for the e...

In this paper we present the Model Advisor Transformation Extension (MATE). The purpose of MATE is to complement the functionality of the MathWorks MATLAB, Simulink, and Stateflow, Model Advisor, and to extend the tool’s capabilities with regard to model transformation and improvement functions. Examples of MATE features are: automatic or interactive model analysis and repair functions; design ...

MATLAB® is a popular tool for the engineers in the electrical and electronic fields. ACMs can also be modelled in MATLAB® in order to investigate the applications in control system. An approach of converting a Petri net model into a Simulink model is studied. As an example, a Signal ACM model is created in Simulink with Stateflow. The simulation results show that the model maintains all the req...

This paper, establishes a complete vehicle model in MATLAB/Simulink development environment, constructs a vehicle control application using Stateflow, Generates C source code for a microcontroller with Real Time Workshop, builds object code for target CPU, develops an efficient seamless development system used in real-time hardware in the loop system, and validates the system practical performa...

This study investigates the potential application of Stateflow (SF) to design an energy management strategy (EMS) for a renewable-based hybrid system (HES). The SF is extended finite state machine; it provides platform design, model, and execute complex event-driven systems using interactive graphical environment. HES comprises photovoltaics (PV), storage units (ESU) diesel generator (Gen), int...

We present a tool for verification of hybrid systems expressed in the sequential fragment HCSP (Hybrid Communicating Sequential Processes). The permits annotating programs with pre- and postconditions, invariants, proof rules reasoning about ordinary differential equations. Verification conditions are generated from annotations following Hoare logic systems. designed labeling highlighting mecha...