134-169 Logiciel libre 2013_210x297 24/05/13 12:47 Page134 Free & Open Source Software Working Group Stefane FERMIGIER, WG President sf@fermigier.com NUXEO 134 "Our Working Group was founded around a unique vision: to bring together SMEs, major companies, universities and research centers around R&D projects and business activities, to foster cooperation, innovation and value creation, within the framework of the open source values. With already more than 100 members, this ecosystem represents a huge opportunity for the Free & Open Source Software community (FOSS)."
FREE & OPEN SOURCE SOFTWARE, FROM DISRUPTION TO VALUE CREATION Open source is still reshaping all aspects of the software industry, specially high growth sectors such as Big Data, Enterprise 2.0 or Mobile Applications. NOT using open source components is now considered the exception rather than the rule in almost all companies that produce software, creating a tremendous opportunity for the Paris Region open source ecosystem, whose leadership has been recognized for a long time, from academic research teams to young innovative software vendors, from specialized consultancies to large systems integrators. FREE & OPEN SOURCE SOFTWARE WORKING GROUP WITHIN SYSTEMATIC R&D Financed Projects: 32 Partners: 103 including: 68 SMEs 3 Enterprises of Intermediate Size 12 Large companies 20 Research institutes and universities Total Investment: 110.8 M2 PLATFORM Development Tools Middleware INFRASTRUCTURE Distributed Embedded Green IT The goals of the FOSS (Free & Open Source Software) Working Group are: to federate all the actors in the Paris Region, promoting a healthy and prosperous industry for open source in partnership with the world of education and research to promote the development of innovative software which will take advantage of scientific advances in the Paris Region. Our three main innovation challenges are After PC, Software quality and Big data. The Free & Open Source Working Group is positioned on seven technology areas, called Development Axes : APPLICATIONS Web 2.0 / 3.0 Enterprise Applications Roberto DI COSMO, WG Vice-President roberto@dicosmo.org UNIVERSITE PARIS 7 DENIS DIDEROT Julien Marboutin, Representative of Permanent Secretariat j.marboutinl@systematic-paris-region.org SYSTEMATIC Steering Committee Members ADACORE Romain BERRENDONNER berrendo@adacore.com ALCATEL-LUCENT Philippe CARRE philippe.carre@alcatel-lucent.com ALTER WAY Philippe MONTARGES philippe.montarges@alterway.com CNAM Maria-Virginia APONTE aponte@cnam.fr CS Gilles LEHMANN gilles.lehmann@c-s.fr ENOVANCE Frédéric LEPIED frederic.lepied@enovance.com HENIX Philippe VAILLERGUES pvaillergues@henix.fr INRIA Patrick MOREAU patrick.moreau@inria.fr INRIA ILE-DE-FRANCE Fabrice LE FESSANT fabrice.le_fessant@inria.fr IRT SYSTEMX Paul LABROGERE paul.labrogere@irt-systemx.fr LOGILAB Nicolas CHAUVAT nicolas.chauvat@logilab.fr OPEN WIDE Pierre FICHEUX pierre.ficheux@openwide.fr OW2 Cédric THOMAS cedric.thomas@ow2.org OW2 Christian REMY christian.remy@ow2.org SMILE Patrice BERTRAND patrice.bertrand@smile.fr SYSTAR François ARMAND francois.armand@systar.fr UNIVERSITE PARIS 1 PANTHEON SORBONNE Selmin NURCAN nurcan@univ-paris1.fr UNIVERSITE PARIS NORD 13 Laure PETRUCCI laure.petrucci@lipn.univ-paris13.fr UNIVERSITE PIERRE ET MARIE CURIE PARIS 6 Amal SEGHROUCHNI amal.elfallah@lip6.fr UNIVERSITE PIERRE ET MARIE CURIE PARIS 6 Emmanuel CHAILLOUX emmanuel.chailloux@lip6.fr ZENIKA Pierre QUEINNEC pierre.queinnec@zenika.com 135
Infrastructure ACDC EUROPEAN In the ACDC project, we bring together a world class of partners from European countries, including public administrations, private sector organizations and academia, in order to achieve a sustainable victory over a powerful cyber threat commonly known as botnet. We integrate the matured knowledge of our consortium into an integrated strategy ranging from adoption to governance, supported by a full service offer for controlling cyber security problems, particularly botnets. The proposed pilot addresses the identification, measurement, and analysis of botnets as well as the prevention, detection, mitigation, recovery, and evaluation of their impact. We present an end-to-end approach from detection to protection, manifested as five powerful services, operated by our member states. Improved awareness and understanding of cyber security risks leads to conceiving new techniques and collaborations to address them. Five new powerful services are planned: the centralized clearing house, is our single point of contact for data storage and analysis. While offering a liberal input interface, the distribution of gained knowledge is done in a precisely defined data format, which is openly shared; the support centre, delivers structured information for stakeholders and affected end users. Here, disinfection tools can be downloaded and affected users, including small and medium enterprises, are supported in dealing with their incidents; focuses on the detection and mitigation of infected websites, while the detection of network anomalies, including possible cloud- or mobile-based botnets, is subject to; both services are operated in a decentralized and distributed manner in order to achieve a high degree of diversification. Obviously, all data acquired using Service 3 and 4 is sent to the centralized clearing house for further analysis; aims on the integration of tools for identification and removal of malware (e.g., bots) from end user devices. As the number of web-enabled mobile devices keeps increasing, mobile phones are explicitly addressed. STATUS - MAIN OUTCOMES Systems & Web sites analysis: Detect malicious behaviour of infected sites. Sensors & detection tools for networks: Integration of different sensors to detect malicious traffic. Device detection & mitigation: Multi-purpose tools for users. Detection of malicious activities in personal infrastructures, end points, mobile phones. Information Sharing Platform Central clearing house: Collect data. Generate common reporting. Support Centre: Provide help and support to infected users. Edgardo MONTES DE OCA MONTIMAGE +33 (0)1 53 80 75 77 contact@montimage.com ATOS SPAIN S.A, BULGARIAN POSTS PLC, CASSIDIAN (EADS COMPANY), MICROSOFT EMEA, TELECOM ITALIA, TELEFONICA I+D Intermediate size enterprises: DE-CIX, DFN CERT SERVICES GMBH, ECO ASSOCIATION OF THE GERMAN INTERNET INDUSTRY, LSEC - LEADERS IN SECURITY, ROMANIAN NATIONAL COMPUTER EMERGENCY RESPONSE TEAM - CERT-RO & ROMANIAN, TECHNIKON FORSCHUNGS- UND PLANUNGSGESELLSCHAFT MBH COGNITIVE SECURITY S.R.O., CYBERDEFCON, G DATA SOFTWARE AG, MONTIMAGE, SIGNALSPAM, XLAB RAZVOJ PROGRAMSKE OPREME IN SVETOVANJE D.O.O. CROATIAN ACADEMIC AND RESEARCH NETWORK - CARNET AND CROATIAN NATIONAL CERT, ENGINEERING INGEGNERIA INFORMATICA, FCCN - FOUNDATION FOR NATIONAL SCIENTIFIC COMPUTING, FRAUNHOFER FKIE, FUNDACIO PRIVADA BARCELONA DIGITAL CENTRE TECNOLOGIC, GELSENKIRCHEN UNIVERSITY OF APPLIED SCIENCES, INSTITUTE FOR INTERNET SECURITY, ISTITUTO SUPERIORE DELLE COMUNICAZIONI E DELLE TECNOLOGIE DELL INFORMAZIONE, INTECO - NATIONAL INSTITUTE OF COMMUNICATION TECHNOLOGIES, KU LEUVEN, UNIVERSITY OF TECHNOLOGY - DELFT DATA DR. IVO A. IVANOV, ECO ASSOCIATION OF THE GERMAN INTERNET INDUSTRY CIP-ICT February 2013 30 months 15.5 French share (M2): 1 7.7 French share (M2): 0.5 136
Distributed AEOLUS The main objective of the Aeolus project is to tackle the scientific problems that need to be solved in order to bridge the gap between Infrastructure as a Service and Platform as a Service solutions, by developing theory and tools to automate deployment, reconfiguration, and upgrades of variable sized, non-homogeneous machine pools. We expect that the results of this research work will allow to efficiently deploy, maintain, and administer, in a cost-effective way, the dynamically changing distributed architectures which are at the heart of Cloud services. Roberto DI COSMO UNIVERSITÉ PARIS DIDEROT roberto@dicosmo.org The technological steps forward that Aeolus will make are threefold: Design an abstract model of a Cloud, that encompasses the software packages installed on every (virtual) machine, as well as the dynamic dependencies among software, machines, and services. Design a powerful high-level reconfiguration request language allowing to express sophisticated reconfiguration requests of (virtual) machine pools. Develop specialised solver algorithms to efficiently satisfy reconfiguration requests by translating them into low-level reconfiguration plans, which are close to the actions implemented by common software deployment toolkits. To each of the above technological steps forward correspond precise scientific challenges that will be addressed in the project. For example, concurrency theory, and in particular process calculi, provides natural models for the description of the interdependencies between services, packages and machines that will need to be accounted for in the cloud description model; and the planning problems that are foreseen pose novel challenges to optimization. STATUS - MAIN OUTCOMES Aeolus will build the tools and develop the scientific knowledge necessary to enable simple, costeffective deployment, management, and administration of the Open Source software infrastructure which is at the core of tomorrow's complex and dynamic software architectures, thus unleashing the potential for innovation of SMEs and service providers. More generally, end-users and service providers will be able to use tools based on the outcome of this project to significantly reduce the cost and development time of the flexible, on demand applications that are a key factor of innovation in the next decade. MANDRIVA INRIA, CNRS, UNIVERSITÉ NICE SOPHIA ANTIPOLIS, UNIVERSITÉ PARIS DIDEROT DATA UNIVERSITÉ PARIS DIDEROT Co-label: PEGASE, SCS ANR January 2010 40 months 2.9 0.9 Related Systematic project(s): Compatible One 137
Web 2.0 and 3.0 FWOSRSE Open-source framework for the development of social and collaborative ECM Apps for Enterprise Social Network This project is the opportunity for the Alfstore Company (SMB) to collaborate with the Saint-Gobain Group, in the area of Enterprise Social Networking applications. The main deliverable will be an open-source framework (API) made for the development of new social ECM Apps for the existing Enterprise Social platforms. This project will allow the merge of 3 worlds: ESN, DM and BPM. Through the injection of social and collaborative features in business processes and/or document management processes, this framework will give the opportunity to build new productivity tools for the enterprise, and new web 2.0 solutions for end-users. As a result, the combination of each solution all together (ESN, DM and BPM) will leads to more powerful applications. Enguerrand SPINDLER ALFSTORE +33 (0)6 31 25 20 27 e.spindler@alfstore.com SAINT-GOBAIN, ALFSTORE DATA ALFSTORE Co-label: CAP DIGITAL OUTILS WEB INNOVANTS EN ENTREPRISE April 2012 18 months 0.2 0.1 138
Enterprise Applications Multimedia Collaborative Publishing Chains COMPLETED The objective of the C2M project is the collaborative creation of structured multimedia documents. It aims at integrating XML publishing chains, enterprise content management systems (ECM) and multimedia creation tools. C2M completes the Scenari project (ANR platform). In order to manage the collaborative dimensions, the strategy is to extend Scenari's functions (planning, versioning, communication,...); to integrate it with ECM (Open Source); and to add possibilities of aesthetically-oriented publications (between totally automated and totally manual ones). INA offers an ideal case, because of its audiovisual problem and its enterprise characteristics. The results of the project are also expected to be available for many other applications (for instance enterprise documentation). PROGRESS BEYOND THE STATE OF THE ART C2M is at the intersection of two documentary evolutions: structured documents and collaborative production. ECM systems propose powerful collaboration management, but they are mainly designed to manage non structured documents, based on the hypothesis 1 document = 1 file. Publishing chains allows structured document editing, reuse and polymorphism. One fundamental corollary is that a document is always a dynamic reconstruction from several fragments linked together: 1 document = a network of files. The first problematic of the project is to reinvent technical and ergonomical behaviour of ECM functions stating on this new paradigm, taking into account that the structured documents we have to managed are expected to be multimedia. The document fragmentation has many consequences on collaboration management (transactions processes, modification propagations, versioning, document comparison,...) when each fragment belongs to several documents and is modified by several authors. Other needs rise from integration of collaborative and structured worlds: structured editing available for occasional reviewers, semi-automatic and high quality publication,... MAJOR OUTCOMES Research work: document genealogy (history, comparison), collaborative writing models (transaction, editing interfaces), multimedia publication (automatic publication control) Generic Framework: Scenari 4 integrated with customized ECM (Nuxeo, Alfresco, etc.) Demonstration Software: INA specific applications (augmented webradio, audiovisual archives republishing,...) and other applications (courses, documentation, communities, etc.) Stéphane CROZAT UTC +33 (0)3 44 23 49 32 stephane.crozat@utc.fr www.utc.fr/ics/c2m INA AMEXIO, KELIS CNRS, INRIA, UTC DATA UTC Co-label: CAP DIGITAL ANR September 2009 30 months 1.6 0.8 139
Enterprise Applications CLOUD CONSULTING Automated configuration of ERP and CRM for SMB EUROPEAN The goal of Cloud Consulting is to create new technologies which automate the configuration of Enterprise Resource Planning (ERP) and Customer Relationship Management (CRM) software for the benefit of small and medium-sized businesses (SMBs). ERP systems are a key instrument to manage, report and control an SMB's business. SMBs that have adopted ERP possess added value and a distinct advantage within their competitive markets. However SMBs face challenge in paying for the consulting required to configure an ERP system. Jean-Paul SMETS NEXEDI +33 (0)6 29 02 44 25 jp@nexedi.com The project uses machine learning methods to automate the configuration of ERP / CRM software, an endeavour which has never been attempted before. The training data encompasses interviews and software configurations from over 400 companies from Brazil, Canada, China, France, Germany and: Romania. A decision tree based questionnaire has been designed and implemented to gather the training data. A twophases correction system with integrated corrections recommendation assures the quality of training data. The technologies are being evaluated for efficiency and efficacy with 750 simultaneous users. A new kind of business model tailored for and the usage of Enterprise Open Source software has been developed: Open Source Starter. By automating part of the configuration of Enterprise Open Source Software, it is now possible to enable SMEs to implement complex Open Source Software on their own for their company, if they get the right training. Open Source Starter is a structured e-learning process where small companies first configure their enterprise software automatically based on machine learning and are then trained to implement it on their own. BEIA CONSULT INTERNATIONAL S.R.L (ROMANIA), NEXEDI, RAPID-I GMBH (GERMANY) INSTITUT TELECOM PARIS, TECHNISCHE UNIVERSITÄT DRESDEN (GERMANY) DATA NEXEDI EUROSTARS N A1106010N August 2011 26 months 1.8 STATUS - MAIN OUTCOMES ERP5 Survey, a decision-tree based questionnaire provides a model to relate informations about the structure of a company to an ERP configuration. It is evaluated with 750 users. EAT, the ERP5 Artificial Intelligence Toolkit, implements machine learning methods to provide automatic questionnaire correction and to create an ERP5 category configuration. It is evaluated with 30 users. ERP5 Starter implements the Open Source Starter business model for ERP5 with the help of ERP5 Survey / EAT. It is evaluated with three customers. 140
Development tools COnvergence de la Communauté Libre des Infrastructures Collaboratives Ouvertes COMPLETED The Coclico project aims at reinforcing software forges communities by structuring an open source ecosystem, which gather a critical amount of stakeholders in France. The dynamics of Forge platforms development is now a key issue in addressing the challenges which businesses/companies are facing as far as collaborative and distributed development is concerned. The project will focus on several areas: information exchange between the forges, data confidentiality and integrity, support for software engineering methods, open integration model, etc... All results will be available in open source and contributed into the FusionForge community so as to maximize the international impact of the work. PROGRESS BEYOND THE STATE OF THE ART Specification of an open integration mode for services into forges, based on Web standards (RDF, Oauth, Rest, ) validated through contribution to several communities (OSLC/Eclipse Lyo, Forgeplucker, Jenkins). Implementation of a Role-base Access Control model into FusionForge and use of Oauth for user identity management. Specification and implementation into the project forges (Codendi, FusionForge and NovaForge) and Trac of tools to exchange data between forges in real-time : definition of a forge ontology, export/import tools, research/indexation on forges federations. Integration of industrial tools within forges to improve efficiency and quality of the developments done with the forges : requirements traceability, support of SCRUM methodology, integration of the developper's environment with the forge. MAJOR OUTCOMES Publications: presentation during ICSSEA Nov. 2011, Paris. Introducing OSLC, an open standard for interoperability of open source development tools Project results have been presented in a number of congress and Open Source Events: Solution Linux Paris 2010 and 2011, think-tank on forges in OWF 2010, presentation at OWF 2011, RMLL 2010. Product(s) or Service(s): Project results have significantly improved all the 3 forges implied by sharing implementations (between Codendi and FusionForge) and common functional specifications, for all of them (eg, in the interoperability domain). Precisely, the benefits are the following for each of the forges: thanks to the project, the Codendi forge has been moved from the R&D environment of one partner to be commercially produced and exploited by another partner. Moreover, taking advantage of its Open Source status, an other company has been created to develop business based on it. So, from initially 6 persons working on Codendi, the current staffing is now the double. The FusionForge community has been greatly increased during the project as stated by the download statistics. The project results have been directly put into production on several user's forges. NovaForge has been enhanced thanks to the project and is used by the French Service Center of the partner developping it, according to an Onshore model. Job creation: n addition to the figures given above about Codendi forge, 3 positions have been created in the SME partners of the project. The Service Center described above is expected to grow from 60 to 200 people. Maintained jobs: About ten persons are needed to operate, support and maintain the forges within the partners and people involved in current services activities for customers, based on these forges, are estimated to another ten. Business creation: Best example of business creation is described above, concerning the Codendi forge. Christian REMY BULL +33 (0)6 74 65 21 18 christ78.remy@gmail.com BULL, ORANGE LABS, XEROX BEARSTECH, CELI FRANCE, OBJET DIRECT INRIA,TELECOM SUDPARIS DATA BULL Co-label: MINALOGIC FUI7 October 2009 24 months 3.2 1.2 Related Systematic project(s): HELIOS, SQUALE 141
Web 2.0 and 3.0 Coordination, dynamicity and efficiency for XML COMPLETED Our research work seeks to push the fronteer of XML technology innovation in three interconnected directions. First, we propose to study languages, algorithms, and develop prototypes for efficient and expressive XML processing, in particular advancing towards massively distributed XML repositories. Second, we consider models for describing, controlling, and reacting to the dynamic behavior of XML corporas and XML schemas with time. Third, we propose theories, models and prototypes for composing XML programs for richer interactions, and XML schemas into rich, expressive, yet formally grounded type descriptions. Ioana MANOLESCU INRIA Saclay Ile-de-France +33 (0)1 72 92 59 20 ioana.manolescu@inria.fr http://codex.saclay.inria.fr PROGRESS BEYOND THE STATE OF THE ART CODEX aims at innovating both in the fundamental area of XML languages and types and in the development of multiple technical building blocks (efficient algorithms) as well as platforms integrating these building blocks. In particular, significant effort is devoted to the constructions of large-scale distributed content management platforms. Some of the innovative reults expected from this project are: Efficient XML query and update algorithms based on XML types, parallelism, pipeline evaluation, and memory footprint reduction Models, algorithms and platforms for efficient management of RDF and XML data in large peer-to-peer networks Contract theory for the dynamic composition of Web services Decentralized, distributed update protocols and update reconciliation Efficient algorithms and platforms for complex XML processing tasks expressed in the XProc language. MAJOR OUTCOMES Work in CODEX has lead to significant development, testing, and technological innovations. First, we have advanced on our distributed Web data sharing system called ViP2P (http://vip2p.saclay.inria.fr),whose scalability was tested on real-life WAN deployments of hundreds of machines across France, in the Grid5K network. ViP2P supports distributed subscriptions to sources of XML and RDF (Semantic Web) data, as well as efficient query processing. Second, INRIA Lille and the Innovimax start-up have initiated a close collaboration on the topic of streaming XML processing. Finally, the project is particularly well-recognized in the international scientific arena, as witnessed by the numerous prestigious publications (ACM PODS, IEEE ICDE, International Conference on Extending Database Technologies etc.). INNOVIMAX INRIA GRENOBLE, INRIA LILLE, INRIA SACLAY (LEO), LRI, PPS, UNIVERSITE DE BLOIS-TOURS, UNIVERSITE DE MARSEILLE, UNIVERSITE PARIS 1 LA SORBONNE DATA INRIA ANR March 2009 36 months 2.4 0.8 142
Middleware COMPLETED CompatibleOne develops the first industry-grade open source cloud services broker and aims at providing maximum freedom of choice to consumers and developers. CompatibleOne provides a model, CORDS, and a platform, ACCORDS, for the description, integration and aggregation of different distributed resources provisioned by heterogeneous Cloud Service Providers. The CompatibleOne platform fully leverages the Open Cloud Computing Interface (OCCI), it is aligned with the Cloud Computing Reference Architecture 2 of the National Institute of Standards and Technology (NIST) and is part of the OW2 Open Source Cloudware initiative (OSCi). Jean-Pierre LAISNÉ BULL +33 (0)6 32 98 27 66 jean-pierre.laisne@bull.net PROGRESS BEYOND THE STATE OF THE ART CompatibleOne is a new-generation cloud resource management and automatic provisioning software environment powered by service brokering capabilities. CompatibleOne enables the seamless federation of heterogeneous resources across different Cloud Service Providers. Using CompatibleOne, developers and users can combine a range of services available from different suppliers to address their most stringent requirements. CompatibleOne supports all kinds of resources, not just infrastructure ones, any resource which can be invoked as a service. CompatibleOne helps developers and users alike avoid vendor lock-in enforce SLAs. CompatibleOne is an open source project based on open standards, notably OCCI. MAJOR OUTCOMES Publications: Intel's "Journey to Cloud" Volume 2, Issue 1: CompatibleOne Next-Generation Cloud Management" by Jean-Pierre Laisné, Iain James Marshall and Parviz Peiravi Cloud and Green Computing 2012: "CompatibleOne: Designing an Energy Efficient Open Source Cloud Broker" by Julien Carpentier, Jean-Patrick Gelas, Laurent Lefevre, Maxime Morel and Jean-Pierre Laisné Conference on Cloud Computing and Services Science (CLOSER 2012): Paas Elements for Hosting Service-based Applications by Sami Yangui and Samir Tata IEEE Advanced Information Networking and Applications (AINA 2012): Latency based Dynamic Grouping Aware Cloud Scheduling by Sheheryar Malik, Fabrice Huet, Denis Caromel Rencontres INRIA Industrie "Sciences Numériques et efficacité énergétique": "Monitoring and power efficiency of cloud" by Laurent Lefevre, Olivier Mornard, Maxime Morel, Julien Carpentier SuperComputing 2012: "Green Cloud and Energy Efficient Exascale Services" by Medhi Diouri, Laurent Lefevre Patents: 2 patents pending Job creation: 21 BULL ACTIVEEON, CITYPASSENGER, ENOVANCE, EUREVA, MANDRIVA, NEXEDI, NUXEO, OW2, PROLOGUE, XWIKI INRIA (RESO & OASIS), INSTITUT TELECOM (PARIS & EVRY) DATA BULL Co-label: SCS FUI10 November 2010 26 months 1 0.5 143
Embedded Couverture COMPLETED Along with a growing worldwide influence of Free Software, computer programs are being increasingly used for safety-critical purposes such as in aircraft or train control systems. In this context, the Couverture project was motivated by three driving goals: Develop innovative coverage analysis tools to help the certification of safety-critical applications, in accordance with official guidelines such as the DO-178B standard, Introduce the notion of Free Certification Artifact, open material allowing qualification of Free Software for use in DO-178B like certifications, More generally, encourage synergy between Free Software projects and Industry on certification issues. All those principles are now promoted on a much wider scale through the Open-DO initiative (www.open-do.org). PROGRESS BEYOND THE STATE OF THE ART Free Software technology allowing non-intrusive object and structural coverage analysis for safety critical applications, up the strictest level of DO178-B Extensions to the Qemu simulation environment, widening the range of industrial use possibilities Modular framework relying on virtualization to accommodate Agile development processes Formal grounds, with object/source coverage properties elaborated and proven as part of the project formalization effort MAJOR S OUTCOMES Publications: "Object and Source Coverage for Critical Applications with the Couverture Open Analysis Framework", proceedings of the 5th "Embedded Real-Time Software and Systems" (ERTS²) international congress, may 2010 "Non Intrusive Structural Coverage for Objective Caml", proceedings of the 5th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode), march 2010 "Technical Report on OBC/MCDC properties", part of the Couverture project documentation, v1 june 2010, work in progress for conference or journal publication Product(s) or Service(s): OpenDO initiative (www.open-do.org) Addition of GNATcoverage and GNATemulator offerings to AdaCore's product lines for safety critical development Development of Qemu based services at OpenWide Job creation: 2 permanent and 7 temporary positions opened during project timeframe Sustained activity for 10 persons now, to support further developments, marketing, sales and maintenance activities Business creation: Ongoing industrial qualification for operational use by an avionic software development team, producing safety critical components to be DO178-B certified at level A. The team is setup to follow very dynamic Agile principles and resort to modern technologies for this kind of software (Ada 2005, object oriented constructs) Olivier HAINQUE ADACORE +33 (0)1 49 70 67 16 hainque@adacore.com ADACORE, OPEN WIDE TELECOM PARISTECH, UNIVERSITÉ PIERRE ET MARIE CURIE (LIP6), DATA ADACORE FUI5 September 2008 24 months 2.2 1 Related Systematic project(s): LAMBDA 144
Web 2.0 and 3.0 COMPLETED One of the first goal of Data Publica was to develop and populate the most complete, richest and best equipped directory of PSI (Public Sector Information) data. Complete: the objective is to cover all the existing PSI data in France Richest: the system provides data with its associated meta-data (structure, date, editor, format etc.) Best equipped: the system includes a search engine to access the data based on both data and meta-data We gathered data from 200 public and private editors, consisting of 1850 data sets, representing 4,500 publications. This represents the largest French PSI directory, and the third national PSI directory in the world after the US and the UK. PROGRESS BEYOND THE STATE OF THE ART As opposed to its US and UK competitors, Data Publica indexes data sets on both data and meta data, thus allowing to search not only on meta data but also on content. It provides classification of data sets by tags and categories. It provides complete statistics on Public Sector data sets. It automatically supports updates to the data sets, based on their frequency of change. It enables datavizualisation on 5000 datasets by map, barchart, table and curve. François BANCILHON DATA PUBLICA francois.bancilhon @data-publica.com ARAOK, NEXEDI, TALEND DATA ARAOK WEB 2.0 January 2010 12 months 0.4 0.2 MAJOR OUTCOMES The company Data Publica was first created in November 2010 to leverage the technology developed in the project. Founders raised 400K (business angels and VC IT Translation). News products and services such as datavisualization tools and customized dashboards have been developed since then. New product: Data Publica has developed a service of customized dashboards that the company sells today and which is using the open data directory developed during this project. Data Publica also provides an innovative service of custom datasets. For those who need specific datasets about any domain, Data Publica identifies the sources, extract and transform data in order to product fresh and qualified datasets. Job creation: 8 Business creation: The new innovative startup Data Publica 145
Green-IT The ecological desktop COMPLETED Optimal energy use is one of the key achievements we must all reach in the coming years. We intend to improve the energy use of computers by optimizing the time during which they are switched on. For existing desktop computers studies show that the possible economy is around 35 /year per desktop. DESKOLO will provide an infrastructure to: Gather information about the presence or absence of user. Automatically switch off or wake up a desktop. Measure the energy used and provide estimate on possible economies. Provide tools for gathering statistics for all users allowing to compare energy used to similar sites / organisation. PROGRESS BEYOND THE STATE OF THE ART The results of the project are: a Benchmark tool that allows to measure the electric consumption of a desktop, a modelization tool that allows to calculate a fine estimate of the electric consumption according to the main indicators of activity (CPU and RAM charge) of a desktop, a DESKOLO server that allows to collect the energy information of the computer equipment of a Company or Local Authority, and to launch the wake up of the desktops, a DESKOLO agent (installes on the desktops or laptops) that allows to collect the activity information, to send it to the DESKOLO server, to shut down the equipment at a planned hour. This agent also allows to encourage ecological behavior for the users. MAJOR S OUTCOMES Publications: Communication with the Committe of sustainable Real Estate of the Defense user association 29/09/2009 Communication in a conference at Linux Solutions 2011 ("Deskolo Mesure et contrôle du bilan carbone d'un parc de machines") Presentations on the Mandriva stand at Linux Solutions - 2010, 2011, and on the Mandriva stand at the show for City Halls and Local authorities - 2012 Blog edited on the DESKOLO Web site: http://www.wallix.org/2011/08/02/deskoloproject-modeling-the-power-consumption/ Presentation at the RFIA conference (january 2012): http://hal.archivesouvertes.fr/docs/00/66/09/67/pdf/rfia2012-demonstrations-011.pdf. Patents: 2 patents pending Product(s) or Service(s): New version of Pulse (Solution of Mandriva) including the management of the ecological imprint of the desktops New version of the Mandriva distribution: OpenMandriva, which includes the functionnalities of the Deskolo agent Job creation: 1 Maintained jobs: 2 Vincent DURANT WALLIX +33 (0)1 53 42 12 92 vdurant@wallix.com MANDRIVA, WALLIX CEA LIST DATA WALLIX FEDER0 April 2009 30 months 1.4 0.7 146
Web 2.0 and 3.0 DIACHRON Managing the Evolution and Preservation of the Data Web EUROPEAN A common view of digital preservation is that individual data sets are picked and locked away for future use. The aim of DIACHRON is to preserve data by keeping them constantly accessible and integrated into a larger framework of open evolving data on the Web. This approach calls for effective and efficient techniques to manage the full life-cycle of the Data Web. The DIACHRON solution to this challenge will be based on the novel concept of Diachronic Data enriching Linked Open Data (LOD) with temporal and provenance annotations produced while tracking re-use of LOD in complex value making chains. Since both the data and metadata will become diachronic, the need for third-party preservation (e.g. by memory institutions) will be greatly reduced, and we expect to contribute to a real self-preserving Data Web. François BANCILHON DATA-PUBLICA +33 (0)1 84 17 42 12 francois.bancilhon @data-publica.com DIACHRON will develop a distributed, service-based infrastructure for curation and preservation of LOD through their entire lifecycle. Notably, DIACHRON foresees four groups of services for long-term LOD accessibility and usability. The acquisition module is responsible for harvesting LOD datasets published on the Data Web and assessing their quality w.r.t. critical dimensions such as accuracy, completeness, temporal consistency or coverage, etc. The annotation module is responsible for enriching LOD with superimposed information regarding temporal validity and provenance of the acquired datasets. The appropriate granularity level of such annotations will be investigated w.r.t. concrete application needs. The evolution module is responsible for detecting, recording and managing changes of LOD datasets monitored on the Data Web. The archiving module is responsible for storing and accessing multiple versions of annotated LOD datasets as presented in the previous modules and services. The outcome depends on both the research advances in the diachronic enrichment of LOD as well as the fragment of the Data Web which will be actually preserved in the three pilot applications: Open Data Markets, Entreprise Data Internets and Scientific Linked Data. INTRASOFT BROX IT, DATAMARKET, DATA-PUBLICA, HANZO ARCHIVES ATHENA, EMBL, FORTH ICS, UNIVERSITÄT LEIPZIG, UNIVERSITY OF EDINBURGH DATA INTRASOFT EU FP7 April 2013 36 months 6.4 French share: 0.6 5 French share: 0.4 147
Development tools DORM Derived Objects Repository Manager Design and implementation of a management system for derived objects, derived from the software building process (binaries, libraries, documentation, etc). The DORM system manages the objects' inter-dependencies while being technology and languageagnostic (Ada/C/C++/Java/OCaml/Flex, etc). The DORM system needs to scale to hundreds of terabytes of data and to tens of thousands of developers concurrently accessing the system, as it is classic in our clients environments. It is needed that the dependency graphs need to scale well in a technology-agnostic way, and the solving needs to be fast while retaining complete accuracy. Last but not least, the visualizations need to be both scalable and accessible, as the primary users will be industrial integration managers that need to be able to absorb large amounts of data in a simple and summarized way. STATUS - MAIN OUTCOMES The resulting repository will be fully open-source and used by major industrial clients, and its use covered by support contracts. The DORM repository manager fills a huge gap by industrializing the last software delivery step and also by enabling a real control on the client's full software portfolio, the different mix of licences used or the stableness of the different libraries used as a whole. Pierre QUEINNEC ZENIKA +33 (0)1 45 26 19 15 pierre.queinnec@zenika.com TALEND, ZENIKA INRIA SACLAY, UNIVERSITÉ PARIS DIDEROT LABORATOIRE PPS DATA ZENIKA FEDER4 November 2010 33 months 0.9 0.5 148
Development tools Distributed Revisions for Open Document The project "Distributed Revisions for Open Document" aims to manage the change tracking on distributed and decentralized documents, insuring the traceability of revisions in an unforgeable way, on the basis of OpenDocument Format ISO standard. Corporates will use DROD to trace their document production (who wrote what and when) in an unforgeable way, while supporting remote editable copies (distributed and decentralized model). Luis BELMAR-LETELIER ITAAPY +33 (0)1 42 23 67 45 luis@itaapy.com Change tracking of documentation when during the document life many people should be able to: Trace and certify the tree of versions (change tracking management) Manage selective fusion and combination of changes (distributed model) Integrate the functionalities at the document level rather than to the application level (on the OpenDocument Format basis) Keep traceability of changes of several users through their respective tools (interoperability at the document level). These core functionality will be achieved by: Integration in the ODF format of a distributed version control engine Elaboration of a version change model and of the best suitable diff XML algorithm to support it Disposal of changes in a usable format from a semantic point of view for comparison tools Adaptation of distributed version control tools to manage meaningful structured XML changes. STATUS - MAIN OUTCOMES ITAAPY, ADACORE TELECOM PARISTECH DATA ITAAPY FEDER12 May 2012 24 months 0.9 0.5 Specification of an API to manage versioning and branching of document upon ODF. Specification of an API to manage authentication of authors of changes in documents in a distributed model (cryptographic layer). Detection of meaningful XML changes between documents versions and optimization of concurrent merges. Implementation in the LPOD library and technical validation in actual industry case. Proposal of evolution of the ODF standard to the OASIS consortium. 149
Middleware EASYSOA COMPLETED Service Oriented Architecture (SOA) is critical to Information System agility, but impeded by complex, heterogeneous and often proprietary technologies, which too often hide business, process and organizational aspects. Worse, cloud and mobility now require SOA to scale up. EasySOA makes SOA easier: By fostering collaboration between all actors of the SOA process: business users, architects and developers, IT staff. By bridging SOA with the worlds of Business Process Management (BPM) and of web technologies (REST, scripting). By providing complete, integrated toolchains from design to monitoring, thanks to Open Source and modular technology. Marc DUTOO OPEN WIDE +33 (0)6 08 77 93 29 marc.dutoo@openwide.fr www.easysoa.org PROGRESS BEYOND THE STATE OF THE ART Discovery and extraction of existing services from web browsing, Java source code, Eclipse design models, integrated runtimes, monitoring. A complete, Open Source SOA feedback loop, that compares business indicators (computed out of monitored data) with the original specified business constraints. FraSCAti Studio, an online and social solution for generating, scripting, deploying and introspecting web services in the Cloud. HTTP Mining, allowing to record, replay, simulate and check service exchanges, using a correlation engine. All interact with EasySOA Registry. MAJOR OUTCOMES Publications: OW2Con 2012, Paris - SOA-Consistent Workflows with OW2 Scarbo 2 (conference) EclipseCon Europe 2012, Ludwisgburg (DE) - Talend with EasySOA (conference) A Federated Multi-Cloud PaaS Infrastructure. In 5th IEEE International Conference on Cloud Computing, Hawaii (US), 2012 Alpes JUG, Grenoble, 2012: SOA facile en 10 pratiques avec EasySOA (tutorial) Open World Forum 2011, Paris - EasySOA goes social (conference) Product(s) or Service(s): EasySOA Registry is an open service-oriented Information System (IS) governance solution. It brings back to the IS architect control on its SOA, by allowing for: 1. discovery, audit and cartography, 2. collaborative documentation, 3. sanitization, 4. control of its evolution. EasySOA Integration can further integrate with the whole SOA production toolchain: business design, Business Process Management (BPM), monitoring. EasySOA Light opens up the SOA securely to rapid Cloud service development with the new OW2 FraSCAti Studio, and to testing using the new EasySOA HTTP Mining or SOAPUI. It is the flagship product at the heart of Open Wide Technologies (http://technologies.openwide.fr/)'s new Information System governance service offering. Talend ESB (http://www.talend.com/products/esb) is an entreprise service bus (ESB) with entirely graphical configuration. It powers Talend's new SOA offering and is integrated with Talend's Data management tools. It now features Data Services, Camel Routing, Service Activity Monitoring, OSGi Runtime. Bull OW2 Jasmine (http://jasmine.ow2.org) is a monitoring and administration solution. Its modular architecture and graphical interface have been updated. It can now compute business indicators out of Talend ESB monitoring and feed them back to EasySOA Registry. Nuxeo DM is a modular document management platform. It now features diffs, tree versioning, better CMIS and Automation APIs, WSDL Preview and a Talend connector. Job creation: 7 Maintained jobs: 5 Business creation: EasiFab (http://easifab.com) has been founded in june 2011, with INRIA Grenoble as its partner. It reuses results of previous INRIA works and teams. EasySOA has allowed it to validate its business offering and the methodology and tools it comprises. BULL NUXEO, OPEN WIDE, TALEND INRIA DATA OPEN WIDE FUI10 November 2011 26 months 4 1.9 Related Systematic project(s): COMPATIBLE ONE 150
Development tools Harmoniser l'environnement Logiciel et Industrialiser avec l'open Source COMPLETED The HELIOS project (http://heliosplatform.sourceforge.net/) aims at bringing a solution to industrialization problems through an Open Source ALM (Application Lifecycle Management) platform by using a continuous integration approach. To match with the many different process in an Open Source environment (from pure software projects to heterogeneous projects including products from vendors as well as Open Source dependencies), it is important for the HELIOS platformto be able to adapt to any quality process. As a result the HELIOS platform has a non-intrusive and best of breed approach. HELIOS allow the users to select the tools adapted to their needs and processes. Laurent LAUDINET THALES SERVICES laurent.laudinet@thalesgroup.com PROGRESS BEYOND THE STATE OF THE ART The HELIOS platform, in order to create integrated industrialization dashboards with a broad functional field, combines Business Intelligence (BI) technics and continuous integration over a semantic data warehouse. MAJOR S OUTCOMES Product(s) or Service(s): ALCATEL-LUCENT: Alcatel-Lucent has an internal forge named (ACOS). It is very useful for the successful sharing of software development within Alcatel-Lucent. Nonetheless, despite the use of a very rich forge like ACOS, it does not provide all the functionalities required in an industrial environment. The aim of Alcatel-Lucent is to use HELIOS in order to provide solutions related to the following concerns: System integration consideration Upstream phases (specification, design) consideration Integration of test in the forge Handling of a legacy application by a new team Acceptance of the reuse/refactoring of an application Refactoring of an application Agility The goal Alcatel-Lucent is aiming at is reusing HELIOS to fill the lacks listed above. The outcomes for Alcatel-Lucent are mainly internal at first (even if the system allows external partners on the internal forge of Alcatel-Lucent). This use of the project results is major as it will allow software valuation to have an industrial reference site. KALIS: Regarding the HELIOS outcome valuation, KALIS is considering multiple scenarios: Conquest of new services markets through the raise of collaborators productivity thanks to the HELIOS tools. The HELIOS tools will also be a KALIS know-how showcase in its expertise domains. Valuation through the creation of an on-line service for documentation extraction and source code quality analysis (in a SaaS mode). As an example, a KALIS partner is already providing a related service of this type. The analysis of a project is priced at 10,000 per project and per analysis. MANDRIVA: The exploitation by Mandriva the works led within the Helios project articulate around two axes: the creation in 2011 of a Mandriva ALM server product destined to companies willing to develop, test and analyze Linux distributions. This product will integrate components developed in the HELIOS project that will provide targeted companies with increased productivity, traceability and quality in their software production, qualification and exploitation processes. The heterogeneous documentation management portal Doc4 for the whole Mandriva products: while providing a solution to the disparity of information related to open source software, this portal will allow Mandriva to progress in its business market share as well as increasing Mandriva collaborators productivity. THALES SERVICES: HELIOS project direct contribution to THALES tool suite is keyed to some components, developed within the HELIOS project, that cover functional domains little or not covered by the current offer (for example the reverse documentation, legal analysis tools). HELIOS indirect contributions are multiple. At first the HELIOS project has to facilitate the adoption of open source components inside the group. The second is the impulse given by the HELIOS project for the creation of an open source community around industrialization. Such a community can, if it turns out viable, initiate a virtuous circle of improvement for the quality of the available tools in the field of industrialization. ALCATEL-LUCENT, THALES SERVICES ARTENUM, KALIS, MANDRIVA INSTITUT TELECOM DATA THALES SERVICES FUI5 September 2008 24 months 3.7 1 Related Systematic project(s): SQUALE 151
Software engineering / Development tools Project also supported by Systems Design & Development Tools WG. HI-LITE High Integrity Lint Integrated with Testing and Execution Hi-Lite's goal is to promote the use of formal methods in developing high-integrity software. It loosely integrates formal proofs with testing and static analysis, thus allowing projects to combine different techniques around a common expression of properties and constraints. Hi-Lite's focus on modularity allows scaling to large software systems and encourages early adoption. By relying only on sound static analyses, Hi-Lite qualifies for being a tool of choice for industrial users needing to apply the Formal Methods Supplement of the upcoming DO-178C standard. Hi-Lite is completely based on free software. The project is structured as two different tool-chains for Ada and C based on GNAT/GCC compilers (Ada and C), the CodePeer static analyzer (Ada), the SPARK verification tool-set (Ada), the Frama-C platform (C) and the Why platform (Multi-language), all integrated inside AdaCore IDEs. By defining a common language of annotation for testing, static analysis and formal proofs, Hi-Lite will allow industries to switch gradually from an all-testing policy to a more efficient use of modern assurance methods. Most of this annotation language is included in the new version of the Ada language, Ada 2012, an international standard. Hi-Lite defines industrial workflows for separate verification which could be as beneficial to critical software development as separate compilation was beneficial to software development in general. Non-experts will be able to apply separate verification early in the development cycle thanks to the integration of mature existing tools for Ada and C inside powerful IDEs, defining many possible user interactions. Hi-Lite will leverage the decades of experience of industrial formal verification with SPARK to define an extended SPARK programming language and more powerful SPARK verification tools. Projects will be able to create verified software using common programming abstractions like containers and dynamic polymorphism. Traceability of verification activities and results will facilitate software certification. STATUS - MAIN OUTCOMES Arnaud CHARLET ADACORE +33 (0)1 49 70 67 16 charlet@adacore.com ALTRAN, EADS ASTRIUM, THALES COMMUNICATIONS ADACORE CEA LIST, INRIA PROVAL DATA ADACORE FUI9 May 2010 36 months 3.9 1.4 Related Systematic project(s): LAMBDA, USINE LOGICIELLE Hi-Lite will create a set of workflows for critical software verification based on tools. It is expected that various products will be defined and commercialized based on these workflows by the owners of the base tools: AdaCore, Altran, CEA and INRIA. In particular, the next version of the SPARK technology will be based directly on the results of the Hi-Lite project. The large scale experiments performed by industrial partners Altran, Astrium and Thales will give them a strong advance in the application of these workflows in their industrial context. 152
Embedded High-Integrity Model Compile EUROPEAN The Hi-MoCo project (High-Integrity Model Compilers) aims at developing and making fit for industrial use an open-source and qualifiable code generator for heterogenous models like Simulink, Scicos, and UML. The application domain involves high-integrity, safety-critical embedded applications such as those found in the avionics, space and automotive industries. Hi-MoCo plans at adressing practical industrial needs that are not currently adressed by the market: The need for a generic and reusable code generation technology The need for qualification material The need to integrate UML within the Hi-MoCo code generation technology Hi-MoCo will be the only tunable and open-source code generator for embedded systems which could be qualified accordingly to DO-178C and which supports: Simulink, Stateflow and Scicos as input modelling languages; specific subsets of UML state machine and activity diagrams will be considered in the context of the FUI collaborative project Project P; and Ada and C as output programming languages. As such, Hi-MoCo will be one of the first collaborative projects to tackle the challenge of supporting the DO-178C standards along with its related supplements (Tool Qualification, Object-oriented design, Formal methods and Model-based design). As an additional innovation point, Hi-MoCo will consider the whole model compilation chain as a single logical tool which must guarantee traceability and verifiability at each abstraction level. We thus plan to conceive the code generation strategy to ensure source and object code verification techniques could complement model-level verification. Hi-MoCo will deliver a methodology to complement model-level verifications with formal analysis on the generated code to prove platform-specific properties such as absence of run-time errors, precision of floating point calculations and memory/timing requirements. STATUS - MAIN OUTCOMES The project is currently in its early stages. Jamie AYRE ADACORE +33 (0)1 49 70 67 16 ayre@adacore.com ADACORE, IB KRATES (ESTONIA) INPT/IRIT DATA ADACORE EUROSTARS March 2011 24 months 0.5 0.3 Related Systematic project(s): P 153