SlideShare une entreprise Scribd logo
1  sur  20
Télécharger pour lire hors ligne
Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 1
Sciences du logiciel :
de l'idée au binaire
Prof. Benoit Combemale
Université de Rennes 1
Ecole Supérieure d’Ingénieurs de Rennes (ESIR)
UMR IRISA, Equipe DiverSE
http://combemale.fr / @bcombemale
Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 2
“Software Is Eating the World”
Numérisation de notre société
• Contexte personnel : santé, musique, vidéo, relations sociales…
• Contexte professionnel : numérisation des processus et des activités…
Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 3
Software Is Eating Science
Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 4
Scientific software
Modeling & Simulation
Model Composition
Multi-Physics simulation
Numerical Analysis
Data Analysis & Visualization
Data Science
High-Performance Computing
Scientific computing
Computational Sciences
Digital Humanities
Prediction
Tradeoff analysis
Decision-Making
Reproducible Science
Uncertainty modeling
…
Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 5
Modèle épidémiologique de la COVID-19
COVID-19 CovidSim Model
https://github.com/mrc-ide/covid-sim
Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 6
Modèle épidémiologique de la COVID-19
COVID-19 CovidSim Model
https://github.com/mrc-ide/covid-sim
Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 7
Logiciel scientifique: c’est quoi ?
données Modèle mathématique
objet d’étude
simulation
collecte de
données
analyse de donnée
Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 8
Logiciel scientifique: quelles spécificités ?
données Modèle mathématique
objet d’étude
simulation
collecte de
données
analyse de donnée
contrôle de mesure et
d’expérience
discrétisation; développement collaboratif,
processus itératif, compilation, déploiement
incertitude; construction, paramétrage et
calibration de modèle
usually, a means not an end…
Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 9
Logiciel scientifique: quels besoins ?
Outils et méthodes dédiés
• langages
• interopérabilité
• évolution, versionnement et maintenance
• validation et vérification
• déploiement
• réplicabilité
• documentation
• environnement de développement
• plateforme collaborative
• …
Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 10
“Les sciences du logiciel au croisement des autres sciences”
Pourquoi cette table ronde ?
• La place du logiciel dans les sciences
• Les opportunités et les risques
• Les attentes envers les sciences du logiciel
Bienvenue !
Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 11
Violaine Louvet
• Ingénieure de Recherche, doctorat en mathématiques appliquées
• Directrice de GRICAD : Grenoble alpes Recherche Infrastructure de CAlcul
intensif et de Données
• Accompagnement des communautés scientifiques du site de grenoble sur leurs
problématiques données de recherche et calcul
• Membre du collège Codes sources et logiciels du COmité pour la Science
Ouverte
• Membre de la Task Force EOSC Infrastructure for Quality Research Software
• Nombreuses années en laboratoires de mathématiques sur des activités de
développement de codes en interface avec différentes disciplines (fluides
réactifs, fusion nucléaire, médecine, sport)
Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 12
Jean-Raynald de Dreuzy
• Hydrologue, doctorat en Sciences de la Terre
• DR CNRS INSU, Observatoire des Sciences de l’Univers de Rennes
• Sujets de recherche:
• Transferts d’eau et d’éléments dans la Zone Critique
• Modélisation couplée hydraulique, géophysique, géochimique
• Vice-Président Recherche de l’Ecole Normale Supérieure de Rennes
• “Computational Methods in Water Resources”: organisateur de la série de
conférence
Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 13
Konrad Hinsen
• Physicien, doctorat en physique statistique
• Chercheur au Centre de Biophysique Moléculaire
• Sujets de recherche:
• Structure et dynamique des protéines
• Méthodologie du calcul scientifique
• Membre du comité éditorial de “Computing in Science and Engineering”
(IEEE Computer Society)
• Co-fondateur de la revue en ligne ReScience
• Co-auteur d’un MOOC sur la Recherche Reproductible
Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 14
Place et impact du logiciel
dans les sciences ?
Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 15
Expertise dans le
développement de logiciel
scientifique ?
Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 16
Verrous spécifiques au
logiciel scientifique ?
Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 17
Opportunités futures et
nouveaux challenges ?
Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 18
Sciences du logiciel :
de l'idée au binaire
Table ronde : Les sciences du
logiciel au croisement des
autres sciences
Questions ?
Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 19
Sciences du logiciel :
de l'idée au binaire
Table ronde : Les sciences du
logiciel au croisement des
autres sciences
Merci !
Table ronde: les sciences du logiciel au croisement des autres sciences
www.cnrs.fr
16.09.22 P 20
Merci !
https://gdr-gpl.cnrs.fr

