The document discusses how to promote the use of the Ada programming language and proposes that the GNU Go Ada Initiative design and maintain an Ada Linux kernel module, develop an Ada scheduler framework similar to Apple's Grand Central Dispatch, use SPARK/Ada for safety and security, and federate efforts to work together on Ada applications for web, operating systems, microkernels, and "killer apps" to help Ada go "viral". It also suggests creating a platform to measure the energy spent on software activities for free and open source software communities.

1. How to make Ada go “viral”.
The GNU Go Ada Initiative,
http://gnugoada.info
David SAUVAGE
Software Agile Architect
CC BY-NC-SA 3.0 david.sauvage@adalabs.com
ACM SIGAda 2011
8th of November

2. GNU perspective : Do we need to
change ?
http://www.debian.org/Bugs/
dated 2011/11/07

3. GNU perspective : Do we need to
change ?
http://www.debian.org/security/2011/index.en.html
Dated 2011/11/07
201 Debian Security Advisories (in 2011)
174 Debian Security Advisories (in 2010)
271 Debian Security Advisories (in 2009)

4. GNU perspective : Do we need to
change ?

5. GNU perspective : Do we need to
change ?

6. Sustainable Development
toward FLOSS community
●
Measure energy spent in software activities
●
Waste of energy reduction policies
●
Use of efficient technology, tools &
processes roadmaps
How much Energy to build/maintain/recycle:
– a car ?
– a software component ?

7. Ada can help
●
Ada is Libre Technology
●
Ada helps FLOSS applications going safe and secure
●
Ada lowers the energy to maintain FLOSS applications
●
Ada suites lot's of FLOSS applications areas
●
Ada suites multi language and multi platform environment
●
Improve democracy on libre project's

8. Ada can help
Ada is an attractive technology that provides:
●
One of the richest language ●
Distributed computing
semantic
●
Interfacing to other languages
●
Strong typing
●
Genericity
●
Static typing
●
Enhanced package visibility
●
Object oriented
programming ●
Standard library services
●
Exception handling ●
Portability
●
Aspect programming ●
Static reflexion (using ASIS)
●
Formal methods ●
Composition, Extension,
(using SPARK Ada) Abstraction
●
Real-time & multi-tasking

9. GNU Go Ada proposition
● Design and Maintain an Ada Linux Kernel Module
● Ada scheduler framework à la Apple Grand Central Dispatch
● SPARK/Ada
● Web
● OS ●
Federate efforts
● µkernel (Hurd, L4, Ada specific) ●
Work together
● Killer App's ●
Pedagogic
● Create a Libre Software Engineering Energy ●
Fashion
Indicator & platform (à la ohloh)

10. That's all folks
http://gnugoada.info