SlideShare une entreprise Scribd logo
1  sur  56
Télécharger pour lire hors ligne
Lean principles, Open Source, and the road ahead


              Computer Science Professor
                University Paris Diderot
              http://www.dicosmo.org
               roberto@dicosmo.org



                   March 26th, 2009




              Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Free Software : a reminder


        Free (french : gratuit) :
             software you do not pay for (today)
        Free (french : libre) :
             software with 4 rights
                  use
                  study and modify
                  distribute
                  distribute sources (even modified)
                  (see for example http://www.opensource.
                  org/docs/definition.php).

                 There are obligations too, according to the
                 licence : GPL/BSD/Mozilla/X, etc.


                    Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Economy




 Reminder :
 ´conomics : the study of how society chooses to allocate scarce
 e
 resources to produce, exchange, and consume goods and services.

 Ruffin, Gregory, “Principles of Economics”, 1990




                     Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Economy




 Reminder :
 ´conomics : the study of how society chooses to allocate scarce
 e
 resources to produce, exchange, and consume goods and services.

 Ruffin, Gregory, “Principles of Economics”, 1990

                                Without scarcity, there is no economy.




                     Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Economy




 Reminder :
 ´conomics : the study of how society chooses to allocate scarce
 e
 resources to produce, exchange, and consume goods and services.

 Ruffin, Gregory, “Principles of Economics”, 1990

                            Without scarcity, there is no economy.
 Let’s remember this when revisiting the software industry . . .




                     Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Software economy, old style



  proprietary software
  based on an artificial “scarcity” of copies of a piece of software . . .




                        Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Software economy, old style



  proprietary software
  based on an artificial “scarcity” of copies of a piece of software . . .

  This follows a push approach :
       identify a market




                        Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Software economy, old style



  proprietary software
  based on an artificial “scarcity” of copies of a piece of software . . .

  This follows a push approach :
       identify a market
       develop a “one size fits all” software solution




                        Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Software economy, old style



  proprietary software
  based on an artificial “scarcity” of copies of a piece of software . . .

  This follows a push approach :
       identify a market
       develop a “one size fits all” software solution
       sell licences to a lot of users, . . . if you can




                         Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Software economy, old style



  proprietary software
  based on an artificial “scarcity” of copies of a piece of software . . .

  This follows a push approach :
       identify a market
       develop a “one size fits all” software solution
       sell licences to a lot of users, . . . if you can
       make sure the users will need new versions, often. . .




                         Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Remember this ?




                  Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Remember this ?




                  Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Remember this ?




                  Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Remember this ?




                  Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Remember this ?




                  Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Remember this ?




                  Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Remember this ?




  It is from the 1980’s, and yet we still see it happen too often !
                       Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Free Software and innovation

  In the proprietary software world, the frontiers among architects,
  programmers, testers, service providers, educators and users are
  rigid, by necessity.




                       Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Free Software and innovation

  In the proprietary software world, the frontiers among architects,
  programmers, testers, service providers, educators and users are
  rigid, by necessity.
  The acces to source code given by Free Software may blur them !
      This does not happen by itself !




                       Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Free Software and innovation

  In the proprietary software world, the frontiers among architects,
  programmers, testers, service providers, educators and users are
  rigid, by necessity.
  The acces to source code given by Free Software may blur them !
      This does not happen by itself !

  Phases of a successful FS : Martin Michlmayr (ex Debian leader)
   Cathedral phase




                       Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Free Software and innovation

  In the proprietary software world, the frontiers among architects,
  programmers, testers, service providers, educators and users are
  rigid, by necessity.
  The acces to source code given by Free Software may blur them !
      This does not happen by itself !

  Phases of a successful FS : Martin Michlmayr (ex Debian leader)
   Cathedral phase         Transition phase




                       Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Free Software and innovation

  In the proprietary software world, the frontiers among architects,
  programmers, testers, service providers, educators and users are
  rigid, by necessity.
  The acces to source code given by Free Software may blur them !
      This does not happen by itself !

  Phases of a successful FS : Martin Michlmayr (ex Debian leader)
   Cathedral phase         Transition phase                 Bazaar phase




                       Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Free Software and innovation

  In the proprietary software world, the frontiers among architects,
  programmers, testers, service providers, educators and users are
  rigid, by necessity.
  The acces to source code given by Free Software may blur them !
      This does not happen by itself !

  Phases of a successful FS : Martin Michlmayr (ex Debian leader)
   Cathedral phase         Transition phase                 Bazaar phase

   Original “idea”
   Project Author
   Core developers
   Unix philosophy



                       Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Free Software and innovation

  In the proprietary software world, the frontiers among architects,
  programmers, testers, service providers, educators and users are
  rigid, by necessity.
  The acces to source code given by Free Software may blur them !
      This does not happen by itself !

  Phases of a successful FS : Martin Michlmayr (ex Debian leader)
   Cathedral phase         Transition phase                 Bazaar phase

   Original “idea”
                        ”Interest”
   Project Author
                      ⇒ Prototype      ⇒
   Core developers
                        Modular design
   Unix philosophy



                       Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Free Software and innovation

  In the proprietary software world, the frontiers among architects,
  programmers, testers, service providers, educators and users are
  rigid, by necessity.
  The acces to source code given by Free Software may blur them !
      This does not happen by itself !

  Phases of a successful FS : Martin Michlmayr (ex Debian leader)
   Cathedral phase         Transition phase                 Bazaar phase

                                                            Distributed
   Original “idea”
                        ”Interest”                          development
   Project Author
                      ⇒ Prototype      ⇒                    Community
   Core developers
                        Modular design                      Parallel maintenance
   Unix philosophy
                                                            Peer reviews


                       Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Free Software and innovation

  In the proprietary software world, the frontiers among architects,
  programmers, testers, service providers, educators and users are
  rigid, by necessity.
  The acces to source code given by Free Software may blur them !
      This does not happen by itself !

  Phases of a successful FS : Martin Michlmayr (ex Debian leader)
   Cathedral phase         Transition phase                 Bazaar phase

                                                            Distributed
   Original “idea”
                        ”Interest”                          development
   Project Author
                      ⇒ Prototype      ⇒                    Community
   Core developers
                        Modular design                      Parallel maintenance
   Unix philosophy
                                                            Peer reviews


                       Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Software economy, new style


  free software
  removes the “scarcity” of copies, exposing the other scarce
  resources : know-how, infrastructure, process, industrialization,
  customization skills etc.




                       Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Software economy, new style


  free software
  removes the “scarcity” of copies, exposing the other scarce
  resources : know-how, infrastructure, process, industrialization,
  customization skills etc.
  This follows a pull approach :
      identify a need




                        Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Software economy, new style


  free software
  removes the “scarcity” of copies, exposing the other scarce
  resources : know-how, infrastructure, process, industrialization,
  customization skills etc.
  This follows a pull approach :
      identify a need
      develop a software prototype




                        Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Software economy, new style


  free software
  removes the “scarcity” of copies, exposing the other scarce
  resources : know-how, infrastructure, process, industrialization,
  customization skills etc.
  This follows a pull approach :
      identify a need
      develop a software prototype
      build a community




                        Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Software economy, new style


  free software
  removes the “scarcity” of copies, exposing the other scarce
  resources : know-how, infrastructure, process, industrialization,
  customization skills etc.
  This follows a pull approach :
      identify a need
      develop a software prototype
      build a community
      set up an ecosystem, with users, developers, architects,
      educators, service providers, cooperating




                        Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Software economy, new style


  free software
  removes the “scarcity” of copies, exposing the other scarce
  resources : know-how, infrastructure, process, industrialization,
  customization skills etc.
  This follows a pull approach :
      identify a need
      develop a software prototype
      build a community
      set up an ecosystem, with users, developers, architects,
      educators, service providers, cooperating
  This requires all the members of the ecosystem to understand the
  rules, and follow them.


                        Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Free Software Lessons vs. Lean principles : similar culture
  Value
  Every good work of software starts by scratching a developer’s
  personal itch.




                      Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Free Software Lessons vs. Lean principles : similar culture
  Value
  Every good work of software starts by scratching a developer’s
  personal itch.

  Customer first
  Treating your users as co-developers is your least-hassle route to
  rapid code improvement and effective debugging.




                       Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Free Software Lessons vs. Lean principles : similar culture
  Value
  Every good work of software starts by scratching a developer’s
  personal itch.

  Customer first
  Treating your users as co-developers is your least-hassle route to
  rapid code improvement and effective debugging.

  Removing waste
  Good programmers know what to write. Great ones know what to
  rewrite (and reuse).




                       Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Free Software Lessons vs. Lean principles : similar culture
  Value
  Every good work of software starts by scratching a developer’s
  personal itch.

  Customer first
  Treating your users as co-developers is your least-hassle route to
  rapid code improvement and effective debugging.

  Removing waste
  Good programmers know what to write. Great ones know what to
  rewrite (and reuse).

  Perfection, well. . . fix it fast
  Release early, release often.
  Given enough eyeballs, all bugs are shallow.

  Lessons from E. S. Raymond’s “The Cathedral and the Bazaar”,
                       Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Some figures




     Evolution of file number in the Linux kernel (G. Robles)

                    Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