Contenu connexe

Similaire à Table ronde: les sciences du logiciel au croisement des autres sciences

SecoHealth 2019 Research Achievements
SecoHealth 2019 Research AchievementsSecoHealth 2019 Research Achievements
SecoHealth 2019 Research AchievementsTom Mens
 
Compte-Rendu rencontre du groupe Culture du Datalab
Compte-Rendu rencontre du groupe Culture du DatalabCompte-Rendu rencontre du groupe Culture du Datalab
Compte-Rendu rencontre du groupe Culture du DatalabDatalab_PDL
 
Mieux diffuser et valoriser ses images sur le Web grâce aux standards IIIF
Mieux diffuser et valoriser ses images sur le Web grâce aux standards IIIFMieux diffuser et valoriser ses images sur le Web grâce aux standards IIIF
Mieux diffuser et valoriser ses images sur le Web grâce aux standards IIIFEquipex Biblissima
 
Introduction aux protocoles IIIF. Formation Enssib 23.01.2019 (Régis Robineau)
Introduction aux protocoles IIIF. Formation Enssib 23.01.2019 (Régis Robineau)Introduction aux protocoles IIIF. Formation Enssib 23.01.2019 (Régis Robineau)
Introduction aux protocoles IIIF. Formation Enssib 23.01.2019 (Régis Robineau)Equipex Biblissima
 
Bibliothèques et crowdsourcing
Bibliothèques et crowdsourcingBibliothèques et crowdsourcing
Bibliothèques et crowdsourcingPauline Moirez
 
Le prototypage et l'apprentissage organisationnel dans la pratique.
Le prototypage et l'apprentissage organisationnel dans la pratique.Le prototypage et l'apprentissage organisationnel dans la pratique.
Le prototypage et l'apprentissage organisationnel dans la pratique.Dario Gomez Tafur
 
Ingénierie Dirigée par les Modèles
Ingénierie Dirigée par les ModèlesIngénierie Dirigée par les Modèles
Ingénierie Dirigée par les ModèlesMarc Daumas
 
Pl news letter_nov10
Pl news letter_nov10Pl news letter_nov10
Pl news letter_nov10robertpluss
 
E-science et le rôle des bibliothèques de recherche
E-science et le rôle des bibliothèques de rechercheE-science et le rôle des bibliothèques de recherche
E-science et le rôle des bibliothèques de rechercheWouter Schallier
 
Comment valoriser les logiciels, le matériel et les oeuvres libres ?
Comment valoriser les logiciels, le matériel et les oeuvres libres ?Comment valoriser les logiciels, le matériel et les oeuvres libres ?
Comment valoriser les logiciels, le matériel et les oeuvres libres ?Robert Viseur
 
Problématique du devenir des données au Centre de Calcul de l'IN2P3 - Pascal ...
Problématique du devenir des données au Centre de Calcul de l'IN2P3 - Pascal ...Problématique du devenir des données au Centre de Calcul de l'IN2P3 - Pascal ...
Problématique du devenir des données au Centre de Calcul de l'IN2P3 - Pascal ...Lesticetlart Invisu
 
IODS : Retour d’expériences au sein du Center for Data Science
IODS : Retour d’expériences au sein du Center for Data ScienceIODS : Retour d’expériences au sein du Center for Data Science
IODS : Retour d’expériences au sein du Center for Data ScienceBorderCloud
 
