10
How to make Ada go “viral”. The GNU Go Ada Initiative, http://gnugoada.info David SAUVAGE Software Agile Architect [email protected] ACM SIGAda 2011 8 th of November CC BY-NC-SA 3.0

SIGAda 2011 AdaLabs presentation slides : How make Ada go viral

  • Upload
    adalabs

  • View
    628

  • Download
    3

Embed Size (px)

DESCRIPTION

How Ada could help the GNU community, what Ada has to bring, and how Ada could help improving the GNU project.ada programming

Citation preview

Page 1: 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 SAUVAGESoftware Agile Architect

[email protected]

ACM SIGAda 20118th of November

CC BY-NC-SA 3.0

Page 2: SIGAda 2011 AdaLabs presentation slides : How make Ada go viral

GNU perspective : Do we need to change ?

http://www.debian.org/Bugs/dated 2011/11/07

Page 3: SIGAda 2011 AdaLabs presentation slides : How make Ada go viral

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)

Page 4: SIGAda 2011 AdaLabs presentation slides : How make Ada go viral

GNU perspective : Do we need to change ?

Page 5: SIGAda 2011 AdaLabs presentation slides : How make Ada go viral

GNU perspective : Do we need to change ?

Page 6: SIGAda 2011 AdaLabs presentation slides : How make Ada go viral

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 ?

Page 7: SIGAda 2011 AdaLabs presentation slides : How make Ada go viral

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

Page 8: SIGAda 2011 AdaLabs presentation slides : How make Ada go viral

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:

Page 9: SIGAda 2011 AdaLabs presentation slides : How make Ada go viral

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