The change


  Free Software lessons were easy to follow 10 years ago :
      developer and users would often coincide (developers are also
      the users !) . . .




                      Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
The change


  Free Software lessons were easy to follow 10 years ago :
      developer and users would often coincide (developers are also
      the users !) . . .
  Joke
  would our offices be somehow better if the architects were forced
  to actually use them ?




                      Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
The change


  Free Software lessons were easy to follow 10 years ago :
      developer and users would often coincide (developers are also
      the users !) . . .
  Joke
  would our offices be somehow better if the architects were forced
  to actually use them ?

  Things are changing today : user and developer communities are
  growing steadily !




                      Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
The change


  Free Software lessons were easy to follow 10 years ago :
      developer and users would often coincide (developers are also
      the users !) . . .
  Joke
  would our offices be somehow better if the architects were forced
  to actually use them ?

  Things are changing today : user and developer communities are
  growing steadily !
                                                  Can we scale up ?




                      Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
The challenge




      science :
              develop theory and tools to allow Free Software
              collaborative development to scale up
    education :
              train tomorrow’s engineers
     economy :
             explain and set up the ecosystems. . .




                     Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Focus on science


  Free Software is making software artefacts transparent :
      no artificial barriers among architectural layers. . .




                       Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Focus on science


  Free Software is making software artefacts transparent :
      no artificial barriers among architectural layers. . .
      theoretical possibility to follow the flow of computation from
      the more abstract layers down to the moving bits in the
      hardware




                       Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Focus on science


  Free Software is making software artefacts transparent :
      no artificial barriers among architectural layers. . .
      theoretical possibility to follow the flow of computation from
      the more abstract layers down to the moving bits in the
      hardware
      new levels of quality assurance and certification can be
      expected




                       Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Focus on science


  Free Software is making software artefacts transparent :
      no artificial barriers among architectural layers. . .
      theoretical possibility to follow the flow of computation from
      the more abstract layers down to the moving bits in the
      hardware
      new levels of quality assurance and certification can be
      expected
      we need theory and tools to make all this process lean.




                       Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Focus on science


  Free Software is making software artefacts transparent :
      no artificial barriers among architectural layers. . .
      theoretical possibility to follow the flow of computation from
      the more abstract layers down to the moving bits in the
      hardware
      new levels of quality assurance and certification can be
      expected
      we need theory and tools to make all this process lean.
  Industry should invest in Free Software fundamental research, as
  soon as possible.




                       Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Mancoosi technology preview : visualizing Systems of