Webinar SMILE : "L'Open Source, un accélérateur d'innovation pour les objets ...
Webinar SMILE : "L'Open Source, un accélérateur d'innovation pour les objets ...Webinar SMILE : "L'Open Source, un accélérateur d'innovation pour les objets ...
Webinar SMILE : "L'Open Source, un accélérateur d'innovation pour les objets ...Smile I.T is open
 
Tablettes tactiles en médiathèque
Tablettes tactiles en médiathèqueTablettes tactiles en médiathèque
Tablettes tactiles en médiathèqueHervé Champion
 
Retour sur 5 années d'évolution des problématiques IST : rapport d'étonnement
Retour sur 5 années d'évolution des problématiques IST : rapport d'étonnementRetour sur 5 années d'évolution des problématiques IST : rapport d'étonnement
Retour sur 5 années d'évolution des problématiques IST : rapport d'étonnementAntoine Blanchard
 
Resources numériques presentation.pptx
Resources numériques presentation.pptxResources numériques presentation.pptx
Resources numériques presentation.pptxssuser5cf211
 
Editionsmsh 386-role-et-enjeux-du-design-graphique
Editionsmsh 386-role-et-enjeux-du-design-graphiqueEditionsmsh 386-role-et-enjeux-du-design-graphique
Editionsmsh 386-role-et-enjeux-du-design-graphiqueGeoffrey Dorne
 

Similaire à Table ronde: les sciences du logiciel au croisement des autres sciences (20)

AntoineLambertCV
AntoineLambertCVAntoineLambertCV
AntoineLambertCV
 
SecoHealth 2019 Research Achievements
SecoHealth 2019 Research AchievementsSecoHealth 2019 Research Achievements
SecoHealth 2019 Research Achievements
 
Compte-Rendu rencontre du groupe Culture du Datalab
Compte-Rendu rencontre du groupe Culture du DatalabCompte-Rendu rencontre du groupe Culture du Datalab
Compte-Rendu rencontre du groupe Culture du Datalab
 
Mieux diffuser et valoriser ses images sur le Web grâce aux standards IIIF
Mieux diffuser et valoriser ses images sur le Web grâce aux standards IIIFMieux diffuser et valoriser ses images sur le Web grâce aux standards IIIF
Mieux diffuser et valoriser ses images sur le Web grâce aux standards IIIF
 
Introduction aux protocoles IIIF. Formation Enssib 23.01.2019 (Régis Robineau)
Introduction aux protocoles IIIF. Formation Enssib 23.01.2019 (Régis Robineau)Introduction aux protocoles IIIF. Formation Enssib 23.01.2019 (Régis Robineau)
Introduction aux protocoles IIIF. Formation Enssib 23.01.2019 (Régis Robineau)
 
Bibliothèques et crowdsourcing
Bibliothèques et crowdsourcingBibliothèques et crowdsourcing
Bibliothèques et crowdsourcing
 
Le prototypage et l'apprentissage organisationnel dans la pratique.
Le prototypage et l'apprentissage organisationnel dans la pratique.Le prototypage et l'apprentissage organisationnel dans la pratique.
Le prototypage et l'apprentissage organisationnel dans la pratique.
 
Ingénierie Dirigée par les Modèles
Ingénierie Dirigée par les ModèlesIngénierie Dirigée par les Modèles
Ingénierie Dirigée par les Modèles
 
Pl news letter_nov10
Pl news letter_nov10Pl news letter_nov10
Pl news letter_nov10
 
E-science et le rôle des bibliothèques de recherche
E-science et le rôle des bibliothèques de rechercheE-science et le rôle des bibliothèques de recherche
E-science et le rôle des bibliothèques de recherche
 
Comment valoriser les logiciels, le matériel et les oeuvres libres ?
Comment valoriser les logiciels, le matériel et les oeuvres libres ?Comment valoriser les logiciels, le matériel et les oeuvres libres ?
Comment valoriser les logiciels, le matériel et les oeuvres libres ?
 
