Home Explore Help
Sign In
simon
/
18.10.MoDELS.SCTutorial
Watch 1
Star 0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Branch: master
Branches Tags
18.10.MoDELS...
/
tutorialAbstractOnMoDELSwebsite.txt

tutorialAbstractOnMoDELSwebsite.txt 2.4 KB
Permalink History Raw

123456789101112131415161718192021222324252627282930313233 
  1. Developing Reactive Systems with Statecharts
    2. 

  2. 

  3. Speakers: Simon Van Mierlo and Hans Vangheluwe
    4. 

  4. 

  5. Abstract:
    6. 

  6. 

  7. Statecharts, introduced by David Harel in 1987, is a formalism used to specify the behaviour of timed, autonomous and reactive systems 
    8. 

  8. using a discrete-event abstraction. 
    9. 

  9. It is an extension of Timed Finite State Automata which adds depth, orthogonality, broadcast communication and history. 
    10. 

  10. Its visual representation is based on higraphs, which combine graphs and Venn diagrams. 
    11. 

  11. Many tools offer visual editing, simulation and code synthesis support for the Statecharts formalism. 
    12. 

  12. Examples include STATEMATE, Rhapsody, Yakindu, and Stateflow, each implementing different variants
    13. 

  13. of Harel's original Semantics. This tutorial introduces Statecharts modelling, simulation, and testing. 
    14. 

  14. As a running example, the behaviour of a traffic light, a simple timed, autonomous and reactive system is modelled. 
    15. 

  15. We start from the basic concepts of states and transitions and explain the more advanced concepts of Statecharts by 
    16. 

  16. extending the example incrementally. We discuss several semantics variants, such as STATEMATE and Rhapsody. 
    17. 

  17. We use Yakindu to model the example system.
    18. 

  18. 

  19. Length: half day
    20. 

  20. 

  21. Biography:
    22. 

  22. 

  23. Simon Van Mierlo is a post-doctoral researcher at the University of Antwerp (Belgium). 
    24. 

  24. He is a member of the Modelling, Simulation and Design (MSDL) research lab. During his PhD thesis, he developed debugging techniques 
    25. 

  25. for modelling and simulation formalisms by explicitly modelling their operational semantics using Statecharts. 
    26. 

  26. He is the main developer and maintainer of SCCD, a hybrid formalism that combines Statecharts with Class Diagrams.
    27. 

  27. 

  28. Hans Vangheluwe is a Professor at the University of Antwerp (Belgium), and an Adjunct Professor at McGill University (Canada). 
    29. 

  29. He heads the Modelling, Simulation and Design (MSDL) research lab distributed over both locations. 
    30. 

  30. In a variety of projects, often with industrial partners, he develops and applies the model-based theory and techniques of Multi-Paradigm Modelling (MPM). 
    31. 

  31. His current interests are in domain-specific modelling and simulation, including the development of graphical user interfaces for multiple platforms. To model such reactive systems, he advocates the use of Statecharts to describe their behaviour.
    32. 

  32. He is co-founder and chair of the European COST Action IC1404 "Multi-Paradigm Modelling for Cyber-Physical Systems" (MPM4CPS).
    33. 

  33.