state charts in sysml n.
Download
Skip this Video
Download Presentation
State charts in SysML

Loading in 2 Seconds...

play fullscreen
1 / 15

State charts in SysML - PowerPoint PPT Presentation


  • 158 Views
  • Uploaded on

State charts in SysML. Announcements. 15 July 2004 – I-Logix announce that BAe systems are standardising on Statemate for development of Eurofighter Typhoon - using MDD – Model-driven Development Dec 14 2004 Statemate chosen for use by MBDA in the development of METEOR.

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about 'State charts in SysML' - jeb


Download Now An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
announcements
Announcements
  • 15 July 2004 – I-Logix announce that BAe systems are standardising on Statemate for development of Eurofighter Typhoon
  • - using MDD – Model-driven Development
  • Dec 14 2004 Statemate chosen for use by MBDA in the development of METEOR
model driven development
Model–driven Development
  • Design behaviour using diagrammatic notations
  • Demonstrate and evaluate the behaviour early in the development process
  • Generate the delivered code/part directly from the model, perhaps guided by the designer with additional decisions.
statemate
Statemate
  • A state machine design tool based on David Harel’s state charts (incorporated into UML)
  • Allows
    • Simulation – what would happen if the following sequence of events occurred.
    • Analysis – prove that the system can never lock up
    • Code generation – to C for loading into embedded processors
basic state machine
Basic State Machine
  • The basic concepts in this notation are:
    • state
      • A mode of the object/component/sub-system
    • transition
      • A change of state caused by an event or input, perhaps back to the same state
    • event
      • the input which causes a transition to occur
    • action
      • An action which occurs when a transition is made
exercise
Exercise
  • 1.1. What sequence of noises does it make when the sequence ABACAC is in put?
  • 1.2 What about BABAAC?
  • 1.3 What kind of error in the machine does the sequence ACCBA reveal?
  • 1.4 What kind error in the machine does the input BABC reveal?
  • 1.5 What kind of error does the sequence ABAXAC reveal?
  • 1.6 Give other examples of good and bad input.
another simulator
Another Simulator
  • This simulator takes a text file (written in an XML vocabulary) and builds a model which can be executed or visualized.
  • Local CEMS FSM simulator
  • Web Simulator
noise machine model
Noise machine model

<stm name="Noise Machine">

<initialState id="1" />

<finalState id="4"/>

<state id="1"/>

<state id="2"/>

<state id="3"/>

<state id="4"/>

<event id="A"/>

<event id="B"/>

<event id="C"/>

<transition from="1" to="2" input="A"> <action> print "boing" </action> </transition>

<transition from="1" to="3" input="B"> <action> print "clack" </action> </transition>

<transition from="1" to="4" input="C"> <action> print "clang" </action> </transition>

<transition from="2" to="1" input="A"> <action> print "hiss" </action> </transition>

<transition from="2" to="3" input="B"> <action> print "bang" </action> </transition>

<transition from="2" to="2" input="C"> <action> print "pong" </action> </transition>

<transition from="3" to="2" input="A"> <action> print "ping" </action> </transition>

</stm>

physical devices
Physical devices
  • Mechanical devices can be modelled with FSMs too
exercise 3
Exercise 3
  • A vending machine can accept 5, 10 and 20p coins up to a total value of 30p. There is one dispense button. When pressed, the machine issues a cold drink can and pockets the 30p.
  • Define a suitable state machine. Note that the amount entered so far must be described only in the state of the machine, not in a separate counter.
chinese clock
Chinese clock
  • Operating for clock
  • Time display:-
  • The normal display of Hour Minute and Month day are alternate move.
  • Time setting:-
  • 1) push S1 once, display shows MONTH, push S2 to advance month
  • 2) push S1 twice, display shows DAY of MONTH, push S2 to advance DAY
  • 3) push S1 third, display shows hour and AM/PM indicator. Push S2 to advance hour
  • 4) push S1 fourth time, display shows MINUTES. Push S2 to advance MINUTES
  • 5) push S1 fifth time, display shows normal running mode
  • 6) push S1 One more time, display will alternate TIME and DATE each 2 seconds
ad