Problématique du devenir des données au Centre de Calcul de l'IN2P3 - Pascal ...
Problématique du devenir des données au Centre de Calcul de l'IN2P3 - Pascal ...Problématique du devenir des données au Centre de Calcul de l'IN2P3 - Pascal ...
Problématique du devenir des données au Centre de Calcul de l'IN2P3 - Pascal ...
 
IODS : Retour d’expériences au sein du Center for Data Science
IODS : Retour d’expériences au sein du Center for Data ScienceIODS : Retour d’expériences au sein du Center for Data Science
IODS : Retour d’expériences au sein du Center for Data Science
 
Outils et usages numeriques - ADBS LR - 15.04.2011
Outils et usages numeriques - ADBS LR - 15.04.2011Outils et usages numeriques - ADBS LR - 15.04.2011
Outils et usages numeriques - ADBS LR - 15.04.2011
 
Webinar SMILE : "L'Open Source, un accélérateur d'innovation pour les objets ...
Webinar SMILE : "L'Open Source, un accélérateur d'innovation pour les objets ...Webinar SMILE : "L'Open Source, un accélérateur d'innovation pour les objets ...
Webinar SMILE : "L'Open Source, un accélérateur d'innovation pour les objets ...
 
Tablettes tactiles en médiathèque
Tablettes tactiles en médiathèqueTablettes tactiles en médiathèque
Tablettes tactiles en médiathèque
 
Retour sur 5 années d'évolution des problématiques IST : rapport d'étonnement
Retour sur 5 années d'évolution des problématiques IST : rapport d'étonnementRetour sur 5 années d'évolution des problématiques IST : rapport d'étonnement
Retour sur 5 années d'évolution des problématiques IST : rapport d'étonnement
 
Resources numériques presentation.pptx
Resources numériques presentation.pptxResources numériques presentation.pptx
Resources numériques presentation.pptx
 
output
outputoutput
output
 
Editionsmsh 386-role-et-enjeux-du-design-graphique
Editionsmsh 386-role-et-enjeux-du-design-graphiqueEditionsmsh 386-role-et-enjeux-du-design-graphique
Editionsmsh 386-role-et-enjeux-du-design-graphique
 

Plus de Benoit Combemale

When Scientific Software Meets (Model-Driven) Software Engineering
When Scientific Software Meets (Model-Driven) Software EngineeringWhen Scientific Software Meets (Model-Driven) Software Engineering
When Scientific Software Meets (Model-Driven) Software EngineeringBenoit Combemale
 
Towards Smart Modeling (Environments)
Towards Smart Modeling (Environments)Towards Smart Modeling (Environments)
Towards Smart Modeling (Environments)Benoit Combemale
 
SLE Most Influential Paper (MIP) Awards 2018 and 2019
SLE Most Influential Paper (MIP) Awards 2018 and 2019SLE Most Influential Paper (MIP) Awards 2018 and 2019
SLE Most Influential Paper (MIP) Awards 2018 and 2019Benoit Combemale
 
Breathe Life Into Your IDE
Breathe Life Into Your IDEBreathe Life Into Your IDE
Breathe Life Into Your IDEBenoit Combemale
 
Model Execution: Past, Present and Future
Model Execution: Past, Present and FutureModel Execution: Past, Present and Future
Model Execution: Past, Present and FutureBenoit Combemale
 
Execution Framework of the GEMOC Studio
Execution Framework of the GEMOC StudioExecution Framework of the GEMOC Studio
Execution Framework of the GEMOC StudioBenoit Combemale
 
Smart Modeling: On the Convergence of Scientific and Engineering Models
Smart Modeling: On the Convergence of Scientific and Engineering ModelsSmart Modeling: On the Convergence of Scientific and Engineering Models
Smart Modeling: On the Convergence of Scientific and Engineering ModelsBenoit Combemale
 
Model Simulation, Graphical Animation, and Omniscient Debugging with EcoreToo...
Model Simulation, Graphical Animation, and Omniscient Debugging with EcoreToo...Model Simulation, Graphical Animation, and Omniscient Debugging with EcoreToo...
Model Simulation, Graphical Animation, and Omniscient Debugging with EcoreToo...Benoit Combemale
 
