{"id":"https://openalex.org/G1598227135","display_name":"Distributed Open and Timed Systems","description":"The scientific context of the DOTS project is that of formal specification, verification and design of information systems. Complex systems, such as embedded systems that are widely used nowadays, are often (1) distributed \u2013 composed of several components that communicate together \u2013, (2) timed \u2013 contain timing constraints, \u2013 and (3) open \u2013 interact with their environment. Each of these aspects considered separately is now relatively well understood and corresponds to an active research area. The big challenge is to deal with systems which present several of these features. The DOTS project associates researchers specialized in all three aspects mentioned above, in order to tackle problems that emerge when considering several features simultaneously. We plan to significantly advance the theory as well as the algorithms for the design and verification of distributed, open and timed systems. In addition to model checking, the DOTS project will mainly address two important verification problems : control (how to supervise a given system in order to satisfy a given specification ?) and non-interference (how to ensure secrecy \u2013 ie how to avoid leaking information \u2013 in a given information system?). For addressing the verification of these systems, we plan to use (1) games to cope with interactive aspects and (2) partial orders to deal with the distributed aspect. Each of these two promising techniques has already proved its relevance for formal verification, the choice of these two approaches (and their combination) constitutes an important characteristic of the DOTS project. And bringing together specialists in both of them and in timed systems is a crucial aspect of our project.","funder_award_id":"ANR-06-SETI-0003","funder":{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","doi":"10.13039/501100001665"},"funded_outputs":["https://openalex.org/W1543463209","https://openalex.org/W1599995366","https://openalex.org/W1834884798","https://openalex.org/W1983559036","https://openalex.org/W2003277317","https://openalex.org/W2019723905","https://openalex.org/W2080316200","https://openalex.org/W2080957994","https://openalex.org/W2093327611","https://openalex.org/W2196692106","https://openalex.org/W2477880734","https://openalex.org/W2951811830"],"funded_outputs_count":12,"parent_awards":[],"sub_awards":[],"sub_awards_count":0,"amount":584940.0,"currency":"EUR","amount_usd":770365.98,"amount_usd_basis":"daily_rate","recipients":[],"recipient_countries":[],"recipient_regions":[],"research_scope":{"is_research":true,"basis":"funder_default","tier":1},"funding_type":"grant","funder_scheme":"SETI","start_date":"2007-01-01","end_date":null,"start_year":2007,"end_year":null,"landing_page_url":"https://anr.fr/Projet-ANR-06-SETI-0003","doi":null,"provenance":"anr_opendata","lead_investigator":null,"co_lead_investigator":null,"investigators":null,"works_api_url":"https://api.openalex.org/works?filter=awards.id:G1598227135","primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.8704,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.8704,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"institution_awarded":[],"updated_date":"2026-10-16T03:01:01.000Z","created_date":"2026-09-10T23:08:02.000Z"}