Systems
  GNU/Linux software distributions : probably the most complex
  system of systems on the planet




                     Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Mancoosi technology preview : visualizing Systems of
Systems
  GNU/Linux software distributions : probably the most complex
  system of systems on the planet




  HOW can you visualize such a system of systems ?
                     Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Draw a graph, no deep knowledge



  kde-amusements and kde-toys in Debian 3.1 (aka sarge, 2005)
  were unnecessary components, overlapping kde-games and
  kde-edu.




                    Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Draw a graph, no deep knowledge



  kde-amusements and kde-toys in Debian 3.1 (aka sarge, 2005)
  were unnecessary components, overlapping kde-games and
  kde-edu.They are waste, and are gone today (2009).




                    Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Draw a graph, no deep knowledge



  kde-amusements and kde-toys in Debian 3.1 (aka sarge, 2005)
  were unnecessary components, overlapping kde-games and
  kde-edu.They are waste, and are gone today (2009).
  Should be easy to spot, only 244 components are concerned !




                    Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Draw a graph, no deep knowledge



  kde-amusements and kde-toys in Debian 3.1 (aka sarge, 2005)
  were unnecessary components, overlapping kde-games and
  kde-edu.They are waste, and are gone today (2009).
  Should be easy to spot, only 244 components are concerned !
  Can you see this fact here ?




                    Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Let’s try a more systemic approach

  Here is a graph of strong dominators for the KDE subsystem :




                      Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Let’s try a more systemic approach

  Here is a graph of strong dominators for the KDE subsystem :




  See the problem, now ?

   More on this at http://www.mancoosi.org

                      Roberto Di Cosmo   Lean principles, Open Source, and the road ahead
Let me say this again. . .




      We need to invest in Free Software fundamental research,
                        as soon as possible.




                     Roberto Di Cosmo   Lean principles, Open Source, and the road ahead

Contenu connexe

Similaire à Lean principles, Open Source, and the road ahead (Roberto Di Cosmo)

Achieving Impact with Open Source Software
Achieving Impact with Open Source SoftwareAchieving Impact with Open Source Software
Achieving Impact with Open Source SoftwareRoberto Di Cosmo
 
Open Design @ Tec Guadalajara - Mexico - 23/08/2011
Open Design @ Tec Guadalajara - Mexico - 23/08/2011Open Design @ Tec Guadalajara - Mexico - 23/08/2011
Open Design @ Tec Guadalajara - Mexico - 23/08/2011Massimo Menichinelli
 
sutor-openexpo-2009-090407230255-phpapp01.pptx
sutor-openexpo-2009-090407230255-phpapp01.pptxsutor-openexpo-2009-090407230255-phpapp01.pptx
sutor-openexpo-2009-090407230255-phpapp01.pptxpavankalyanadroittec
 
From TrainedMonkey to Google SoC mentor – How to become an OOo developer
From TrainedMonkey to Google SoC mentor – How to become an OOo developerFrom TrainedMonkey to Google SoC mentor – How to become an OOo developer
From TrainedMonkey to Google SoC mentor – How to become an OOo developerAlexandro Colorado
 
Build your business on top of Open Source
Build your business on top of Open SourceBuild your business on top of Open Source
Build your business on top of Open SourceAntonio Peric-Mazar
 
Foss final seminar
Foss final seminarFoss final seminar
Foss final seminarSmit Patil
 
Foss final seminar
Foss final seminarFoss final seminar
Foss final seminarSmit Patil
 
KCB201 Week 9 Slidecast: Open Source Software
KCB201 Week 9 Slidecast: Open Source SoftwareKCB201 Week 9 Slidecast: Open Source Software
KCB201 Week 9 Slidecast: Open Source SoftwareAxel Bruns
 
NTU Workshop: 01 What Is Open Design
NTU Workshop: 01 What Is Open DesignNTU Workshop: 01 What Is Open Design
NTU Workshop: 01 What Is Open DesignMassimo Menichinelli
 
Intro to open source - 101 presentation
Intro to open source - 101 presentationIntro to open source - 101 presentation
Intro to open source - 101 presentationJavier Perez
 
IDAS Workshop: 01 What Is Open Design
IDAS Workshop: 01 What Is Open DesignIDAS Workshop: 01 What Is Open Design
IDAS Workshop: 01 What Is Open DesignMassimo Menichinelli
 
Open source and then some: An Introduction
Open source and then some: An IntroductionOpen source and then some: An Introduction
Open source and then some: An IntroductionAkash Tandon
 
Open Source Fundamentals
Open Source FundamentalsOpen Source Fundamentals
Open Source FundamentalsGuy Martin
 
Business Models and Open Source Licenses in 2019: Can we all get along?
Business Models and Open Source Licenses in 2019: Can we all get along?Business Models and Open Source Licenses in 2019: Can we all get along?
Business Models and Open Source Licenses in 2019: Can we all get along?Jeffrey Borek
 
KCB201 Week 9 Lecture (Adam Muir): Open Source - Software and Beyond...
KCB201 Week 9 Lecture (Adam Muir): Open Source - Software and Beyond...KCB201 Week 9 Lecture (Adam Muir): Open Source - Software and Beyond...
KCB201 Week 9 Lecture (Adam Muir): Open Source - Software and Beyond...Axel Bruns
 

Similaire à Lean principles, Open Source, and the road ahead (Roberto Di Cosmo) (20)

Achieving Impact with Open Source Software
Achieving Impact with Open Source SoftwareAchieving Impact with Open Source Software
Achieving Impact with Open Source Software
 
Introduction To Open Source
Introduction To Open SourceIntroduction To Open Source
Introduction To Open Source
 
