SIGAda 2011 AdaLabs presentation slides : How make Ada go viral
How to make Ada go “viral”. The GNU Go Ada Initiative, http://gnugoada.info David SAUVAGE Software Agile ArchitectCC BY-NC-SA 3.0 firstname.lastname@example.org ACM SIGAda 2011 8th of November
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.html Dated 2011/11/07 201 Debian Security Advisories (in 2011) 174 Debian Security Advisories (in 2010) 271 Debian Security Advisories (in 2009)
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 ?
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 lots of FLOSS applications areas● Ada suites multi language and multi platform environment● Improve democracy on libre projects
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
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 Apps ● Pedagogic● Create a Libre Software Engineering Energy ● Fashion Indicator & platform (à la ohloh)