Formal Methods in the Software Life Cycle: Schedule

[ main | background | applications | schedule | deliverables ]

Week 1

• Lecture: Monday April 26, 10.00 - 12.30. General introduction, smart cards, Java Card.
  • Slides introduction (ppt)
  • Slides smart cards (ppt)
  • Slides Java Card (ppt)
  • Slides Java Card Applet Creation (pdf)
• Feedback:
  • For general and essay matters contact Erik de Vink,
  • for smartcard programming issues contact Martijn Oostdijk.
• Assignment:
  • Get groupwise the example applications, Chipknip, Table and Calculator running.
  • Prepare groupwise a 5 to 8 page document describing concisely the projectplan for the applet and terminal for your case. Short and sweet is preferred over long and unwindly. Send it to Erik de Vink before 9.30 hours, Monday May 3rd, 2004.
  • Think about and search for an inspiring topic for your essay.

Week 2

• Lecture: Monday May 3, 10.00 - 12.30. JML and ESC/Java.
  • Slides JML language (pdf)
  • Slides ESC/Java (pdf)
• Assignment:
  • ESC/Java homework assignment - it contains a README file. Email your solutions to Joe (kiniry@acm.org) by Thursday evening, May 6.
  • Also remember to sent the paper proposal for your essay to Erik de Vink by Monday May 10.

Week 3

• Lecture: Monday May 10, 10.00 - 12.30. JML and ESC/Java (cont).
  • Slides specification of APDU class (pdf)
  • Slides JCE (Java Cryptography Extension) (pdf)
• Title and abstract essay due.

Week 4

• Lecture: Monday May 17, 10.00 - 12.30. JML runtime checker.
  • Slides Modeling the Applet Life Cycle and Security Protocols in JML (pdf)
• Feedback: Monday May 17. Group meetings.

Week 5

• Monday May 24. Consultancy hours
• Thursday May 27. Consultancy hours

Week 6

• Wednesday June 2. Final presentation:
  Each group gives an overview of their application and a demo showing its working (25 minutes in total).
• Friday June 4. Final document due:
  8 to 12 page discussion on the influence of the formal modelling on the design and implementation of your application;
  gzipped tar file of all class files including comments and annotations.
• Friday June 4. Essay paper due:
  6 to 12 page essay on a topic related to formal methods.