Modeling For Sustainability: Or How to Make Smart CPS Smarter?
Modeling For Sustainability: Or How to Make Smart CPS Smarter?Modeling For Sustainability: Or How to Make Smart CPS Smarter?
Modeling For Sustainability: Or How to Make Smart CPS Smarter?Benoit Combemale
 
Introduction of the SLE'17 conference
Introduction of the SLE'17 conferenceIntroduction of the SLE'17 conference
Introduction of the SLE'17 conferenceBenoit Combemale
 
EXECUTABLE MODELING FOR SYSTEMS, SOFTWARE AND CYBER-PHYSICAL SYSTEMS
EXECUTABLE MODELING FOR SYSTEMS, SOFTWARE AND CYBER-PHYSICAL SYSTEMSEXECUTABLE MODELING FOR SYSTEMS, SOFTWARE AND CYBER-PHYSICAL SYSTEMS
EXECUTABLE MODELING FOR SYSTEMS, SOFTWARE AND CYBER-PHYSICAL SYSTEMSBenoit Combemale
 
Inria/CWI ALE team (progresses in Sep., 2017)
Inria/CWI ALE team (progresses in Sep., 2017)Inria/CWI ALE team (progresses in Sep., 2017)
Inria/CWI ALE team (progresses in Sep., 2017)Benoit Combemale
 
Sound, yet Flexible, Modeling: A Language Engineering Point Of View
Sound, yet Flexible, Modeling: A Language Engineering Point Of ViewSound, yet Flexible, Modeling: A Language Engineering Point Of View
Sound, yet Flexible, Modeling: A Language Engineering Point Of ViewBenoit Combemale
 
Modeling for Sustainability
Modeling for SustainabilityModeling for Sustainability
Modeling for SustainabilityBenoit Combemale
 
Dynamic V&V in Language-Oriented Modeling
Dynamic V&V in Language-Oriented ModelingDynamic V&V in Language-Oriented Modeling
Dynamic V&V in Language-Oriented ModelingBenoit Combemale
 
Model executability within the GEMOC Studio
Model executability within the GEMOC StudioModel executability within the GEMOC Studio
Model executability within the GEMOC StudioBenoit Combemale
 
A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution o...
A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution o...A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution o...
A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution o...Benoit Combemale
 
A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution o...
A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution o...A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution o...
A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution o...Benoit Combemale
 
Concurrency reification in the xDSML with MoCCML
Concurrency reification in the xDSML with MoCCMLConcurrency reification in the xDSML with MoCCML
Concurrency reification in the xDSML with MoCCMLBenoit Combemale
 
Experimentations, transfer and development during the ANR project GEMOC
Experimentations, transfer and development during the ANR project GEMOCExperimentations, transfer and development during the ANR project GEMOC
Experimentations, transfer and development during the ANR project GEMOCBenoit Combemale
 

Plus de Benoit Combemale (20)

When Scientific Software Meets (Model-Driven) Software Engineering
When Scientific Software Meets (Model-Driven) Software EngineeringWhen Scientific Software Meets (Model-Driven) Software Engineering
When Scientific Software Meets (Model-Driven) Software Engineering
 
Towards Smart Modeling (Environments)
Towards Smart Modeling (Environments)Towards Smart Modeling (Environments)
Towards Smart Modeling (Environments)
 
SLE Most Influential Paper (MIP) Awards 2018 and 2019
SLE Most Influential Paper (MIP) Awards 2018 and 2019SLE Most Influential Paper (MIP) Awards 2018 and 2019
SLE Most Influential Paper (MIP) Awards 2018 and 2019
 
Breathe Life Into Your IDE
Breathe Life Into Your IDEBreathe Life Into Your IDE
Breathe Life Into Your IDE
 
Model Execution: Past, Present and Future
Model Execution: Past, Present and FutureModel Execution: Past, Present and Future
Model Execution: Past, Present and Future
 
