Module de.learnlib.testsupport.example
Package de.learnlib.testsupport.example.mmlt

Class MMLTExamples

java.lang.Object
de.learnlib.testsupport.example.mmlt.MMLTExamples
public final class MMLTExamples extends Object
A collection of MMLT-based learning examples.

  • Method Details

    • hvac

      public static LearningExample.MMLTLearningExample<String,String> hvac()
      Returns an MMLT example of an HVAC system.

      The system has been adapted from: Taylor and Taylor: Patterns in the Machine

      Returns:
      a learning example for the specified machine

    • sctp

      public static LearningExample.MMLTLearningExample<String,String> sctp()
      Returns an MMLT example of an endpoint in the stream control and transmission protocol.

      The model has been adapted from: Stewart et al.: Stream Control Transmission Protocol (RFC 9260, Figure 3)

      Returns:
      a learning example for the specified machine

    • sensorCollector

      public static LearningExample.MMLTLearningExample<String,String> sensorCollector()
      Returns an MMLT example of a sensor collector.

      The sensor measures particulate matter and ambient noise. The measurement program automatically ends after some time. The program may be restarted at any time. Alternatively, a self-check program can be entered. This also ends after some time and may be aborted. At the end of either program, the collected data may be retrieved.

      Returns:
      a learning example for the specified machine

    • wm

      public static LearningExample.MMLTLearningExample<String,String> wm()
      Returns an MMLT example of a washing machine.

      The machine is initially off. After powering it on and closing the door, the user can start either the short or the normal program. An open door prevents starting and triggers a warning. Not choosing a program within 10 seconds turns the machine off.

      In normal model, the machine fills the drum, heats the water, and starts the main wash. During this wash, it regularly adjusts the drum speed and maintains temperature. After 2 hours, the water is drained and the drum is spun at full speed for some time. Afterwards the remaining water is drained. The short program makes less adjustments, so that a wash ends after 1 hour.

      Both programs are interrupted when a leak is detected. Normal mode may also be interrupted by "stop". This drains the drum immediately. Once done, the door is unlocked, a message is shown, and the machine beeps repeatedly until the user presses any button or opens the door.

      Returns:
      a learning example for the specified machine

    • oven

      public static LearningExample.MMLTLearningExample<String,String> oven()
      Returns an MMLT example of an oven with a time-controlled baking program.

      After powering the oven on, the oven remains idle until the program is started. During the program, the oven regularly measures and adjusts the temperature. At the end of the program, an alarm sounds. Then, the user may extend the program. If not extended, the program ends either when the user opens the door, presses a button, or a timeout occurs.

      Returns:
      a learning example for the specified machine

    • wsn

      public static LearningExample.MMLTLearningExample<String,String> wsn()
      Returns an MMLT example of a wireless sensor node.

      The node regularly collects and transmits data. If the battery is low, no data is transmitted. Then, a user may collect the data manually. The node can be shut down at any time. If the battery is empty, it is shut down automatically.

      Returns:
      a learning example for the specified machine