SIGAda 2011 AdaLabs presentation slides : How make Ada go viral

777 views
694 views

Published on

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

Published in: Technology, Education
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
777
On SlideShare
0
From Embeds
0
Number of Embeds
28
Actions
Shares
0
Downloads
1
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

SIGAda 2011 AdaLabs presentation slides : How make Ada go viral

  1. 1. How to make Ada go “viral”. The GNU Go Ada Initiative, http://gnugoada.info David SAUVAGE Software Agile ArchitectCC BY-NC-SA 3.0 david.sauvage@adalabs.com ACM SIGAda 2011 8th of November
  2. 2. GNU perspective : Do we need to change ? http://www.debian.org/Bugs/ dated 2011/11/07
  3. 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. 4. GNU perspective : Do we need to change ?
  5. 5. GNU perspective : Do we need to change ?
  6. 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. 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 lots of FLOSS applications areas● Ada suites multi language and multi platform environment● Improve democracy on libre projects
  8. 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. 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 Apps ● Pedagogic● Create a Libre Software Engineering Energy ● Fashion Indicator & platform (à la ohloh)
  10. 10. Thats all folkshttp://gnugoada.info

×