#	Pagina
attuale pagina	/open-h2020/projects/202577/index.html

Opendata, web and dolomites

MOPSA SIGNED

Modular Open Platform for Static Analysis

Total Cost €

EC-Contrib. €

Partnership

Views

Outcomes and
results

MOPSA project word cloud

Explore the words cloud of the MOPSA project. It provides you a very rough idea of what is the project "MOPSA" about.

huge verified industrial error safer programs defect successes insufficient construction heterogeneous human classes hasten adoption technologies compile absence enjoyed approximate engineers abstract ones mopsa context languages missed companies run create airbus pervasive detect astr standpoint larger programming communities overcome errors prove purpose supporting eacute platform usable producing computer analyzer limited coauthored static time popular readily python infrastructures ranging serve losses core sound internet citizens source tools software scalable frustration defects economical societal theory critical leveraging wish momentum analyzing eliminate continuous scientific interpretation designing educational encouraging

Project "MOPSA" data sheet

The following table provides information about the project.

Coordinator	UNIVERSITE PIERRE ET MARIE CURIE - PARIS 6 Organization address address: Place Jussieu 4 city: PARIS postcode: 75252 website: www.upmc.fr contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.
Coordinator Country	France [FR]
Project website	http://mopsa.lip6.fr
Total cost	1˙773˙750 €
EC max contribution	1˙773˙750 € (100%)
Programme	1. H2020-EU.1.1. (EXCELLENT SCIENCE - European Research Council (ERC))
Code Call	ERC-2015-CoG
Funding Scheme	ERC-COG
Starting year	2016
Duration (year-month-day)	from 2016-06-01 to 2021-05-31

Partnership

Take a look of project's partnership.

#	participants	country	role	EC contrib. [€]
1	UNIVERSITE PIERRE ET MARIE CURIE - PARIS 6 UNIVERSITE PIERRE ET MARIE CURIE - PARIS 6 Organization address address: Place Jussieu 4 city: PARIS postcode: 75252 website: www.upmc.fr contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	FR (PARIS)	coordinator	1˙773˙750.00

Map

Project objective

The Mopsa project aims at creating methods and tools to make computer software more reliable. Programming errors are pervasive with results ranging from user frustration to huge economical or human losses. Traditional test-based methods are insufficient to eliminate all errors. The project will develop static analyses able to detect at compile-time whole classes of program defects, leveraging the theory of abstract interpretation to design analyses that are approximate (to scale up to large programs) and sound (no defect is missed). Static analysis has enjoyed recent successes: Astrée, an industrial analyzer I have coauthored, was able to prove the absence of run-time error in Airbus software. But such results are limited to the specific, well-controlled context of critical embedded systems. I wish to bring static analysis to the next level: target larger, more complex and heterogeneous software, and make it usable by engineers to improve general-purpose software. We focus on analyzing open-source software which are readily available, complex, widespread, and important from an economical standpoint (they are used in many infrastructures and companies) but also societal and educational ones (promoting the development of verified software for and by citizens). A major target we consider is the set of technologies at the core on Internet on which static analysis could be applied to ensure a safer Internet. The scientific challenges we must overcome include designing scalable analyses producing relevant information, supporting novel popular languages (such as Python), analyzing properties more adapted to the continuous development of software common in open-source. At the core of the project is the construction of an open-source static analysis platform. It will serve not only to implement and evaluate the results of the project, but also create a momentum encouraging the research in static analysis and hasten its adoption in open-source development communities.

Publications

List of publications.
year	authors and title	journal	last update
2018	Aymeric Fromherz, Abdelraouf Ouadjaout, Antoine MinÃ© Static Value Analysis of Python Programs by Abstract Interpretation published pages: 185-202, ISSN: , DOI: 10.1007/978-3-319-77935-5_14	NASA Formal Methods 10th	2019-06-18
2018	RaphaÃ«l Monat Static Analysis by Abstract Interpretation Collecting Types of Python Programs. published pages: , ISSN: , DOI:	Master thesis	2019-05-29
2018	Antoine MinÃ©, Abdelraouf Ouadjaou, Matthieu Journault Design of a Modular Platform for Static Analysis. published pages: , ISSN: , DOI:	Workshop on Tools for Automatic Program Analysis (TAPAS\'18) 9th	2019-05-29

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "MOPSA" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "MOPSA" are provided by the European Opendata Portal: CORDIS opendata.