Open Design @ Tec Guadalajara - Mexico - 23/08/2011
Open Design @ Tec Guadalajara - Mexico - 23/08/2011Open Design @ Tec Guadalajara - Mexico - 23/08/2011
Open Design @ Tec Guadalajara - Mexico - 23/08/2011
 
Opensource
OpensourceOpensource
Opensource
 
sutor-openexpo-2009-090407230255-phpapp01.pptx
sutor-openexpo-2009-090407230255-phpapp01.pptxsutor-openexpo-2009-090407230255-phpapp01.pptx
sutor-openexpo-2009-090407230255-phpapp01.pptx
 
From TrainedMonkey to Google SoC mentor – How to become an OOo developer
From TrainedMonkey to Google SoC mentor – How to become an OOo developerFrom TrainedMonkey to Google SoC mentor – How to become an OOo developer
From TrainedMonkey to Google SoC mentor – How to become an OOo developer
 
Opensource
OpensourceOpensource
Opensource
 
OpenSource
OpenSourceOpenSource
OpenSource
 
Build your business on top of Open Source
Build your business on top of Open SourceBuild your business on top of Open Source
Build your business on top of Open Source
 
Foss final seminar
Foss final seminarFoss final seminar
Foss final seminar
 
Foss final seminar
Foss final seminarFoss final seminar
Foss final seminar
 
Open Source & Open Development
Open Source & Open Development Open Source & Open Development
Open Source & Open Development
 
KCB201 Week 9 Slidecast: Open Source Software
KCB201 Week 9 Slidecast: Open Source SoftwareKCB201 Week 9 Slidecast: Open Source Software
KCB201 Week 9 Slidecast: Open Source Software
 
NTU Workshop: 01 What Is Open Design
NTU Workshop: 01 What Is Open DesignNTU Workshop: 01 What Is Open Design
NTU Workshop: 01 What Is Open Design
 
Intro to open source - 101 presentation
Intro to open source - 101 presentationIntro to open source - 101 presentation
Intro to open source - 101 presentation
 
IDAS Workshop: 01 What Is Open Design
IDAS Workshop: 01 What Is Open DesignIDAS Workshop: 01 What Is Open Design
IDAS Workshop: 01 What Is Open Design
 
Open source and then some: An Introduction
Open source and then some: An IntroductionOpen source and then some: An Introduction
Open source and then some: An Introduction
 
Open Source Fundamentals
Open Source FundamentalsOpen Source Fundamentals
Open Source Fundamentals
 
Business Models and Open Source Licenses in 2019: Can we all get along?
Business Models and Open Source Licenses in 2019: Can we all get along?Business Models and Open Source Licenses in 2019: Can we all get along?
Business Models and Open Source Licenses in 2019: Can we all get along?
 
KCB201 Week 9 Lecture (Adam Muir): Open Source - Software and Beyond...
KCB201 Week 9 Lecture (Adam Muir): Open Source - Software and Beyond...KCB201 Week 9 Lecture (Adam Muir): Open Source - Software and Beyond...
KCB201 Week 9 Lecture (Adam Muir): Open Source - Software and Beyond...
 

Plus de AdaCore

RCA OCORA: Safe Computing Platform using open standards
RCA OCORA: Safe Computing Platform using open standardsRCA OCORA: Safe Computing Platform using open standards
RCA OCORA: Safe Computing Platform using open standardsAdaCore
 
Have we a Human Ecosystem?
Have we a Human Ecosystem?Have we a Human Ecosystem?
Have we a Human Ecosystem?AdaCore
 
Rust and the coming age of high integrity languages
Rust and the coming age of high integrity languagesRust and the coming age of high integrity languages
Rust and the coming age of high integrity languagesAdaCore
 
SPARKNaCl: A verified, fast cryptographic library
SPARKNaCl: A verified, fast cryptographic librarySPARKNaCl: A verified, fast cryptographic library
SPARKNaCl: A verified, fast cryptographic libraryAdaCore
 
Developing Future High Integrity Processing Solutions
Developing Future High Integrity Processing SolutionsDeveloping Future High Integrity Processing Solutions
Developing Future High Integrity Processing SolutionsAdaCore
 
Taming event-driven software via formal verification
Taming event-driven software via formal verificationTaming event-driven software via formal verification
Taming event-driven software via formal verificationAdaCore
 
Pushing the Boundary of Mostly Automatic Program Proof
Pushing the Boundary of Mostly Automatic Program ProofPushing the Boundary of Mostly Automatic Program Proof
Pushing the Boundary of Mostly Automatic Program ProofAdaCore
 
RCA OCORA: Safe Computing Platform using open standards
RCA OCORA: Safe Computing Platform using open standardsRCA OCORA: Safe Computing Platform using open standards
RCA OCORA: Safe Computing Platform using open standardsAdaCore
 
Product Lines and Ecosystems: from customization to configuration
Product Lines and Ecosystems: from customization to configurationProduct Lines and Ecosystems: from customization to configuration
Product Lines and Ecosystems: from customization to configurationAdaCore
 
Securing the Future of Safety and Security of Embedded Software
Securing the Future of Safety and Security of Embedded SoftwareSecuring the Future of Safety and Security of Embedded Software
Securing the Future of Safety and Security of Embedded SoftwareAdaCore
 
Spark / Ada for Safe and Secure Firmware Development
Spark / Ada for Safe and Secure Firmware DevelopmentSpark / Ada for Safe and Secure Firmware Development
Spark / Ada for Safe and Secure Firmware DevelopmentAdaCore
 
Introducing the HICLASS Research Programme - Enabling Development of Complex ...
Introducing the HICLASS Research Programme - Enabling Development of Complex ...Introducing the HICLASS Research Programme - Enabling Development of Complex ...
Introducing the HICLASS Research Programme - Enabling Development of Complex ...AdaCore
 
