Table ronde "les sciences du logiciel au croisement des autres sciences" lors de la conférence "Sciences du logiciel : de l'idée au binaire" au CNRS, les 19 et 20 septembre 2022
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