Description du projet
Une nouvelle boîte à outils réduit la probabilité d’erreurs dans les feuilles de calcul
Les applications de feuilles de calcul comme Microsoft Excel sont des outils essentiels dans les secteurs des affaires, de la comptabilité et de la recherche. Toutefois, une simple erreur dans les feuilles de calcul d’une entreprise peut coûter des milliards. Un ancien projet, financé par l’UE, a mis en œuvre de nouvelles techniques d’analyse statique de programmes afin de faciliter la vérification des programmes qui utilisent des structures de données complexes, comme des tableaux à une ou plusieurs dimensions, des listes, des arbres et des dictionnaires. MemCAD a permis de concevoir de puissantes techniques d’abstraction pour raisonner sur des structures de données complexes, comme les tableaux présents dans les feuilles de calcul. En s’appuyant sur ces avancées, le projet SPARKs, financé par l’UE, entend exploiter ces résultats dans une boîte à outils capable de vérifier, d’optimiser et de conserver les feuilles de calcul. Cette boîte à outils s’appuiera sur l’analyse statique sémantique, automatique et conservatrice, rapportant toutes les occurrences de certaines catégories d’erreurs.
Objectif
Spreadsheet applications (such as Microsoft Excel + VBA) are heavily used in a wide range of fields including engineering, finance, management, statistics and health. However, they do not ensure robustness properties, thus spreadsheet errors are hard to avoid, common and potentially very costly. According to estimates, the annual cost of spreadsheet errors is around 7 billion dollars. For instance, in 2013, a series of basic spreadsheet errors at JPMorgan incurred 6 billion dollars trading losses. To avoid such problems, spreadsheet users need better support from rigorous tools, since the development of industrial spreadsheets typically involves multiple tabs, formulas, macros and data read from external sources (e.g. the internet). However, as of today, spreadsheet environment offer almost no verification support, and third party tools do not allow to reason correctly over macros, and future uses of existing formulas. The MemCAD ERC StG project opened the way to novel formal analysis techniques for spreadsheet applications. Indeed, the MemCAD project led to the design of powerful abstraction techniques to reason over complex data-structures such as tables as found in spreadsheets. During this project, we have implemented AiXL, a prototype that was able to analyze large public benchmarks. It uncovered defects that are beyond the scope of other approaches. We propose to leverage these results into a toolbox able to safely verify, optimize and maintain spreadsheets, so as to reduce the likelihood of errors. The envisioned toolbox relies on automatic and conservative semantic static analysis, so that it will report all occurrences of certain classes of errors. It will have an open architecture with plugins, and will easily extend to user specific properties. This works will take place in a partnership with MatrixLEAD, a startup created based on the results of the ERC MemCAD project. MatrixLEAD will provide industrial use-cases and commercialization plans.
Champ scientifique (EuroSciVoc)
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
CORDIS classe les projets avec EuroSciVoc, une taxonomie multilingue des domaines scientifiques, grâce à un processus semi-automatique basé sur des techniques TLN. Voir: Le vocabulaire scientifique européen.
- sciences naturelles informatique et science de l'information internet
- sciences naturelles informatique et science de l'information logiciel développement logiciel
Vous devez vous identifier ou vous inscrire pour utiliser cette fonction
Nous sommes désolés... Une erreur inattendue s’est produite.
Vous devez être authentifié. Votre session a peut-être expiré.
Merci pour votre retour d'information. Vous recevrez bientôt un courriel confirmant la soumission. Si vous avez choisi d'être informé de l'état de la déclaration, vous serez également contacté lorsque celui-ci évoluera.
Programme(s)
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
Programmes de financement pluriannuels qui définissent les priorités de l’UE en matière de recherche et d’innovation.
-
H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC)
PROGRAMME PRINCIPAL
Voir tous les projets financés dans le cadre de ce programme
Thème(s)
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Les appels à propositions sont divisés en thèmes. Un thème définit un sujet ou un domaine spécifique dans le cadre duquel les candidats peuvent soumettre des propositions. La description d’un thème comprend sa portée spécifique et l’impact attendu du projet financé.
Régime de financement
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
Régime de financement (ou «type d’action») à l’intérieur d’un programme présentant des caractéristiques communes. Le régime de financement précise le champ d’application de ce qui est financé, le taux de remboursement, les critères d’évaluation spécifiques pour bénéficier du financement et les formes simplifiées de couverture des coûts, telles que les montants forfaitaires.
ERC-POC - Proof of Concept Grant
Voir tous les projets financés dans le cadre de ce programme de financement
Appel à propositions
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
Procédure par laquelle les candidats sont invités à soumettre des propositions de projet en vue de bénéficier d’un financement de l’UE.
(s’ouvre dans une nouvelle fenêtre) ERC-2018-PoC
Voir tous les projets financés au titre de cet appelInstitution d’accueil
La contribution financière nette de l’UE est la somme d’argent que le participant reçoit, déduite de la contribution de l’UE versée à son tiers lié. Elle prend en compte la répartition de la contribution financière de l’UE entre les bénéficiaires directs du projet et d’autres types de participants, tels que les participants tiers.
78153 Le Chesnay Cedex
France
Les coûts totaux encourus par l’organisation concernée pour participer au projet, y compris les coûts directs et indirects. Ce montant est un sous-ensemble du budget global du projet.