Inria is a public research institute established in 1967 that produces excellent research in mathematics and computational sciences. It covers research in these areas and works on issues for other sciences and economic/societal actors. Inria can be considered a software provider as it develops around 1000 software, many with open source licenses, which deserve wider recognition for their value creation. The India France Technology Summit is an opportunity to raise awareness of Inria's software portfolio.
Inria organisait durant l'open World Forum 2013 une Rencontre Inria Industrie sur le thème de la qualité logicielle. En effet, alors que le logiciel occupe une place de plus en plus importante dans l'informatique et que nous devenons plus exigeants, il devient essentiel de développer des outils de preuves et d'analyse permettant de tester la fiabilité de ces derniers. Cette rencontre a été l'occasion pour Inria de présenter quelques unes de ces solutions innovantes, développées par ses équipes de recherche.
Inria - leaflet of research centre Lille - Nord EuropeInria
The Inria Lille – Nord Europe research centre provides access to the top European and international research for innovation and companies, in particular in its region. Thanks to its commitment and drive, the Inria Lille – Nord Europe research centre asserts an attractive international recruitment and hosting policy.
Leaflet of research centre Grenoble - Rhône-AlpesInria
Active in computational sciences in Rhône-Alpes
Established in Grenoble and Lyon since 1992, the Inria Grenoble – Rhône-Alpes Research Centre strives to promote the integration of its operations into the scientific settings of Grenoble and Lyon. It is involved in defining relevant local strategies by systematically supporting a partnership logic.
IoT: New business paradigm for SMEs? - IoTSWC side event
Professor Ernest Teniente
Session 2: Modelling and Simulation for Industry 4.0 - round table on opportunities and challenges in the new era of IoT
Inria organisait durant l'open World Forum 2013 une Rencontre Inria Industrie sur le thème de la qualité logicielle. En effet, alors que le logiciel occupe une place de plus en plus importante dans l'informatique et que nous devenons plus exigeants, il devient essentiel de développer des outils de preuves et d'analyse permettant de tester la fiabilité de ces derniers. Cette rencontre a été l'occasion pour Inria de présenter quelques unes de ces solutions innovantes, développées par ses équipes de recherche.
Inria - leaflet of research centre Lille - Nord EuropeInria
The Inria Lille – Nord Europe research centre provides access to the top European and international research for innovation and companies, in particular in its region. Thanks to its commitment and drive, the Inria Lille – Nord Europe research centre asserts an attractive international recruitment and hosting policy.
Leaflet of research centre Grenoble - Rhône-AlpesInria
Active in computational sciences in Rhône-Alpes
Established in Grenoble and Lyon since 1992, the Inria Grenoble – Rhône-Alpes Research Centre strives to promote the integration of its operations into the scientific settings of Grenoble and Lyon. It is involved in defining relevant local strategies by systematically supporting a partnership logic.
IoT: New business paradigm for SMEs? - IoTSWC side event
Professor Ernest Teniente
Session 2: Modelling and Simulation for Industry 4.0 - round table on opportunities and challenges in the new era of IoT
International Journal of Signal Processing(IJSP) is a open access journal that publishes articles which contribute new results in all areas of Computer Networks & Communications. The journal focuses on all technical and practical aspects of Computer Networks & data Communications. Authors are solicited to contribute to this journal
The 2011 IEEE/WIC/ACM International Conference on Web Intelligence » industry...Francois Pouilloux
The industry day of the conference aims to bring together people from both academia and industry in a venue that highlights application and practical impact.
I'm pleased to present there on August 22nd 2011.
Stay tuned for the prez file after the event !
Presentation at the Cebit Open Source Forum, on Wednesday 18 March
http://www.cebit.de/veranstaltung/open-source-software-in-europes-public-administrations-policies-and-implementations/VOR/64677
Augmented Reality (AR) is on the way to establishing itself in business and teaching once more. However, there is a lack of uniform guidelines or even standards both in the creation of teaching materials and in the use of AR in teaching. In addition, the industry needs enough well-trained specialists who can implement the established AR concepts, making a transfer from university to industry necessary. Therefore, in this talk we address both challenges in teaching with AR and the special needs of teaching about AR.
As teaching with AR will surely advance human performance and also brings in new perspectives with the communication, coordination and collaboration of AR in supporting human performance. As computer scientists, we have a European, interdisciplinary and application-oriented perspective, as our experience comes from several funded European projects in these areas. We also incorporate new incentives into teaching contexts in our framework, such as gamification, learning analytics and experience capturing. In addition, we refer to international standardization efforts such as IEEE ARLEM.
Teaching about AR adopts a multi-perspective view. First, there is scientific and technological basic knowledge helping to understand the underlying physical and technical principles. Second, there is engineering and design knowledge to master the creation, fabrication, and utilization of AR in many ways. Third, there is the necessary pedagogical knowledge to transform these complex settings in manageable teaching scenarios and processes, e.g. for higher education curricula.
Here, teaching AR can learn from traditions of science and engineering education as well as from more recent knowledge about computer science education. Examples from recent and on-going European projects will illustrate the argumentation.
Department of Information and Communication Technologies. Univ. Pompeu Fabra,...Aurelio Ruiz Garcia
Slides introducing the Department of Information and Communication Technologies at Universitat Pompeu Fabra (DTIC-UPF) in Barcelona.
The activity of DTIC-UPF lies in the broad range of fields created around the convergence of ICT with biomedical and cognitive sciences, computation and networks.
The DTIC-UPF has since its beginnings emphasized scientific excellence and internationalization as core aspects of its activities.
Its community is composed by over 300 people from 58 nationalities. DTIC-UPF is the leading university department in Spain in participating in EU programmes (65 projects in FP7, including 9 prestigious ERC grants).
DTIC delivers both undergraduate and master training in its areas of interest of research (including brain and cognition, cognitive systems and interactive media, intelligent interactive sytems, music and sound computing, computer vision and an upcoming program in wireless communications) and professional activity (digital arts, animation, videogame creation, ICT strategic management, data visualisation, etc),
DTIC-UPF holds agreements with both leading international companies (including Yamaha, General Electric, Siemens, Philips, Telefónica, etc) and a rich ecosystem of local and international SMEs.
DTIC-UPF is also very active in its engagement with society in general, and students in particular, leading and participating regular activities in artistic centres, museums, schools and NGOs.
For more information please visit http://www.upf.edu/dtic/en/
The 2020-2021 Cineca HPC Annual Report is available. The commitment to offer data and information about the role of Cineca's HPC activity and on the impact of high-performance computing on the national and international scientific community continues, as well as the commitment to share our vision and development prospects with all our stakeholders.
We continue to provide a general overview of the research activities and results obtained through access to the national supercomputing infrastructure and at the same time we also share the value of the projects and activities pursued, beyond the consolidated performance indexes.
Inria - leaflet of research centre Nancy - Grand EstInria
The Inria Nancy - Grand Est research centre organises many scientific cooperation programs with its academic partners in the region as a whole and internationally, in particular with Sarrebruck and Luxembourg.
International Journal of Signal Processing(IJSP) is a open access journal that publishes articles which contribute new results in all areas of Computer Networks & Communications. The journal focuses on all technical and practical aspects of Computer Networks & data Communications. Authors are solicited to contribute to this journal
The 2011 IEEE/WIC/ACM International Conference on Web Intelligence » industry...Francois Pouilloux
The industry day of the conference aims to bring together people from both academia and industry in a venue that highlights application and practical impact.
I'm pleased to present there on August 22nd 2011.
Stay tuned for the prez file after the event !
Presentation at the Cebit Open Source Forum, on Wednesday 18 March
http://www.cebit.de/veranstaltung/open-source-software-in-europes-public-administrations-policies-and-implementations/VOR/64677
Augmented Reality (AR) is on the way to establishing itself in business and teaching once more. However, there is a lack of uniform guidelines or even standards both in the creation of teaching materials and in the use of AR in teaching. In addition, the industry needs enough well-trained specialists who can implement the established AR concepts, making a transfer from university to industry necessary. Therefore, in this talk we address both challenges in teaching with AR and the special needs of teaching about AR.
As teaching with AR will surely advance human performance and also brings in new perspectives with the communication, coordination and collaboration of AR in supporting human performance. As computer scientists, we have a European, interdisciplinary and application-oriented perspective, as our experience comes from several funded European projects in these areas. We also incorporate new incentives into teaching contexts in our framework, such as gamification, learning analytics and experience capturing. In addition, we refer to international standardization efforts such as IEEE ARLEM.
Teaching about AR adopts a multi-perspective view. First, there is scientific and technological basic knowledge helping to understand the underlying physical and technical principles. Second, there is engineering and design knowledge to master the creation, fabrication, and utilization of AR in many ways. Third, there is the necessary pedagogical knowledge to transform these complex settings in manageable teaching scenarios and processes, e.g. for higher education curricula.
Here, teaching AR can learn from traditions of science and engineering education as well as from more recent knowledge about computer science education. Examples from recent and on-going European projects will illustrate the argumentation.
Department of Information and Communication Technologies. Univ. Pompeu Fabra,...Aurelio Ruiz Garcia
Slides introducing the Department of Information and Communication Technologies at Universitat Pompeu Fabra (DTIC-UPF) in Barcelona.
The activity of DTIC-UPF lies in the broad range of fields created around the convergence of ICT with biomedical and cognitive sciences, computation and networks.
The DTIC-UPF has since its beginnings emphasized scientific excellence and internationalization as core aspects of its activities.
Its community is composed by over 300 people from 58 nationalities. DTIC-UPF is the leading university department in Spain in participating in EU programmes (65 projects in FP7, including 9 prestigious ERC grants).
DTIC delivers both undergraduate and master training in its areas of interest of research (including brain and cognition, cognitive systems and interactive media, intelligent interactive sytems, music and sound computing, computer vision and an upcoming program in wireless communications) and professional activity (digital arts, animation, videogame creation, ICT strategic management, data visualisation, etc),
DTIC-UPF holds agreements with both leading international companies (including Yamaha, General Electric, Siemens, Philips, Telefónica, etc) and a rich ecosystem of local and international SMEs.
DTIC-UPF is also very active in its engagement with society in general, and students in particular, leading and participating regular activities in artistic centres, museums, schools and NGOs.
For more information please visit http://www.upf.edu/dtic/en/
The 2020-2021 Cineca HPC Annual Report is available. The commitment to offer data and information about the role of Cineca's HPC activity and on the impact of high-performance computing on the national and international scientific community continues, as well as the commitment to share our vision and development prospects with all our stakeholders.
We continue to provide a general overview of the research activities and results obtained through access to the national supercomputing infrastructure and at the same time we also share the value of the projects and activities pursued, beyond the consolidated performance indexes.
Inria - leaflet of research centre Nancy - Grand EstInria
The Inria Nancy - Grand Est research centre organises many scientific cooperation programs with its academic partners in the region as a whole and internationally, in particular with Sarrebruck and Luxembourg.
Digital technology now forms a central part of our everyday lives. It can be found in the majority of objects and services that we use every day, including the Internet, computers, mobile phones, cameras, portable music players, televisions, game consoles and GPS receivers, but it is also hidden away, sometimes in a less visible manner, in vehicles, industrial tools, medical devices, decision support systems, etc.
In the space of barely a few years, all these technologies have already profoundly changed our lives, to the point of becoming indispensable. They will continue to do so in the future, thanks to applications that are currently being developed. This is the route taken by researchers at Inria, a public research body, which is inventing the digital world of the future.
Construction of a 200' long x 16' high x 3' thick x 3500 psi, solid concrete retaining wall, backfilled with 3000m3 of road grade stone, compacted every 12"
The 2010 annual report, covering the activity of the whole Institute, is now available in two formats: in the print version and in the on-line version that can be consulted online. It is an opportunity to look back over an eventful year and to share this document which is both important and at the same time enjoyable to read.
These integrated Offerings help many students to get their skills upgraded and help them really to get good jobs. Data Analytics , AI and HPC are the key technologies students can learn from this Integrated offerings .
Software development effort reduction with Co-oplbergmans
This talks explains the motivations for the Co-op technology: what are the challenges it addresses, in particular focusing on reducing accidental complexity, where it comes from, and a general vision on how to resolve it. Then we continue to show practical application of Co-op, including experience figures from large-scale application of a previous generation of this technology. Show a little bit about its realization, and conclude with an evaluation of the technology.
Similar to Inria - Software assets - Aerospace (20)
In this 2022 edition of its annual report, Inria provides food for thought on how to get a sense of perspective within a digital world that is constantly and attempts to provide relevant responses to society’s growing expectations on public research in digital.
Dans cette édition 2022 de son rapport annuel, Inria donne des pistes de réflexion pour prendre du recul dans un monde numérique en accélération permanente et tente d'apporter des réponses pertinentes aux attentes croissantes de la société à l’égard de la recherche publique dans le numérique.
Each year, Inria institute publishes its annual report for the previous year. In a "magazine" format, it highlights our results and gives our partners the opportunity to share and understand their vision of our institute and digital technology. This report highlights Inria's role, its commitments, its actions and its impact in building digital sovereignty through research and innovation.
Comme chaque année, Inria publie son rapport annuel de l'année précédente. Décliné sous un format "magazine", il fait la part belle à nos résultats et donne la parole à nos partenaires pour partager et comprendre leur vision de notre institut et du numérique. Ce rapport souligne le rôle d’Inria, ses engagements, ses actions et son impact pour construire la souveraineté numérique par la recherche et l’innovation.
Every year, Inria publishes its activity report for the previous year. In its 20 pages of scientific and economic successes, the report pays particular tribute this year to the commitment and action of all the Institute's staff, in both crisis and strategic projects.
Comme chaque année, Inria publie son rapport d'activités de l'année précédente. Un document qui, au travers de ses 20 pages de réussites scientifiques et économiques, salue tout particulièrement cette année l'engagement et l'action de tous les personnels de l'institut, dans les projets de crise comme les projets stratégiques.
Après l’intelligence artificielle, les voitures autonomes et connectées et la cybersécurité, c’est au tour de l’éducation de faire l’objet d’un livre blanc publié par Inria. L’institut vient en effet de dévoiler un document de plus de 130 pages offrant, avec l’aide de collègues de plusieurs domaines, son expertise pour aider à comprendre et faire évoluer le monde de l'éducation, grâce et avec le numérique.
En savoir plus et téléchargement : https://www.inria.fr/fr/education-numerique-livre-blanc-inria-edtech
Inria's ambition is to work with its partners to build France's scientific, technological and industrial leadership in the European dynamic and strengthen our digital sovereignty.
L'ambition d'Inria ? Construire avec ses partenaires le leadership scientifique, technologique et industriel de la France dans la dynamique européenne et renforcer notre souveraineté numérique.
Generating a custom Ruby SDK for your web service or Rails API using Smithyg2nightmarescribd
Have you ever wanted a Ruby client API to communicate with your web service? Smithy is a protocol-agnostic language for defining services and SDKs. Smithy Ruby is an implementation of Smithy that generates a Ruby SDK using a Smithy model. In this talk, we will explore Smithy and Smithy Ruby to learn how to generate custom feature-rich SDKs that can communicate with any web service, such as a Rails JSON API.
State of ICS and IoT Cyber Threat Landscape Report 2024 previewPrayukth K V
The IoT and OT threat landscape report has been prepared by the Threat Research Team at Sectrio using data from Sectrio, cyber threat intelligence farming facilities spread across over 85 cities around the world. In addition, Sectrio also runs AI-based advanced threat and payload engagement facilities that serve as sinks to attract and engage sophisticated threat actors, and newer malware including new variants and latent threats that are at an earlier stage of development.
The latest edition of the OT/ICS and IoT security Threat Landscape Report 2024 also covers:
State of global ICS asset and network exposure
Sectoral targets and attacks as well as the cost of ransom
Global APT activity, AI usage, actor and tactic profiles, and implications
Rise in volumes of AI-powered cyberattacks
Major cyber events in 2024
Malware and malicious payload trends
Cyberattack types and targets
Vulnerability exploit attempts on CVEs
Attacks on counties – USA
Expansion of bot farms – how, where, and why
In-depth analysis of the cyber threat landscape across North America, South America, Europe, APAC, and the Middle East
Why are attacks on smart factories rising?
Cyber risk predictions
Axis of attacks – Europe
Systemic attacks in the Middle East
Download the full report from here:
https://sectrio.com/resources/ot-threat-landscape-reports/sectrio-releases-ot-ics-and-iot-security-threat-landscape-report-2024/
Connector Corner: Automate dynamic content and events by pushing a buttonDianaGray10
Here is something new! In our next Connector Corner webinar, we will demonstrate how you can use a single workflow to:
Create a campaign using Mailchimp with merge tags/fields
Send an interactive Slack channel message (using buttons)
Have the message received by managers and peers along with a test email for review
But there’s more:
In a second workflow supporting the same use case, you’ll see:
Your campaign sent to target colleagues for approval
If the “Approve” button is clicked, a Jira/Zendesk ticket is created for the marketing design team
But—if the “Reject” button is pushed, colleagues will be alerted via Slack message
Join us to learn more about this new, human-in-the-loop capability, brought to you by Integration Service connectors.
And...
Speakers:
Akshay Agnihotri, Product Manager
Charlie Greenberg, Host
Kubernetes & AI - Beauty and the Beast !?! @KCD Istanbul 2024Tobias Schneck
As AI technology is pushing into IT I was wondering myself, as an “infrastructure container kubernetes guy”, how get this fancy AI technology get managed from an infrastructure operational view? Is it possible to apply our lovely cloud native principals as well? What benefit’s both technologies could bring to each other?
Let me take this questions and provide you a short journey through existing deployment models and use cases for AI software. On practical examples, we discuss what cloud/on-premise strategy we may need for applying it to our own infrastructure to get it to work from an enterprise perspective. I want to give an overview about infrastructure requirements and technologies, what could be beneficial or limiting your AI use cases in an enterprise environment. An interactive Demo will give you some insides, what approaches I got already working for real.
Dev Dives: Train smarter, not harder – active learning and UiPath LLMs for do...UiPathCommunity
💥 Speed, accuracy, and scaling – discover the superpowers of GenAI in action with UiPath Document Understanding and Communications Mining™:
See how to accelerate model training and optimize model performance with active learning
Learn about the latest enhancements to out-of-the-box document processing – with little to no training required
Get an exclusive demo of the new family of UiPath LLMs – GenAI models specialized for processing different types of documents and messages
This is a hands-on session specifically designed for automation developers and AI enthusiasts seeking to enhance their knowledge in leveraging the latest intelligent document processing capabilities offered by UiPath.
Speakers:
👨🏫 Andras Palfi, Senior Product Manager, UiPath
👩🏫 Lenka Dulovicova, Product Program Manager, UiPath
Slack (or Teams) Automation for Bonterra Impact Management (fka Social Soluti...Jeffrey Haguewood
Sidekick Solutions uses Bonterra Impact Management (fka Social Solutions Apricot) and automation solutions to integrate data for business workflows.
We believe integration and automation are essential to user experience and the promise of efficient work through technology. Automation is the critical ingredient to realizing that full vision. We develop integration products and services for Bonterra Case Management software to support the deployment of automations for a variety of use cases.
This video focuses on the notifications, alerts, and approval requests using Slack for Bonterra Impact Management. The solutions covered in this webinar can also be deployed for Microsoft Teams.
Interested in deploying notification automations for Bonterra Impact Management? Contact us at sales@sidekicksolutionsllc.com to discuss next steps.
JMeter webinar - integration with InfluxDB and GrafanaRTTS
Watch this recorded webinar about real-time monitoring of application performance. See how to integrate Apache JMeter, the open-source leader in performance testing, with InfluxDB, the open-source time-series database, and Grafana, the open-source analytics and visualization application.
In this webinar, we will review the benefits of leveraging InfluxDB and Grafana when executing load tests and demonstrate how these tools are used to visualize performance metrics.
Length: 30 minutes
Session Overview
-------------------------------------------
During this webinar, we will cover the following topics while demonstrating the integrations of JMeter, InfluxDB and Grafana:
- What out-of-the-box solutions are available for real-time monitoring JMeter tests?
- What are the benefits of integrating InfluxDB and Grafana into the load testing stack?
- Which features are provided by Grafana?
- Demonstration of InfluxDB and Grafana using a practice web application
To view the webinar recording, go to:
https://www.rttsweb.com/jmeter-integration-webinar
Securing your Kubernetes cluster_ a step-by-step guide to success !KatiaHIMEUR1
Today, after several years of existence, an extremely active community and an ultra-dynamic ecosystem, Kubernetes has established itself as the de facto standard in container orchestration. Thanks to a wide range of managed services, it has never been so easy to set up a ready-to-use Kubernetes cluster.
However, this ease of use means that the subject of security in Kubernetes is often left for later, or even neglected. This exposes companies to significant risks.
In this talk, I'll show you step-by-step how to secure your Kubernetes cluster for greater peace of mind and reliability.
GDG Cloud Southlake #33: Boule & Rebala: Effective AppSec in SDLC using Deplo...James Anderson
Effective Application Security in Software Delivery lifecycle using Deployment Firewall and DBOM
The modern software delivery process (or the CI/CD process) includes many tools, distributed teams, open-source code, and cloud platforms. Constant focus on speed to release software to market, along with the traditional slow and manual security checks has caused gaps in continuous security as an important piece in the software supply chain. Today organizations feel more susceptible to external and internal cyber threats due to the vast attack surface in their applications supply chain and the lack of end-to-end governance and risk management.
The software team must secure its software delivery process to avoid vulnerability and security breaches. This needs to be achieved with existing tool chains and without extensive rework of the delivery processes. This talk will present strategies and techniques for providing visibility into the true risk of the existing vulnerabilities, preventing the introduction of security issues in the software, resolving vulnerabilities in production environments quickly, and capturing the deployment bill of materials (DBOM).
Speakers:
Bob Boule
Robert Boule is a technology enthusiast with PASSION for technology and making things work along with a knack for helping others understand how things work. He comes with around 20 years of solution engineering experience in application security, software continuous delivery, and SaaS platforms. He is known for his dynamic presentations in CI/CD and application security integrated in software delivery lifecycle.
Gopinath Rebala
Gopinath Rebala is the CTO of OpsMx, where he has overall responsibility for the machine learning and data processing architectures for Secure Software Delivery. Gopi also has a strong connection with our customers, leading design and architecture for strategic implementations. Gopi is a frequent speaker and well-known leader in continuous delivery and integrating security into software delivery.
Builder.ai Founder Sachin Dev Duggal's Strategic Approach to Create an Innova...Ramesh Iyer
In today's fast-changing business world, Companies that adapt and embrace new ideas often need help to keep up with the competition. However, fostering a culture of innovation takes much work. It takes vision, leadership and willingness to take risks in the right proportion. Sachin Dev Duggal, co-founder of Builder.ai, has perfected the art of this balance, creating a company culture where creativity and growth are nurtured at each stage.
Transcript: Selling digital books in 2024: Insights from industry leaders - T...BookNet Canada
The publishing industry has been selling digital audiobooks and ebooks for over a decade and has found its groove. What’s changed? What has stayed the same? Where do we go from here? Join a group of leading sales peers from across the industry for a conversation about the lessons learned since the popularization of digital books, best practices, digital book supply chain management, and more.
Link to video recording: https://bnctechforum.ca/sessions/selling-digital-books-in-2024-insights-from-industry-leaders/
Presented by BookNet Canada on May 28, 2024, with support from the Department of Canadian Heritage.
UiPath Test Automation using UiPath Test Suite series, part 4DianaGray10
Welcome to UiPath Test Automation using UiPath Test Suite series part 4. In this session, we will cover Test Manager overview along with SAP heatmap.
The UiPath Test Manager overview with SAP heatmap webinar offers a concise yet comprehensive exploration of the role of a Test Manager within SAP environments, coupled with the utilization of heatmaps for effective testing strategies.
Participants will gain insights into the responsibilities, challenges, and best practices associated with test management in SAP projects. Additionally, the webinar delves into the significance of heatmaps as a visual aid for identifying testing priorities, areas of risk, and resource allocation within SAP landscapes. Through this session, attendees can expect to enhance their understanding of test management principles while learning practical approaches to optimize testing processes in SAP environments using heatmap visualization techniques
What will you get from this session?
1. Insights into SAP testing best practices
2. Heatmap utilization for testing
3. Optimization of testing processes
4. Demo
Topics covered:
Execution from the test manager
Orchestrator execution result
Defect reporting
SAP heatmap example with demo
Speaker:
Deepak Rai, Automation Practice Lead, Boundaryless Group and UiPath MVP
UiPath Test Automation using UiPath Test Suite series, part 4
Inria - Software assets - Aerospace
1.
2. Inria, a public research institute established in 1967, produces excellent research in
mathematics and computational sciences. The institute covers the entire spectrum of
research at the heart of these areas of activity, and works also on issues asked by other
sciences and by economic and societal actors.
Inria can be considered as a software provider. Indeed, approximately 1000 software are
currently developed of which a large part is distributed with an open source license. Inria is
convinced that this production deserves to be more widely known among academic and
economical actors as it is a source of value creation, which is one of Inria's missions.
The India France Technology Summit is an opportunity to raise awareness of this software
production. Thus, this catalog offers an extract from software assets, as part of the Summit
themes such as health, smart cities, smart grid, critical embedded software, etc. .
You can find all these software files, and many others on
Icommunity: https://www.icommunity.fr/patrimoine-technologique-inria
3. Alt-Ergo
is an automatic solver of
formulas based on SMT technology. It is
especially designed to prove mathematical
formulas generated by program verification
tools, such as Frama-C for C programs, or
SPARK for Ada code. Initially developed in
Toccata research team, Alt-Ergo's distribution
and support are provided by OCamlPro since
September 2013.
Contact: Sylvain.Conchon@inria.fr
http://alt-ergo.lri.fr
Innovative aspects :
- Polymorphic language input
- Interactive graphical interface
- Qualification DO-178 B/C (avionic)
Main fielfs of applications :
- Program verification
- Formal tests generation
- Model checking
- Cryptographic protocols verification
Mais users :
- Airbus & Atos Origin (projet de l'A350)
- AdaCore & Altran (preuve de code Ada)
- CEA (preuve de programmes C)
Language, standard, environment :
OCaml (Linux, Windows, MacOS)
Keywords: software reliability, formal methods,
proof
Licence: CECILL-C
Partners :
Toccata
&
4. Contact: chantal.le_tonqueze@inria.fr
http://www.eclipse.org/m2m/atl/
ATL (AtlanMod Transformation Language) is a Innovative aspects:
Support for all model types (e.g., UML2),
tool dedicated to model transformation,
declarative (QVT-like) and imperative
complete, integrated into Eclipse and including
syntaxes.
its own development & execution environment,
Main fields of application:
concrete examples as well as the
Code generation preparing, reverse
corresponding associated documentation
engineering of legacy systems, tool
interoperability, etc. More generally, any
context implying model processing.
Keywords: MDA, MDE, ATL, QVT, model,
transformation
Language, standard, environment:
Eclipse, EMF, Java
License: Eclipse Public License (EPL)
Partners:
5. Contact: pierre.martinon@inria.fr
URL: www.bocop.org
controlled Innovative aspects: highly flexible toolbox,
with state-of-the-art algorithms, advanced and
user-friendly GUI
Features powerful solvers and user-friendly
GUI. Fit for both academic and industrial use. Main fields of application: transportation,
Toolbox for optimization
dynamical systems.
of
energy, process optimization, and biology
Language, environment:
C++, Linux / Mac / Windows
Keywords:
control, optimization, toolbox
License: EPL (core)
Possible proprietary modules
Academic partners :
6. Contact: Julia.Lawall@inria.fr
http://coccinelle.lip6.fr
Coccinelle
Coccinelle is a tool for code search and
transformation for C programs. It has been
extensively used for bug finding and
evolutions in Linux kernel code.
Innovative aspects: Ease of writing
specifications, in terms of C-code based
patterns. Scales to millions of lines of code.
Main fields of application: Large-scale
software development. Bug finding, software
evolution, code renovation, code metrics,
software understanding.
@@
expression E;
constant C;
@@
– !E & C
+ !(E & C)
Language, environment: Linux, Windows,
Mac. Distributed with Ubuntu, Debian,
Fedora, etc.
Keywords : code quality, evolution,
infrastructure software
License : GPLv2
Academic partners :
7. Contact: sriv-saclay@inria.fr
http://coco.gforge.inria.fr/doku.php
Choose your Optimizer!
COmparing Continuous Optimizers is a
platform for benchmarking numerical
optimization algorithms in order to determine
the best optimizer for a given class of
problem.
Innovative aspects: Tedious task of running
experiments, postprocessing and visualization
entirely automatized. Database of different
benchmarked algorithms with the platform
available.
Main fields of application: Any field where
one needs to solve numerical optimization
problem in black-box scenario, such as
biology, physics (for parameter calibration),
engineering design (launcher, airplane, car,
...).
Language, environment: C, Java, Matlab and
Octave, Python
Keywords: benchmarking, numerical
optimization, black-box optimization.
License: BSD
Academic partners:
8. Coq
Coq provides with both a dependently-typed
functional programming language and a logical
formalism, which, altogether, supports the
formalisation of mathematical theories and the
specification and certification of properties of
programs. Coq also provides with a large and
extensible set of automatic or semi-automatic
proof methods. Coq's programs are extractible
to OCaml, Haskell, Scheme, ...
Contact: coqdev@inria.fr
http://coq.inria.fr
Innovative aspects: Coq received the
ACM-SIGPLAN Programming Languages
Software 2013 award for its original mixed
programming/logic language and for its
high-level methods of proof and
specification (tactic language, systems of
abbreviation, ...)
Main fields of application: formalisation of
mathematics, certification of properties of
programs, university-level teaching of logic
and programming
Top applications: full formalisation of the
group order theorem, C compiler certification
Language, environment: multi-platforms,
written in OCaml, libraries themselves written
in Coq
Keywords: certification, formalisation, proofs
License: LGPL
Academic partners: CNRS, ENS Lyon, U.
Paris-Sud, U. Paris-Diderot
9. Contact: sriv-saclay@inria.fr
http://frama-c.com/
Frama-C is a platform dedicated to sourcecode analysis of C software.
Frama-C assists in development and
verification activities as well as in reverse
source-code engineering.
Innovative aspects:
Frama-C proposes a dedicated language for
writing specifications, ACSL. Different FramaC plug-ins use complementary techniques to
verify that the source code complies with
specifications written in this language.
Main fields of application: Transport,
energies, healthcare, security
Language, standard, environment: Ocaml
language
License: GNU LGPL v2
Keywords: Software verification, proving
software, trusted software.
Partners:
10. Contact: chantal.le_tonqueze@inria.fr
http://kermeta.org/
Innovative aspects:
programming environment based on an object- Kermeta allows to define and enrich new
programming languages by improving the way
oriented DSL (Domain Specific Language)
to specify, simulate and test operational
semantics of metamodels.
optimized for metamodel engineering.
The Kermeta workbench is a powerful meta-
.
Main fields of application: Agile software
developent, model engineering
Key words : MOF (Meta Object Facility),
OMG (Object Management Group),
Metamodelisation
Coding and Operating System: Java,
Kermeta
License: EPL
Academic Partners:
11. Contact: Brice.Goglin@inria.fr
http://www.open-mpi.org/projects/hwloc/
« Portable Hardware Locality »
hwloc discovers your computers’ topology and
exposes it as an abstracted and portable
hierarchical tree.
Main fields of application: hwloc’s main
goal consists in assisting applications for
retrieving easy-to-use information about
modern compute server architectures so as
to exploit their power in a more convenient
and efficient manner.
Language: C
Keywords: Topology, locality, affinities,
HPC, MPI, GPU
License: new BSD licence
Technological barrier: Users may now
visualize the topology within a graphical
interface and consult many architectural and
computing characteristics.
Academic partners:
Open MPI consortium, Argonne Nationa
Lab., etc.
12. Contact: sylvain.karpf@inria.fr
http://www.moosetechnology.org
Moose is an extensive platform for software
and data analysis. It offers multiple services
ranging from importing and parsing data, to
modeling, to measuring, querying, mining, and
to building interactive and visual analysis tools.
Innovative aspects:
Moose accelerates production of software
analyses by providing expandable models and
reusable libraries. Several models are offered
for static or dynamic analysis of programmes,
development logs, procedural code or aspect.
Smalltalk (open-source Pharo)
Windows, Linux, Mac
Main fields of application: Retroengineering, Meta-modelling, Software
visualisation
License: BSD licence
Academic partners:
13. Contact: rev@inrialpes.fr
http://graal.ens-lyon.fr/MUMPS
Multifrontal Massively Parallel Solver solves
sparse linear systems of the form A x = b.
Innovative aspects:
MUMPS is a direct solver, used worldwide in
many fields related to digital simulation, in
academic as well as industrial codes. Its main
characteristics are its numerical stability, large
number of functionalities and high
performance.
Language, standard, environment:
Fortran and C languages, available for Unix,
Windows or Mac OS, parallel calculators.
Keywords:
sparse matrices, direct solvers, highperformance calculation, finite element
modelling
Licence: Open source
Spinning wheel (courtesy of SAMTECH)
Academic partners:
14. Contact: regis.duvigneau@inria.fr
http://num3sis.inria.fr
-
Visual programming (dataflow)
-
Coupling via plugins
-
Interactive computation and
visualization
-
Distributed computing
Innovative aspects:
Plateform for the aggregation of software
components (plugins) dedicated to multidisciplinary numerical simulation in HPC
environment
Coupling of models (aerodynamics,
electromagnetics, structural mechanics),
coupling of numerical methods (finitevolume, finite-element, discontinuous
Galerkin, linear solver, mesh generation, etc)
Language, environment: C++, libraries Qt,
vtk, mpi
Keywords: simulation, plateform, HPC
License: free for academic usage
15. Contact: rev@inrialpes.fr
http://oar.imag.fr
A task and resource management tool for
computing infrastructures.
Innovative aspects:
Versatility, customisation, scaling up, control of
complexity, flexible scheduler.
Main fields of application:
Use of infrastructures for high-performance
computing.
Language: Perl, Ruby, Ocaml, Bash, SQL.
Available for UNIX: Debian, Centos,
RedHat.
Keywords: resource manager, clusters, light
grid, cloud, HPC.
License: GPL
Partners: Used by (among others) Grid’5000,
SensLAB, Mesocentre CIMENT, BRGM.
16. OCaml
The OCaml language is a functional programming
language that combines safety with expressiveness
through the use of a precise and flexible type system with
automatic type inference. The OCaml system is a
comprehensive implementation of this language, featuring
two compilers (a bytecode compiler, for fast prototyping
and interactive use, and a native-code compiler producing
efficient machine code for x86, ARM, PowerPC and
SPARC), a debugger, a documentation generator, a
compilation manager, a package manager, and many
libraries contributed by the user community.
Contact: Xavier.Leroy@inria.fr
http://caml.inria.fr/
http://ocaml.org/
Innovative aspects:
OCaml is one of the three most widely-used functional
programming languages, and the only one that
seamlessly combines functional, imperative and
object-oriented programming within a single type
system.
Main fields of application: Symbolic computation :
compilers, code generators, static analyzers, formal
verification tools, automated theorem provers, interactive
proof assistants. High-level systems, network and Web
programming. OCaml is also used in the financial
industry, notably for modeling and pricing complex
financial products.
Language, environment: Programmed in OCaml and in
C, the OCaml system supports Linux, BSD, MacOS X,
and Microsoft Windows.
Keywords: functional programming, static typing,
symbolic computation, compilation, static analysis.,
License: OCaml is free software, distributed under QPL
and LGPL licences. A specific BSD-like license is offered
to members of the Caml Consortium.
17. Contact: sylvain.karpf@inria.fr
http://paradiseo.gforge.inria.fr/
ParadisEO
Paradiseo is a software framework for
metaheuristics (optimisation algorithms aimed
at solving difficult optimisation problems). It
facilitates the use, development and
comparison of classic, multi-objective, parallel
or hybrid metaheuristics.
ParadisEO-PEO
ParadisEO-MO
Innovative aspects:
ParadisEO offers implementations of
numerous classic metaheuristics from
literature as well as innovative new
metaheuristics. This software can also be
used for parallelisation of metaheuristics.
Main fields of application: ParadisEO is
used to solve large-scale optimisation
problems in a wide variety of fields, such as
transport, logistics, telecommunication
systems and bioinformatics.
ParadisEO-MOEO
ParadisEO-EO
EO : Population-based metaheuristics
Language, environment: available for
Windows, Unix and Mac OS X, Language
C++, CMake
Keywords: Metaheuristics, parallelisation.
MO : Single solution-based metaheuristics
MOEO : Metaheuristics for multiobjective optimisation
PEO : Hybrid, parallel and distributed metaheuristics
License: freeware available
Academic partners:
18. Contact: marianne.lamour@inria.fr
http://www.labri.fr/~pelegrin/scotch/
(PT-)Scotch
Scotch is a graph partitioner. It helps optimise
the division of a problem, by means of a graph,
into a set of independent sub-problems of
equivalent sizes. These sub-problems can also
be solved at the same time.
Partitioning of edges into 8
parts.
Each part is allocated to a
different processor.
Partitioning vertices to reorder
blocks of a sparse matrix.
Innovative aspects:
Scotch calculates partitions on a sequential
machine and PT-Scotch on a parallel machine.
PT-Scotch can handle very large graphs (2
billion vertices or more) on several tens of
thousands of processors.
The quality of solutions provided by PT-Scotch
does not depend on the number of processors
on which it runs.
Main fields of application : distributing a
scientific problem's computing load across the
processors of a parallel machine, placement of
VLSI circuits, combinatorial optimisation, etc...
Language: C
Keywords: high-performance calculation,
graph algorithmics, domain decomposition,
mesh partitioning, sparse matrix ordering
License: CECILL C
19. proactive.inria.fr
ProActive
Portable Java middleware designed for
the distributed and parallel multi-core
calculation. It allows the progamming
and the execution of parallel
applications as well as ressources
management (workstations, servers,
clusters, grids or cloud)
Innovative aspects:
Distributed active objects, seamless
components migration, large scale
communicating software components
Main fields of application: Distributed
systems and services
Language, environment:
Java (Linux, MacOS, Windows)
Keywords: distributed computing, grids,
cloudcomputing
License :
- Open source (AGPL)
- Proprietary within
20. Contact: rev@inrialpes.fr
http://nano-d.inrialpes.fr/
SAMSON
A software platform for real-time modelling and Innovative aspects:
simulation of natural or artificial nanosystems. The specific interest of SAMSON lies in the
integration of simulation methods during the
modelling phase: adaptive and interactive
simulation algorithms immediately provide
information on the consequences of modelling
choices.
Language, standard, environment:
C++, available for Windows, Unix and Mac OS
X
Keywords: Modelling, Simulation,
Nanosystems, Structural Biology, Chemistry
Academic partners
21. Selalib
Selalib (SemiLagrangian Library) is a
collection of modules conceived to aid in the
development of plasma physics simulations,
particularly in the study of turbulence in
fusion plasmas. Selalib offers basic
capabilities from general and mathematical
utilities and modules to aid in parallelization,
up to pre-packaged simulations.
Contact: chacongolcher@math.unistra.fr
http://selalib.gforge.inria.fr/
Innovative aspects: unavailability of basic
software building blocks for simulations
using the semilagrangian method. Need to
include software engineering practices in an
academic research environment.
Main fields of application: high-level
modules in the library are specialized for
plasma physics. Low-levels are usable in
parallel computing applications.
Language, environment: Fortran 2003
Mettre une image
représentative
des fonctions du logiciel
Keywords: plasma physics, semilagrangian
method, parallel computing, plasma turbulence
License: open source (Cecill-B), not released
yet.
Academic partners: University of Strasbourg,
Max Planck Insitute - Garching.
22. Contact: catherine.lucquiaud@inria.fr
http://simgrid.gforge.inria.fr/
Scientific Instrument for the study of Large-Scale Distributed Systems
SimGrid is Easy-to-use
Users can quickly setup a controlled
simulation environment to develop and test
new ideas with minimal technical effort.
SimGrid is Versatile
It provides models of Network, CPU and Disks
adapted to (Data)Grids, P2P, Clouds, Clusters
and HPC, allowing multi-domain studies.
SimGrid
⇝
+
Idea or
MPI code
Models
Experimental
Setup
SimGrid is Trustworthy
The models are theoretically grounded and
experimentally validated. The results are
reproducible, enabling better scientific practices.
Scientific Results
SimGrid is Scalable
The simulation engine uses algorithmic and
implementation techniques toward the fast
simulation of large systems on a single machine.
SimGrid is Open
Due to its community-development philosophy,
SimGrid is Usable
it has been adopted by many researchers
around the globe. Several associated tools are Ported to all major platforms and programming
languages, it comes with an extensive tooling.
contributed by its large user community.
Keywords
Large-Scale Distributed Systems;
Reproducible Experiments;
Simulation, Emulation.
License: GNU LGPL
Academic Partners:
23. Contact: christine.morin@inria.fr
http://snooze.gforge.inria.fr/
Snooze : a Self-Organizing and Energy Aware Innovative aspects:
- Energy conservation in clouds
Cloud Management Framework.
- Generic scheduling engine supporting VM
placement, relocation and reconfiguration
algorithms
- Fault-tolerance
- Self-organizing self-healing hierarchical
architecture.
Main fields of application:
- Private cloud providers
- Testbed for evaluation of VM scheduling
algorithms in a real environment
Language, environment: Java
Keywords: Cloud computing, energy
management, consolidation, fault-tolerance,
self-organization, self-healing, virtualization
License: GPL v2
24. Raymond.namyst@inria.fr
StarPu
http://runtime.bordeaux.inria.fr/StarPU/
A runtime system for heterogeneous
parallel machines
Applications
Parallel
Compilers
Parallel
Libraries
Main fields of application:
•
Energy, Weather Forecast,
Aeronautics, Multimedia
StarPU
Drivers (CUDA, OpenCL)
CPU
GPU
Goals:
• Dynamically schedule tasks on all
processing units - CPU + GPU, Xeon Phi
• Minimize data transfers between
accelerators
Target for
•
Compilers: StarSs [UPC], HMPP
[CAPS entreprise]
•
Parallel Libraries: MAGMA [UTK, USA]
Xeon Phi
Language: C (C++, Fortran)
Keywords: GPU, multicore, scheduling,
performance
License: LGPL
Academic partners:
25. SUP
Contact: Francois.Bremond@inria.fr
https://team.inria.fr/stars/software
Scene Understanding Platform
SUP is a software platform for perceiving,
analyzing and interpreting a 3D dynamic scene
observed through a network of sensors. It
encompasses algorithms allowing for the
modeling of interesting activities for users to
enable their recognition in real-world
applications requiring high-throughput.
Innovative aspects:
Detection of human (and vehicle or other)
activities through video analysis and other
sensors in big databases.
Main fields of application:
Health-care, security, protection of people and
goods
Language, environment:
C++, cmake, multi-platform
Keywords: activity recognition
License: undetermined
Academic partners:
CHU Nice, CEA, USC California, Tainan
(Taiwan), Hamburg University, I2R Singapore