Execution Framework of the GEMOC Studio
Execution Framework of the GEMOC StudioExecution Framework of the GEMOC Studio
Execution Framework of the GEMOC Studio
 
Smart Modeling: On the Convergence of Scientific and Engineering Models
Smart Modeling: On the Convergence of Scientific and Engineering ModelsSmart Modeling: On the Convergence of Scientific and Engineering Models
Smart Modeling: On the Convergence of Scientific and Engineering Models
 
Model Simulation, Graphical Animation, and Omniscient Debugging with EcoreToo...
Model Simulation, Graphical Animation, and Omniscient Debugging with EcoreToo...Model Simulation, Graphical Animation, and Omniscient Debugging with EcoreToo...
Model Simulation, Graphical Animation, and Omniscient Debugging with EcoreToo...
 
Modeling For Sustainability: Or How to Make Smart CPS Smarter?
Modeling For Sustainability: Or How to Make Smart CPS Smarter?Modeling For Sustainability: Or How to Make Smart CPS Smarter?
Modeling For Sustainability: Or How to Make Smart CPS Smarter?
 
Introduction of the SLE'17 conference
Introduction of the SLE'17 conferenceIntroduction of the SLE'17 conference
Introduction of the SLE'17 conference
 
EXECUTABLE MODELING FOR SYSTEMS, SOFTWARE AND CYBER-PHYSICAL SYSTEMS
EXECUTABLE MODELING FOR SYSTEMS, SOFTWARE AND CYBER-PHYSICAL SYSTEMSEXECUTABLE MODELING FOR SYSTEMS, SOFTWARE AND CYBER-PHYSICAL SYSTEMS
EXECUTABLE MODELING FOR SYSTEMS, SOFTWARE AND CYBER-PHYSICAL SYSTEMS
 
Inria/CWI ALE team (progresses in Sep., 2017)
Inria/CWI ALE team (progresses in Sep., 2017)Inria/CWI ALE team (progresses in Sep., 2017)
Inria/CWI ALE team (progresses in Sep., 2017)
 
Sound, yet Flexible, Modeling: A Language Engineering Point Of View
Sound, yet Flexible, Modeling: A Language Engineering Point Of ViewSound, yet Flexible, Modeling: A Language Engineering Point Of View
Sound, yet Flexible, Modeling: A Language Engineering Point Of View
 
Modeling for Sustainability
Modeling for SustainabilityModeling for Sustainability
Modeling for Sustainability
 
Dynamic V&V in Language-Oriented Modeling
Dynamic V&V in Language-Oriented ModelingDynamic V&V in Language-Oriented Modeling
Dynamic V&V in Language-Oriented Modeling
 
Model executability within the GEMOC Studio
Model executability within the GEMOC StudioModel executability within the GEMOC Studio
Model executability within the GEMOC Studio
 
A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution o...
A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution o...A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution o...
A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution o...
 
A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution o...
A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution o...A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution o...
A Tool-Supported Approach for Omniscient Debugging and Concurrent Execution o...
 
Concurrency reification in the xDSML with MoCCML
Concurrency reification in the xDSML with MoCCMLConcurrency reification in the xDSML with MoCCML
Concurrency reification in the xDSML with MoCCML
 
Experimentations, transfer and development during the ANR project GEMOC
Experimentations, transfer and development during the ANR project GEMOCExperimentations, transfer and development during the ANR project GEMOC
Experimentations, transfer and development during the ANR project GEMOC
 

