TTM4115 Assignments
Exercises
Exercise 1
Exercise 2
Excercise 3
Exercise 4 (Arctis)
In the term assignment we shall use the Arctis tool to develop a system. The purpose of this exercise is to get started with Arctis.
1. Visit http://www.bitreactive.com/. Register as user with Google ID. Be sure to state: “Arctis access for the TTM4115 course” in the subject field.
2. As soon as a you register at bitreactive.com, we'll send you an email with the instructions including the arctis update site and the required username and password.
3. Once you have received the access right, go to the web site: http://arctis.item.ntnu.no/ and follow the instructions to download Eclipse and install Arctis (see the left margin menu). Please Install the 32 bit version of Eclipse
4. Open the tutorials overview (see the left margin menu) and do tutorial 1, 2 and 3
Note: Please bring your own laptops. Don't download the building blocks from the repository (i.e. skip the sharing via svn part of the tutorial.
Exercise 5 (Arctis)
Download Client GUI from here for this exercise.
Exercise 6 (Arctis)
Exercise 7 (Process algebra)
Term Assignment
Taxi Central v2 issued on 30.03.2012
Download GUI blocks from here
Update Arctis (notified on 22.03.2012) Go to Help → Check for updates
- Form the groups as per instructions given on Student groups link. Remember the deadline for forming groups is 13.03.2012.
- Please check this website regularly for updates.
Submission details (Term Assignment)
You need to submit the following documents to urooj@item.ntnu.no:
1. Arctis models as zipped files. In Eclipse, Go to File → Export → Archive file. Export the project as zip file (4th May, 2012 before 23:59)
2. The presentation file (on 9th May).