SinelaboreRT Header Logo

SinelaboreRT

As simple as possible, but not any simpler!

User Tools

Site Tools


wiki:examples:pump_controller

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Next revision
Previous revision
Next revisionBoth sides next revision
wiki:examples:pump_controller [2012/10/20 19:21] – created pmuellerwiki:examples:pump_controller [2012/11/05 19:26] pmueller
Line 1: Line 1:
 ====== Sump Controller ====== ====== Sump Controller ======
  
-This example presents the software necessary to realize a simplified pump controller which might be used in a mining environment. It is based on a case study presented in [[Burns and Wellings, Real-Time Systems and Programming Languages, Addison Wesley 2001]].+{{ :wiki:examples:sump_controller.png?nolink|}} 
 + 
 +This example presents the software necessary to realize a simplified pump controller which might be used in a mining environment. It is based on a case study presented in ((Burns and Wellings, Real-Time Systems and Programming Languages, Addison Wesley 2001)).
  
 The task of the system is to pump water from a sump to the surface. There are two level monitors which start pumping if the sump is full and stop pumping if it is empty again. The task of the system is to pump water from a sump to the surface. There are two level monitors which start pumping if the sump is full and stop pumping if it is empty again.
Line 7: Line 9:
 Pumping shall only start if the methane level is below a certain threshold. In case the pump is already running it shall stop automatically. Pumping shall only start if the methane level is below a certain threshold. In case the pump is already running it shall stop automatically.
  
-{{ :wiki:examples:sump_controller.png?nolink|}}+
  
 Pumping shall only start if the methane level is below a certain threshold. In case the pump is already running it shall stop automatically. Pumping shall only start if the methane level is below a certain threshold. In case the pump is already running it shall stop automatically.
Line 34: Line 36:
 With the optional -S command line flag the graphical simulation is started (see below). The graphical simulation allows to interactively send events to the machine and observe the new active state and the executed C-code. The diagram below shows the state machine in state PumpRunning. Events that are now accepted from the machine are listed on the left and are shown in blue in the diagram. To send a transition just click on the event in the list. The output window displays a trace of the executed code as provided in the diagram. With the optional -S command line flag the graphical simulation is started (see below). The graphical simulation allows to interactively send events to the machine and observe the new active state and the executed C-code. The diagram below shows the state machine in state PumpRunning. Events that are now accepted from the machine are listed on the left and are shown in blue in the diagram. To send a transition just click on the event in the list. The output window displays a trace of the executed code as provided in the diagram.
  
-{{ :wiki:examples:sump_controller_simulation.png?nolink&200 | Sump controller simulation}}+{{ :wiki:examples:sump_controller_simulation.png?nolink | Sump controller simulation}}
  
  
 It is also possible to observe a real target which is connected to the graphical simulation. More information on how to connect an embedded target e.g. via a CAN communication link is available in the sinelabore manual. If you are interested in the model file or the generated code just send a mail to info at sinelabore dot com. It is also possible to observe a real target which is connected to the graphical simulation. More information on how to connect an embedded target e.g. via a CAN communication link is available in the sinelabore manual. If you are interested in the model file or the generated code just send a mail to info at sinelabore dot com.
  
 +
 +~~DISCUSSION|Leave your comments~~
wiki/examples/pump_controller.txt · Last modified: 2022/08/17 19:41 by pmueller

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki