Since 2010, while we developed the language and toolset for SPARK 2014, David Lesens from Astrium Space Transportation has developed an extensive case study in the space domain using the prototypes we produced. On a smaller scale, David Mentré from Mitsubishi Electric R&D Centre Europe has developed a case study in the rail domain, and more recently Pavlos Efstathopoulos from Altran UK Limited has developed a case study in the security domain. The results of these three case studies are presented in the paper we will publish at ERTS 2014.
- Spark 2014 Case Studies - 2957.88 kB
- Erts 2014 - 288.96 kB