The Future of Aerospace – More Software Please!
The Future of Aerospace – More Software Please!The Future of Aerospace – More Software Please!
The Future of Aerospace – More Software Please!AdaCore
 
Adaptive AUTOSAR - The New AUTOSAR Architecture
Adaptive AUTOSAR - The New AUTOSAR ArchitectureAdaptive AUTOSAR - The New AUTOSAR Architecture
Adaptive AUTOSAR - The New AUTOSAR ArchitectureAdaCore
 
Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...
Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...
Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...AdaCore
 
Software Engineering for Robotics - The RoboStar Technology
Software Engineering for Robotics - The RoboStar TechnologySoftware Engineering for Robotics - The RoboStar Technology
Software Engineering for Robotics - The RoboStar TechnologyAdaCore
 
MISRA C in an ISO 26262 context
MISRA C in an ISO 26262 contextMISRA C in an ISO 26262 context
MISRA C in an ISO 26262 contextAdaCore
 
Application of theorem proving for safety-critical vehicle software
Application of theorem proving for safety-critical vehicle softwareApplication of theorem proving for safety-critical vehicle software
Application of theorem proving for safety-critical vehicle softwareAdaCore
 
The Application of Formal Methods to Railway Signalling Software
The Application of Formal Methods to Railway Signalling SoftwareThe Application of Formal Methods to Railway Signalling Software
The Application of Formal Methods to Railway Signalling SoftwareAdaCore
 
Bounded Model Checking for C Programs in an Enterprise Environment
Bounded Model Checking for C Programs in an Enterprise EnvironmentBounded Model Checking for C Programs in an Enterprise Environment
Bounded Model Checking for C Programs in an Enterprise EnvironmentAdaCore
 

Plus de AdaCore (20)

RCA OCORA: Safe Computing Platform using open standards
RCA OCORA: Safe Computing Platform using open standardsRCA OCORA: Safe Computing Platform using open standards
RCA OCORA: Safe Computing Platform using open standards
 
Have we a Human Ecosystem?
Have we a Human Ecosystem?Have we a Human Ecosystem?
Have we a Human Ecosystem?
 
Rust and the coming age of high integrity languages
Rust and the coming age of high integrity languagesRust and the coming age of high integrity languages
Rust and the coming age of high integrity languages
 
SPARKNaCl: A verified, fast cryptographic library
SPARKNaCl: A verified, fast cryptographic librarySPARKNaCl: A verified, fast cryptographic library
SPARKNaCl: A verified, fast cryptographic library
 
Developing Future High Integrity Processing Solutions
Developing Future High Integrity Processing SolutionsDeveloping Future High Integrity Processing Solutions
Developing Future High Integrity Processing Solutions
 
Taming event-driven software via formal verification
Taming event-driven software via formal verificationTaming event-driven software via formal verification
Taming event-driven software via formal verification
 
Pushing the Boundary of Mostly Automatic Program Proof
Pushing the Boundary of Mostly Automatic Program ProofPushing the Boundary of Mostly Automatic Program Proof
Pushing the Boundary of Mostly Automatic Program Proof
 
RCA OCORA: Safe Computing Platform using open standards
RCA OCORA: Safe Computing Platform using open standardsRCA OCORA: Safe Computing Platform using open standards
RCA OCORA: Safe Computing Platform using open standards
 
Product Lines and Ecosystems: from customization to configuration
Product Lines and Ecosystems: from customization to configurationProduct Lines and Ecosystems: from customization to configuration
Product Lines and Ecosystems: from customization to configuration
 
Securing the Future of Safety and Security of Embedded Software
Securing the Future of Safety and Security of Embedded SoftwareSecuring the Future of Safety and Security of Embedded Software
Securing the Future of Safety and Security of Embedded Software
 
Spark / Ada for Safe and Secure Firmware Development
Spark / Ada for Safe and Secure Firmware DevelopmentSpark / Ada for Safe and Secure Firmware Development
Spark / Ada for Safe and Secure Firmware Development
 
Introducing the HICLASS Research Programme - Enabling Development of Complex ...
Introducing the HICLASS Research Programme - Enabling Development of Complex ...Introducing the HICLASS Research Programme - Enabling Development of Complex ...
Introducing the HICLASS Research Programme - Enabling Development of Complex ...
 
The Future of Aerospace – More Software Please!
The Future of Aerospace – More Software Please!The Future of Aerospace – More Software Please!
The Future of Aerospace – More Software Please!
 
Adaptive AUTOSAR - The New AUTOSAR Architecture
Adaptive AUTOSAR - The New AUTOSAR ArchitectureAdaptive AUTOSAR - The New AUTOSAR Architecture
Adaptive AUTOSAR - The New AUTOSAR Architecture
 
Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...
Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...
Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...
 
Software Engineering for Robotics - The RoboStar Technology
Software Engineering for Robotics - The RoboStar TechnologySoftware Engineering for Robotics - The RoboStar Technology
Software Engineering for Robotics - The RoboStar Technology
 
MISRA C in an ISO 26262 context
MISRA C in an ISO 26262 contextMISRA C in an ISO 26262 context
MISRA C in an ISO 26262 context
 
Application of theorem proving for safety-critical vehicle software
Application of theorem proving for safety-critical vehicle softwareApplication of theorem proving for safety-critical vehicle software
Application of theorem proving for safety-critical vehicle software
 
The Application of Formal Methods to Railway Signalling Software
The Application of Formal Methods to Railway Signalling SoftwareThe Application of Formal Methods to Railway Signalling Software
The Application of Formal Methods to Railway Signalling Software
 
