How to make Ada go “viral”.
The GNU Go Ada Initiative,http://gnugoada.info
David SAUVAGESoftware Agile Architect
ACM SIGAda 20118th of November
CC BY-NC-SA 3.0
GNU perspective : Do we need to change ?
http://www.debian.org/Bugs/dated 2011/11/07
GNU perspective : Do we need to change ?
http://www.debian.org/security/2011/index.en.htmlDated 2011/11/07201 Debian Security Advisories (in 2011)174 Debian Security Advisories (in 2010)271 Debian Security Advisories (in 2009)
Sustainable Developmenttoward 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 ?
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
Ada can help
● One of the richest language semantic
● Strong typing
● Static typing
● Object oriented programming
● Exception handling
● Aspect programming
● Formal methods(using SPARK Ada)
● Real-time & multi-tasking
● Distributed computing
● Interfacing to other languages
● Genericity
● Enhanced package visibility
● Standard library services
● Portability
● Static reflexion (using ASIS)
● Composition, Extension,
Abstraction
Ada is an attractive technology that provides:
GNU Go Ada proposition
● Design and Maintain an Ada Linux Kernel Module
● Ada scheduler framework à la Apple Grand Central Dispatch
● SPARK/Ada
● Web
● OS
● µkernel (Hurd, L4, Ada specific)
● Killer App's
● Create a Libre Software Engineering Energy
Indicator & platform (à la ohloh)
● Federate efforts
● Work together
● Pedagogic
● Fashion
That's all folks
http://gnugoada.info