« Numalis » : différence entre les versions
Aucun résumé des modifications Balises : Suppression de références Éditeur visuel |
m Révocation des modifications de 176.138.98.124 (retour à la version précédente de DickensBot) |
||
Ligne 10 : | Ligne 10 : | ||
| effectif = 12 salariés<ref>information non sourcée</ref> |
| effectif = 12 salariés<ref>information non sourcée</ref> |
||
| SIREN = 814 614 020 |
| SIREN = 814 614 020 |
||
| chiffre d'affaires = |
| chiffre d'affaires = 27 000 € en 2016 (comptes récents non disponibles) |
||
| résultat net = |
| résultat net = -21 500 € en 2016 (perte)<ref>https://www.societe.com/bilan/numalis-814614020201612311.html</ref> |
||
}} |
}} |
||
'''Numalis''' est une [[Entreprise de services du numérique|société de services informatiques]] qui développe des logiciels de correction de calculs. Ce sont des outils d’aide à la conception de code critique permettant d’une part d’évaluer la fiabilité et d’autre part d’optimiser les performances numériques (au sens large) de programmes informatiques critiques.<ref>{{Lien web|langue=fr-FR|titre=Montpellier. Les news de la French Tech : Numalis et ESii|url=https://actu.fr/occitanie/montpellier_34172/montpellier-news-la-french-tech-numalis-esii_23789346.html|site=actu.fr|consulté le=2020-03-10}}</ref> Les secteurs critiques concernés sont l’[[aéronautique]], l’[[Aérospatiale (discipline scientifique)|aérospatial]] et [[Forces armées (France)|la défense]]. |
'''Numalis''' est une [[Entreprise de services du numérique|société de services informatiques]] qui développe des logiciels de correction de calculs. Ce sont des outils d’aide à la conception de code critique permettant d’une part d’évaluer la fiabilité et d’autre part d’optimiser les performances numériques (au sens large) de programmes informatiques critiques.<ref>{{Lien web|langue=fr-FR|titre=Montpellier. Les news de la French Tech : Numalis et ESii|url=https://actu.fr/occitanie/montpellier_34172/montpellier-news-la-french-tech-numalis-esii_23789346.html|site=actu.fr|consulté le=2020-03-10}}</ref> Les secteurs critiques concernés sont l’[[aéronautique]], l’[[Aérospatiale (discipline scientifique)|aérospatial]] et [[Forces armées (France)|la défense]]. |
||
== Histoire == |
|||
Créée en 2015 par Arnault Ioualalen, Matthieu Martel son directeur de thèse, et Nicolas Normand,<ref>{{Lien web|langue=fr-fr|nom1=mdesseigne|titre=Un coup de pouce pour les ordinateurs mauvais en calcul - Journal La Marseillaise|url=http://m.lamarseillaise.fr/herault/economie/30495-un-coup-de-pouce-pour-les-ordinateurs-mauvais-en-calcul|site=m.lamarseillaise.fr|consulté le=2020-03-10}}</ref> Numalis est une [[PME]] qui s’articule autour du projet d’industrialisation des travaux de [[doctorat]] d’Arnault, portant sur l’amélioration automatique de la précision de [[Programmation synchrone|programmes synchrones]]. |
|||
La motivation pour ce type de travaux de recherches fait suite à plusieurs accidents industriels.<ref>{{Lien web|langue=fr|titre=Numalis, la start-up qui corrige les erreurs de calcul|url=https://lentreprise.lexpress.fr/creation-entreprise/idees-business/numalis-la-start-up-qui-corrige-les-erreurs-de-calcul_1609691.html|site=LEntreprise.com|date=2014-10-09|consulté le=2020-03-10}}</ref> Face à ces ceux-ci, l’industrie s’est tournée vers la recherche pour trouver le moyen de prévenir, voire de corriger ces défauts. |
|||
Numalis est une PME de 12 salariés portant sur la validation et l'optimisation de tout processus de calcul dans tout contexte critique (aéronautique, aérospatiale, Défense, etc.). Ses outils automatiques sont conçus pour être utilisés par des [[Développeur|développeurs]] [[C (langage)|C]]/[[C++]]/[[Ada (langage)|Ada]] sans aucune connaissance spécifique en matière de fiabilité et de performances numériques. Ils peuvent être intégrés dans d'autres outils de validation de logiciels afin de leur apporter des informations pertinentes sur les vulnérabilités numériques d'un logiciel et la façon de les corriger. |
|||
== Implantation == |
== Implantation == |
||
Numalis dispose d’une représentation régionale et internationale à [[Montpellier]]. Elle est implantée à Cap Oméga (locaux du BIC). |
Numalis dispose d’une représentation régionale et internationale à [[Montpellier]]. Elle est implantée à Cap Oméga (locaux du BIC). |
||
Dans la foulée de sa récente convention signée avec [[Airbus Commercial Aircraft|Airbus]], Numalis va ouvrir un premier bureau à [[Toulouse]], puis un autre à [[Paris]]<ref>{{Lien web|langue=fr-FR|titre=Start-up : avec Numalis, Airbus investit à Montpellier|url=https://actu.fr/economie/start-up-avec-numalis-airbus-investit-a-montpellier_23145771.html|site=actu.fr|consulté le=2020-03-10}}</ref>. La start-up montpelliéraine n’exclue pas une levée de fonds l’an prochain pour développer son activité à l’international. |
|||
== Notes et références == |
== Notes et références == |
Version du 17 mars 2020 à 12:50
Numalis | |
Création | 12 novembre 2015 |
---|---|
Forme juridique | Société par actions simplifiée |
Siège social | Montpellier |
Direction | Arnault Ioualalen |
Activité | Conseil en systèmes et logiciels informatiques |
Effectif | 12 salariés[1] |
SIREN | 814 614 020 |
Site web | numalis.com |
Chiffre d'affaires | 27 000 € en 2016 (comptes récents non disponibles) |
Résultat net | -21 500 € en 2016 (perte)[2] |
modifier - modifier le code - voir Wikidata |
Numalis est une société de services informatiques qui développe des logiciels de correction de calculs. Ce sont des outils d’aide à la conception de code critique permettant d’une part d’évaluer la fiabilité et d’autre part d’optimiser les performances numériques (au sens large) de programmes informatiques critiques.[3] Les secteurs critiques concernés sont l’aéronautique, l’aérospatial et la défense.
Histoire
Créée en 2015 par Arnault Ioualalen, Matthieu Martel son directeur de thèse, et Nicolas Normand,[4] Numalis est une PME qui s’articule autour du projet d’industrialisation des travaux de doctorat d’Arnault, portant sur l’amélioration automatique de la précision de programmes synchrones.
La motivation pour ce type de travaux de recherches fait suite à plusieurs accidents industriels.[5] Face à ces ceux-ci, l’industrie s’est tournée vers la recherche pour trouver le moyen de prévenir, voire de corriger ces défauts.
Numalis est une PME de 12 salariés portant sur la validation et l'optimisation de tout processus de calcul dans tout contexte critique (aéronautique, aérospatiale, Défense, etc.). Ses outils automatiques sont conçus pour être utilisés par des développeurs C/C++/Ada sans aucune connaissance spécifique en matière de fiabilité et de performances numériques. Ils peuvent être intégrés dans d'autres outils de validation de logiciels afin de leur apporter des informations pertinentes sur les vulnérabilités numériques d'un logiciel et la façon de les corriger.
Implantation
Numalis dispose d’une représentation régionale et internationale à Montpellier. Elle est implantée à Cap Oméga (locaux du BIC).
Dans la foulée de sa récente convention signée avec Airbus, Numalis va ouvrir un premier bureau à Toulouse, puis un autre à Paris[6]. La start-up montpelliéraine n’exclue pas une levée de fonds l’an prochain pour développer son activité à l’international.
Notes et références
- information non sourcée
- https://www.societe.com/bilan/numalis-814614020201612311.html
- « Montpellier. Les news de la French Tech : Numalis et ESii », sur actu.fr (consulté le )
- mdesseigne, « Un coup de pouce pour les ordinateurs mauvais en calcul - Journal La Marseillaise », sur m.lamarseillaise.fr (consulté le )
- « Numalis, la start-up qui corrige les erreurs de calcul », sur LEntreprise.com, (consulté le )
- « Start-up : avec Numalis, Airbus investit à Montpellier », sur actu.fr (consulté le )