Bounded Model Checking for C Programs in an Enterprise Environment
Bounded Model Checking for C Programs in an Enterprise EnvironmentBounded Model Checking for C Programs in an Enterprise Environment
Bounded Model Checking for C Programs in an Enterprise Environment
 

Dernier

Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...apidays
 
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
Workshop - Best of Both Worlds_ Combine  KG and Vector search for  enhanced R...Workshop - Best of Both Worlds_ Combine  KG and Vector search for  enhanced R...
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...Neo4j
 
Powerful Google developer tools for immediate impact! (2023-24 C)
Powerful Google developer tools for immediate impact! (2023-24 C)Powerful Google developer tools for immediate impact! (2023-24 C)
Powerful Google developer tools for immediate impact! (2023-24 C)wesley chun
 
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptxFactors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptxKatpro Technologies
 
The Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxThe Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxMalak Abu Hammad
 
Histor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slideHistor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slidevu2urc
 
Advantages of Hiring UIUX Design Service Providers for Your Business
Advantages of Hiring UIUX Design Service Providers for Your BusinessAdvantages of Hiring UIUX Design Service Providers for Your Business
Advantages of Hiring UIUX Design Service Providers for Your BusinessPixlogix Infotech
 
A Year of the Servo Reboot: Where Are We Now?
A Year of the Servo Reboot: Where Are We Now?A Year of the Servo Reboot: Where Are We Now?
A Year of the Servo Reboot: Where Are We Now?Igalia
 
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...Igalia
 
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptxEIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptxEarley Information Science
 
Slack Application Development 101 Slides
Slack Application Development 101 SlidesSlack Application Development 101 Slides
Slack Application Development 101 Slidespraypatel2
 
A Call to Action for Generative AI in 2024
A Call to Action for Generative AI in 2024A Call to Action for Generative AI in 2024
A Call to Action for Generative AI in 2024Results
 
Understanding Discord NSFW Servers A Guide for Responsible Users.pdf
Understanding Discord NSFW Servers A Guide for Responsible Users.pdfUnderstanding Discord NSFW Servers A Guide for Responsible Users.pdf
Understanding Discord NSFW Servers A Guide for Responsible Users.pdfUK Journal
 
2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...Martijn de Jong
 
How to convert PDF to text with Nanonets
How to convert PDF to text with NanonetsHow to convert PDF to text with Nanonets
How to convert PDF to text with Nanonetsnaman860154
 
GenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationGenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationMichael W. Hawkins
 
The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024Rafal Los
 
Scaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationScaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationRadu Cotescu
 
Data Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt RobisonData Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt RobisonAnna Loughnan Colquhoun
 
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024The Digital Insurer
 

Dernier (20)

Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
 
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
Workshop - Best of Both Worlds_ Combine  KG and Vector search for  enhanced R...Workshop - Best of Both Worlds_ Combine  KG and Vector search for  enhanced R...
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
 
Powerful Google developer tools for immediate impact! (2023-24 C)
Powerful Google developer tools for immediate impact! (2023-24 C)Powerful Google developer tools for immediate impact! (2023-24 C)
Powerful Google developer tools for immediate impact! (2023-24 C)
 
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptxFactors to Consider When Choosing Accounts Payable Services Providers.pptx
Factors to Consider When Choosing Accounts Payable Services Providers.pptx
 
The Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptxThe Codex of Business Writing Software for Real-World Solutions 2.pptx
The Codex of Business Writing Software for Real-World Solutions 2.pptx
 
Histor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slideHistor y of HAM Radio presentation slide
Histor y of HAM Radio presentation slide
 
Advantages of Hiring UIUX Design Service Providers for Your Business
Advantages of Hiring UIUX Design Service Providers for Your BusinessAdvantages of Hiring UIUX Design Service Providers for Your Business
Advantages of Hiring UIUX Design Service Providers for Your Business
 
A Year of the Servo Reboot: Where Are We Now?
A Year of the Servo Reboot: Where Are We Now?A Year of the Servo Reboot: Where Are We Now?
A Year of the Servo Reboot: Where Are We Now?
 
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
Raspberry Pi 5: Challenges and Solutions in Bringing up an OpenGL/Vulkan Driv...
 
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptxEIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
EIS-Webinar-Prompt-Knowledge-Eng-2024-04-08.pptx
 
Slack Application Development 101 Slides
Slack Application Development 101 SlidesSlack Application Development 101 Slides
Slack Application Development 101 Slides
 
A Call to Action for Generative AI in 2024
A Call to Action for Generative AI in 2024A Call to Action for Generative AI in 2024
A Call to Action for Generative AI in 2024
 
Understanding Discord NSFW Servers A Guide for Responsible Users.pdf
Understanding Discord NSFW Servers A Guide for Responsible Users.pdfUnderstanding Discord NSFW Servers A Guide for Responsible Users.pdf
Understanding Discord NSFW Servers A Guide for Responsible Users.pdf
 
2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...
 
How to convert PDF to text with Nanonets
How to convert PDF to text with NanonetsHow to convert PDF to text with Nanonets
How to convert PDF to text with Nanonets
 
GenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day PresentationGenCyber Cyber Security Day Presentation
GenCyber Cyber Security Day Presentation
 
The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024The 7 Things I Know About Cyber Security After 25 Years | April 2024
The 7 Things I Know About Cyber Security After 25 Years | April 2024
 
Scaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organizationScaling API-first – The story of a global engineering organization
Scaling API-first – The story of a global engineering organization
 
Data Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt RobisonData Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt Robison
 
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
Bajaj Allianz Life Insurance Company - Insurer Innovation Award 2024
 

