Hi,
Saab has generated a lot of Ada 95/2005 code for several projects with an in house Ada model compiler, starting in 2003. One presentation of the work was performed on the ModProd conference in Linköping, Sweden ini 2007:
http://www.modprod.liu.se/workshop_2007/1.46536/talk6-2007.pdf
A SPARK Ada model compiler was also developed and deployed. That work was presented at the Ada Europe 2010 conference:
– overview: http://www.disca.upv.es/jorge/ae2010/slides/Guide_to_Industrial_Sessions.pdf
– presentation: https://www.yumpu.com/en/document/view/28328312/applying-model-driven-architecture-and-spark-ada/17
