Software Development for Safe and Secure Systems
Instructor: Jakob Wenzel
Class Meeting: every two weeks 03:15 pm (Start: 14th April 2015), Seminar room 14 (S014), Bauhausstraße 11 (B11)
Computer Science and Media, M.Sc.
The problem sets have to be submitted two day before the class meeting at 12:00 (noon). Send them by e-mail to jakob.wenzel(at)uni-weimar.de.
- Welcome Speech
- Problem Set 1 (due to 12th April)
- Problem Set 2 (normal tasks due to 26th April, mini projects due to 24th April)
- Specification: frac.ads, gf2n.ads, rgb.ads
- Mini project 1: Veronika Krauß
- Mini project 2: Vasilii Ponteleev, Ekaterina Fuchkina
- Problem Set 3 (normal tasks due to 12th May, mini projects due to 8th May)
- Specification: snack_machine.ads, speck32.ads
- Mini project 1: René Levin
- Mini project 2: Mariya Kaisheva, Adrian Kreskowski
- Mini project 3:
- Problem Set 4 (normal tasks due to 24th May, mini projects due to 22th May)
- Specification: snack_machine.ads, rgb.ads
- Mini project 1:
- Mini project 2: Le Do Thai Binh
- Mini project 3: Nguyen Thien Chinh
- Problem Set 5 (mini projects (presenting) due to 7th June, mini projects (not presenting) due to 9th June)
- Specification: insertion_sort.ads, array_handling.ads, voting.ads
- Problem Set 6 (mini projects (presenting) due to 21st June, tasks (not presenting) due to 23rd June)
- Specification: banking.ads
- Mini project 1: Matthew Heinz
- Mini project 2: Yamen Ajjour
- Mini project 3:
- Mini project 4: Thomas Dressel
- Problem Set 7 (mini projects (presenting) due to 5th July, tasks (not presenting) due to 7th July)
- Specification: graph.ads, binary_trees.ads
- Mini project 1: Gabriela Molina, Roxanne El Baff
- Mini project 2: Payam Adineh
- Mini project 3: Tom Kohlberg
- Bonus Problem Set (mini projects (presenting) due to 21st August, tasks (not presenting) due to 23rd August)
- The testgen source can be found here
- The Armageddon package: armageddon.ads, armageddon.adb
- Additional Slides (Q & A Session 16th July 2015):
- Slideset (about Testing, DbC, Hoare Logic, Logical Clocks / Consistent Cut, Pragmas)
- Distributed Systems (German)
- You can work in groups of at most three students. Only one write-up per group is required.
- We highly recommend to compose your solutions in LaTeX
- A LaTeX template can be found here. It can be simply build by using pdflatex.
The majority of the problem sets include so called mini-projects. Admission to oral examination is the successful completion of at least two such mini-projects, and presenting one mini-project. The presentation is about 15 minutes plus 5 minutes discussion.
- Deadline: TBA
- Policy: First come, first serve.
- Notification: TBA
- You get points for solving problems and mini-projects. Achieve at least 25% of the points per problem set to get a 1/3 bonus to your grade.
- After the end of lectures, bonus projects will be available. Solve them to get an additional 1/3 bonus to your grade.