Lean principles, Open Source, and the road ahead (Roberto Di Cosmo)

  • 1. Lean principles, Open Source, and the road ahead Computer Science Professor University Paris Diderot http://www.dicosmo.org roberto@dicosmo.org March 26th, 2009 Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 2. Free Software : a reminder Free (french : gratuit) : software you do not pay for (today) Free (french : libre) : software with 4 rights use study and modify distribute distribute sources (even modified) (see for example http://www.opensource. org/docs/definition.php). There are obligations too, according to the licence : GPL/BSD/Mozilla/X, etc. Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 3. Economy Reminder : ´conomics : the study of how society chooses to allocate scarce e resources to produce, exchange, and consume goods and services. Ruffin, Gregory, “Principles of Economics”, 1990 Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 4. Economy Reminder : ´conomics : the study of how society chooses to allocate scarce e resources to produce, exchange, and consume goods and services. Ruffin, Gregory, “Principles of Economics”, 1990 Without scarcity, there is no economy. Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 5. Economy Reminder : ´conomics : the study of how society chooses to allocate scarce e resources to produce, exchange, and consume goods and services. Ruffin, Gregory, “Principles of Economics”, 1990 Without scarcity, there is no economy. Let’s remember this when revisiting the software industry . . . Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 6. Software economy, old style proprietary software based on an artificial “scarcity” of copies of a piece of software . . . Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 7. Software economy, old style proprietary software based on an artificial “scarcity” of copies of a piece of software . . . This follows a push approach : identify a market Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 8. Software economy, old style proprietary software based on an artificial “scarcity” of copies of a piece of software . . . This follows a push approach : identify a market develop a “one size fits all” software solution Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 9. Software economy, old style proprietary software based on an artificial “scarcity” of copies of a piece of software . . . This follows a push approach : identify a market develop a “one size fits all” software solution sell licences to a lot of users, . . . if you can Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 10. Software economy, old style proprietary software based on an artificial “scarcity” of copies of a piece of software . . . This follows a push approach : identify a market develop a “one size fits all” software solution sell licences to a lot of users, . . . if you can make sure the users will need new versions, often. . . Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 11. Remember this ? Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 12. Remember this ? Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 13. Remember this ? Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 14. Remember this ? Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 15. Remember this ? Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 16. Remember this ? Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 17. Remember this ? It is from the 1980’s, and yet we still see it happen too often ! Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 18. Free Software and innovation In the proprietary software world, the frontiers among architects, programmers, testers, service providers, educators and users are rigid, by necessity. Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 19. Free Software and innovation In the proprietary software world, the frontiers among architects, programmers, testers, service providers, educators and users are rigid, by necessity. The acces to source code given by Free Software may blur them ! This does not happen by itself ! Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 20. Free Software and innovation In the proprietary software world, the frontiers among architects, programmers, testers, service providers, educators and users are rigid, by necessity. The acces to source code given by Free Software may blur them ! This does not happen by itself ! Phases of a successful FS : Martin Michlmayr (ex Debian leader) Cathedral phase Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 21. Free Software and innovation In the proprietary software world, the frontiers among architects, programmers, testers, service providers, educators and users are rigid, by necessity. The acces to source code given by Free Software may blur them ! This does not happen by itself ! Phases of a successful FS : Martin Michlmayr (ex Debian leader) Cathedral phase Transition phase Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 22. Free Software and innovation In the proprietary software world, the frontiers among architects, programmers, testers, service providers, educators and users are rigid, by necessity. The acces to source code given by Free Software may blur them ! This does not happen by itself ! Phases of a successful FS : Martin Michlmayr (ex Debian leader) Cathedral phase Transition phase Bazaar phase Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 23. Free Software and innovation In the proprietary software world, the frontiers among architects, programmers, testers, service providers, educators and users are rigid, by necessity. The acces to source code given by Free Software may blur them ! This does not happen by itself ! Phases of a successful FS : Martin Michlmayr (ex Debian leader) Cathedral phase Transition phase Bazaar phase Original “idea” Project Author Core developers Unix philosophy Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 24. Free Software and innovation In the proprietary software world, the frontiers among architects, programmers, testers, service providers, educators and users are rigid, by necessity. The acces to source code given by Free Software may blur them ! This does not happen by itself ! Phases of a successful FS : Martin Michlmayr (ex Debian leader) Cathedral phase Transition phase Bazaar phase Original “idea” ”Interest” Project Author ⇒ Prototype ⇒ Core developers Modular design Unix philosophy Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 25. Free Software and innovation In the proprietary software world, the frontiers among architects, programmers, testers, service providers, educators and users are rigid, by necessity. The acces to source code given by Free Software may blur them ! This does not happen by itself ! Phases of a successful FS : Martin Michlmayr (ex Debian leader) Cathedral phase Transition phase Bazaar phase Distributed Original “idea” ”Interest” development Project Author ⇒ Prototype ⇒ Community Core developers Modular design Parallel maintenance Unix philosophy Peer reviews Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 26. Free Software and innovation In the proprietary software world, the frontiers among architects, programmers, testers, service providers, educators and users are rigid, by necessity. The acces to source code given by Free Software may blur them ! This does not happen by itself ! Phases of a successful FS : Martin Michlmayr (ex Debian leader) Cathedral phase Transition phase Bazaar phase Distributed Original “idea” ”Interest” development Project Author ⇒ Prototype ⇒ Community Core developers Modular design Parallel maintenance Unix philosophy Peer reviews Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 27. Software economy, new style free software removes the “scarcity” of copies, exposing the other scarce resources : know-how, infrastructure, process, industrialization, customization skills etc. Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 28. Software economy, new style free software removes the “scarcity” of copies, exposing the other scarce resources : know-how, infrastructure, process, industrialization, customization skills etc. This follows a pull approach : identify a need Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 29. Software economy, new style free software removes the “scarcity” of copies, exposing the other scarce resources : know-how, infrastructure, process, industrialization, customization skills etc. This follows a pull approach : identify a need develop a software prototype Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 30. Software economy, new style free software removes the “scarcity” of copies, exposing the other scarce resources : know-how, infrastructure, process, industrialization, customization skills etc. This follows a pull approach : identify a need develop a software prototype build a community Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 31. Software economy, new style free software removes the “scarcity” of copies, exposing the other scarce resources : know-how, infrastructure, process, industrialization, customization skills etc. This follows a pull approach : identify a need develop a software prototype build a community set up an ecosystem, with users, developers, architects, educators, service providers, cooperating Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 32. Software economy, new style free software removes the “scarcity” of copies, exposing the other scarce resources : know-how, infrastructure, process, industrialization, customization skills etc. This follows a pull approach : identify a need develop a software prototype build a community set up an ecosystem, with users, developers, architects, educators, service providers, cooperating This requires all the members of the ecosystem to understand the rules, and follow them. Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 33. Free Software Lessons vs. Lean principles : similar culture Value Every good work of software starts by scratching a developer’s personal itch. Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 34. Free Software Lessons vs. Lean principles : similar culture Value Every good work of software starts by scratching a developer’s personal itch. Customer first Treating your users as co-developers is your least-hassle route to rapid code improvement and effective debugging. Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 35. Free Software Lessons vs. Lean principles : similar culture Value Every good work of software starts by scratching a developer’s personal itch. Customer first Treating your users as co-developers is your least-hassle route to rapid code improvement and effective debugging. Removing waste Good programmers know what to write. Great ones know what to rewrite (and reuse). Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 36. Free Software Lessons vs. Lean principles : similar culture Value Every good work of software starts by scratching a developer’s personal itch. Customer first Treating your users as co-developers is your least-hassle route to rapid code improvement and effective debugging. Removing waste Good programmers know what to write. Great ones know what to rewrite (and reuse). Perfection, well. . . fix it fast Release early, release often. Given enough eyeballs, all bugs are shallow. Lessons from E. S. Raymond’s “The Cathedral and the Bazaar”, Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 37. Some figures Evolution of file number in the Linux kernel (G. Robles) Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 38. The change Free Software lessons were easy to follow 10 years ago : developer and users would often coincide (developers are also the users !) . . . Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 39. The change Free Software lessons were easy to follow 10 years ago : developer and users would often coincide (developers are also the users !) . . . Joke would our offices be somehow better if the architects were forced to actually use them ? Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 40. The change Free Software lessons were easy to follow 10 years ago : developer and users would often coincide (developers are also the users !) . . . Joke would our offices be somehow better if the architects were forced to actually use them ? Things are changing today : user and developer communities are growing steadily ! Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 41. The change Free Software lessons were easy to follow 10 years ago : developer and users would often coincide (developers are also the users !) . . . Joke would our offices be somehow better if the architects were forced to actually use them ? Things are changing today : user and developer communities are growing steadily ! Can we scale up ? Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 42. The challenge science : develop theory and tools to allow Free Software collaborative development to scale up education : train tomorrow’s engineers economy : explain and set up the ecosystems. . . Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 43. Focus on science Free Software is making software artefacts transparent : no artificial barriers among architectural layers. . . Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 44. Focus on science Free Software is making software artefacts transparent : no artificial barriers among architectural layers. . . theoretical possibility to follow the flow of computation from the more abstract layers down to the moving bits in the hardware Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 45. Focus on science Free Software is making software artefacts transparent : no artificial barriers among architectural layers. . . theoretical possibility to follow the flow of computation from the more abstract layers down to the moving bits in the hardware new levels of quality assurance and certification can be expected Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 46. Focus on science Free Software is making software artefacts transparent : no artificial barriers among architectural layers. . . theoretical possibility to follow the flow of computation from the more abstract layers down to the moving bits in the hardware new levels of quality assurance and certification can be expected we need theory and tools to make all this process lean. Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 47. Focus on science Free Software is making software artefacts transparent : no artificial barriers among architectural layers. . . theoretical possibility to follow the flow of computation from the more abstract layers down to the moving bits in the hardware new levels of quality assurance and certification can be expected we need theory and tools to make all this process lean. Industry should invest in Free Software fundamental research, as soon as possible. Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 48. Mancoosi technology preview : visualizing Systems of Systems GNU/Linux software distributions : probably the most complex system of systems on the planet Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 49. Mancoosi technology preview : visualizing Systems of Systems GNU/Linux software distributions : probably the most complex system of systems on the planet HOW can you visualize such a system of systems ? Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 50. Draw a graph, no deep knowledge kde-amusements and kde-toys in Debian 3.1 (aka sarge, 2005) were unnecessary components, overlapping kde-games and kde-edu. Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 51. Draw a graph, no deep knowledge kde-amusements and kde-toys in Debian 3.1 (aka sarge, 2005) were unnecessary components, overlapping kde-games and kde-edu.They are waste, and are gone today (2009). Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 52. Draw a graph, no deep knowledge kde-amusements and kde-toys in Debian 3.1 (aka sarge, 2005) were unnecessary components, overlapping kde-games and kde-edu.They are waste, and are gone today (2009). Should be easy to spot, only 244 components are concerned ! Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 53. Draw a graph, no deep knowledge kde-amusements and kde-toys in Debian 3.1 (aka sarge, 2005) were unnecessary components, overlapping kde-games and kde-edu.They are waste, and are gone today (2009). Should be easy to spot, only 244 components are concerned ! Can you see this fact here ? Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 54. Let’s try a more systemic approach Here is a graph of strong dominators for the KDE subsystem : Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 55. Let’s try a more systemic approach Here is a graph of strong dominators for the KDE subsystem : See the problem, now ? More on this at http://www.mancoosi.org Roberto Di Cosmo Lean principles, Open Source, and the road ahead
  • 56. Let me say this again. . . We need to invest in Free Software fundamental research, as soon as possible. Roberto Di Cosmo Lean principles, Open Source, and the road ahead