SPARK User Group 2010

AdaCore’s partner Altran has traditionally run a bi-annual “SPARK User Group”. The talks from this years event aimed at engineers and managers who are concerned with the development, regulation, or procurement of high assurance software, but who may not be day-to-day SPARK users.

  • SPARK Ada in High SIL Active Life Support
    Alex Deas, Deep Life Ltd.
  • Autocoding – Do we Still Need Software Design?
    Rod White, MBDA
  • Designing and Implementing a Verifiable High Assurance Workstation
    Alex Senier – secunet
  • PSP and TSP: Culture and Discipline for High-Assurance Software
    Rod Chapman, Altran Praxis