Homework Assignment - Requirements and Advice

Requirements against the homework

Read this description throroughly. For clarification, see also the lecture slides explaining the homework assignment (found under course materials). For your individual topic refer to the department homework portal (you have to switch to english and to log in there with your BME EduID).

There is both an optional warm-up assignment and a mandatory assignment as part of the System Modelling course. For both assignments, you have to use the Yakindu Statechart Tools software. We suggest you to use the (free) Community Edition. You can find some further supporting materials here.

Besides the above software you will need to download a packet (separately for the warm-up and for the mandatory assignments) provided by us. These packets are individualized, please download your own one, do not use the packets prepared for another students. These packets usually include

  • a description of the task that is assigned to you,
  • an Eclipse project skeleton to start with,
  • some test cases to test your solution.

Warm-up assignment

Use your BME EduID to login to this site to download your individual warm-up assignment. For a specification of your task check this page.

Submission deadline is the 10th March 2019 23:59. You have to upload the SCT file of your Yakindu project at our department homework portal. (The submission links will be closed at the deadline automatically.) You have to upload one single SCT file (containing your statechart description), nothing else, in a ZIP-archive. Be careful, the file should contain the result of your work, do not submit the empty project skeleton. Check it before submitting.

With a successful submission, you can gain max. 4 extra points for your final grade. The real goal of the warm-up assignment is to let you check whether you can install, run and use the tool, whether you can download and submit your assignment.

Mandatory assignment

You can download your mandatory assignment here. The submission deadline is the 5th May 2019 23:59. You have to upload the SCT file of your Yakindu project at our submission portal. (The submission links will be closed at the deadline automatically.) You have to upload one single SCT file (containing your statechart description), nothing else, in a ZIP-archive. Be careful, the file should contain the result of your work, do not submit the empty project skeleton. Check it before submitting.

As part of your assignment, you will get some elementary test cases. You must run them before submitting your work. Submissions that fail the published test cases will not be considered as complete. Submissions that contain prohibited model elements ("always", "oncycle", ...) will be rejected without further evaluation. We also suggest you to use the built-in simulation feature of the Yakindu tool, as well. As part of your assignment, you will also get a graphical interface for your system. You may use it to check whether your solution works as it is expected.

Useful advice

General advice

  • Read the detailed conditions doc carefully, preferably once before each submission.
  • For backup purposes, export your model regularly.
  • Verify whether you can seamlessly import these model exports, especially when getting ready for submission.

Materials