Table ronde: les sciences du logiciel au croisement des autres sciences

  • 1. Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 1 Sciences du logiciel : de l'idée au binaire Prof. Benoit Combemale Université de Rennes 1 Ecole Supérieure d’Ingénieurs de Rennes (ESIR) UMR IRISA, Equipe DiverSE http://combemale.fr / @bcombemale
  • 2. Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 2 “Software Is Eating the World” Numérisation de notre société • Contexte personnel : santé, musique, vidéo, relations sociales… • Contexte professionnel : numérisation des processus et des activités…
  • 3. Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 3 Software Is Eating Science
  • 4. Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 4 Scientific software Modeling & Simulation Model Composition Multi-Physics simulation Numerical Analysis Data Analysis & Visualization Data Science High-Performance Computing Scientific computing Computational Sciences Digital Humanities Prediction Tradeoff analysis Decision-Making Reproducible Science Uncertainty modeling …
  • 5. Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 5 Modèle épidémiologique de la COVID-19 COVID-19 CovidSim Model https://github.com/mrc-ide/covid-sim
  • 6. Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 6 Modèle épidémiologique de la COVID-19 COVID-19 CovidSim Model https://github.com/mrc-ide/covid-sim
  • 7. Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 7 Logiciel scientifique: c’est quoi ? données Modèle mathématique objet d’étude simulation collecte de données analyse de donnée
  • 8. Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 8 Logiciel scientifique: quelles spécificités ? données Modèle mathématique objet d’étude simulation collecte de données analyse de donnée contrôle de mesure et d’expérience discrétisation; développement collaboratif, processus itératif, compilation, déploiement incertitude; construction, paramétrage et calibration de modèle usually, a means not an end…
  • 9. Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 9 Logiciel scientifique: quels besoins ? Outils et méthodes dédiés • langages • interopérabilité • évolution, versionnement et maintenance • validation et vérification • déploiement • réplicabilité • documentation • environnement de développement • plateforme collaborative • …
  • 10. Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 10 “Les sciences du logiciel au croisement des autres sciences” Pourquoi cette table ronde ? • La place du logiciel dans les sciences • Les opportunités et les risques • Les attentes envers les sciences du logiciel Bienvenue !
  • 11. Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 11 Violaine Louvet • Ingénieure de Recherche, doctorat en mathématiques appliquées • Directrice de GRICAD : Grenoble alpes Recherche Infrastructure de CAlcul intensif et de Données • Accompagnement des communautés scientifiques du site de grenoble sur leurs problématiques données de recherche et calcul • Membre du collège Codes sources et logiciels du COmité pour la Science Ouverte • Membre de la Task Force EOSC Infrastructure for Quality Research Software • Nombreuses années en laboratoires de mathématiques sur des activités de développement de codes en interface avec différentes disciplines (fluides réactifs, fusion nucléaire, médecine, sport)
  • 12. Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 12 Jean-Raynald de Dreuzy • Hydrologue, doctorat en Sciences de la Terre • DR CNRS INSU, Observatoire des Sciences de l’Univers de Rennes • Sujets de recherche: • Transferts d’eau et d’éléments dans la Zone Critique • Modélisation couplée hydraulique, géophysique, géochimique • Vice-Président Recherche de l’Ecole Normale Supérieure de Rennes • “Computational Methods in Water Resources”: organisateur de la série de conférence
  • 13. Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 13 Konrad Hinsen • Physicien, doctorat en physique statistique • Chercheur au Centre de Biophysique Moléculaire • Sujets de recherche: • Structure et dynamique des protéines • Méthodologie du calcul scientifique • Membre du comité éditorial de “Computing in Science and Engineering” (IEEE Computer Society) • Co-fondateur de la revue en ligne ReScience • Co-auteur d’un MOOC sur la Recherche Reproductible
  • 14. Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 14 Place et impact du logiciel dans les sciences ?
  • 15. Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 15 Expertise dans le développement de logiciel scientifique ?
  • 16. Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 16 Verrous spécifiques au logiciel scientifique ?
  • 17. Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 17 Opportunités futures et nouveaux challenges ?
  • 18. Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 18 Sciences du logiciel : de l'idée au binaire Table ronde : Les sciences du logiciel au croisement des autres sciences Questions ?
  • 19. Table ronde: les sciences du logiciel au croisement des autres sciences 19.09.22 P 19 Sciences du logiciel : de l'idée au binaire Table ronde : Les sciences du logiciel au croisement des autres sciences Merci !
  • 20. Table ronde: les sciences du logiciel au croisement des autres sciences www.cnrs.fr 16.09.22 P 20 Merci ! https://gdr-gpl.cnrs.fr