The Stateflow to Lustre Translator User's Manual

Norman Scaife
Laboratoire VERIMAG, Centre Equation,
2, avenue de Vignate, 38610 GIERES, France
Norman.Scaife@imag.fr

• Introduction
• The sf2lus translator
  • A simple worked example
  • Debugging Stateflow with sf2lus
• Events
  • Event broadcasting
  • Event sending
• Junction loops
  • Junctions as states
  • Loop unrolling
  • Discussion
• Observers and safety properties
  • Observers in Lustre
  • Observers in Stateflow
  • Types of observers
• Using sf2lus with s2l and ss2lus
  • ss2lus syntax
  • Matlab workspace files
• Miscellaneous features
  • Matlab revisions
  • Syntax control
  • Output formatting
  • Output language
  • Namespace management
  • General translator control
  • Data management
  • Time
  • Observers
  • Debugging features
• The display_graph utility
• sf2lus command line options
• display_graph command line options
• References

This document was translated from L^AT_EX by H^EV^EA and H^AC^HA.