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