TDDC05 Embedded systems simulation and verification

Project work

Approval of the project work is based on five activities:

• Requirements engineering leading to a requirements specification document agreed by the customer
• Design of the system leading to a design document approved by the consultant
• LIPS documents including project plan, time plan and post-analysis report
  • Deadline for time plan: 7th of February
  • Deadline for post-analysis report: before the oral presentation
• Simulation and verification leading to a written summary of test and formal verification results
• Oral presentation in presence of other course participants and the teacher team

Deadline for oral presentation: end of week 22 (the exact date of the presentation will be agreed with the examiner).

Page responsible: Jonas Elmqvist
Last updated: 2006-01-19