Software Development for Safe and Secure Systems

Problem Session

Instructor: Christian Forler

Class Meeting:

Wednesday 11:00 am - 12:30 pm in seminar room 14. Bauhausstraße 11; Start: October 19, 2011.

Target audience:

Master Computer Science and Media

Problem Sets:

• Welcome Speech
• Problem Set 1. (Due: October 19 in class or  October 17, 5:00 pm by email)
• Problem Set 2 (Due: October 31, 10:00 pm by email). Solution: gf2n.ads, gf2n.adb.
• Problem Set 3  (Due: November 14, 12:00 am by email); coffee_machine.ads, generic_graph.ads, mark_graph.ads. Here is a little example of redirecting the standard output into a file.  Redirect standard output, it allows to test functions that write to standard output, like Put.
• Problem Set 4 (Due November 30, 12:00 am by email); generic_graph.adb, mark_graph.adb, graph_algorithms.ads, correct_ballout_box.ads, rgb_spark.ads.
  • Pointers for Problem 2:
    
    • Records with default values can not be sparked. Remove the default assignment.
    • Operator overloading is hard to spark. You can replace an overloaded operator function with a procedure.
    • Pre- and post-conditions are not required to solve the problem.
    • You are allowed to hide the Put implementation.
  • Spark pointer: Secret Progammer Trick #11: Read the documentation.
    • Read  Examiner_UM.pdf
    • Read  SPARK_QRG1.pdf
    • Read  SPARK_QRG2.pdf
• Problem Set 5 (Due: December 12, 12:00 am by email)
• Problem Set 6 (Due: January 09, 12:00 am by email); Solution: Problem 1
• Problem Set 7 (Due: January 23, 12:00 am by email); mini_rc4.ads, mini_rc4.adb, hofstadter.ads, hofstadter.adb, armageddon.ads, armageddon.adb.
• Bonus Problem Set: (Due: March 01, 12:00 am by email); Threshold for the final grade bonus: 50 %; vectors.ads, vectors.adb.

Mini-Projects:
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:Monday before problem session, 12:00 am.
• Policy:  First come first serve.
• Notification: Friday after the problem session, 10:00 pm.

Final Grade-Bonus:

•  From the second problem set you get points for solving problems and mini-projects.  Achieve at  least 25% of the points per problem set   (1/3 bonus).
• After the end of lectures, bonus projects will be available.  Solve them and get an additional 1/3 bonus.