Verified Software Initiative: Embedded Systems

Project sponsored by UKIERI (2009--11)

Project Team: IISc

• Deepak D'Souza
• Prahlad Sampath.
• Sumesh Divakaran.
• Anirudh Kushwah.
• Virendra Singh

Project Team: York University

• Jim Woodcock
• Leo Freitas
• Jeremy Jacob
• Steve King
• Shu Cheng
• James Mistry
• Piyawat Lam

Talks and other material

• Meeting in Feb/May 2011 in Bangalore.
• Pre-ICTAC School on Software Engineering:
  • Z model and latex source (Jim).
  • Lecture 1 (Jim).
  • Lecture 2 (Jim).
  • Lecture 3 (Jim).
  • RTOS working (Deepak).
  • RTOS implementation (Deepak).
  • RTOS specification (Deepak).
  • xList data structure (Sumesh).