Opendata, web and dolomites

TOROS SIGNED

A Theory-Oriented Real-Time Operating System for Temporally Sound Cyber-Physical Systems

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

Project "TOROS" data sheet

The following table provides information about the project.

Coordinator
MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV 

Organization address
address: HOFGARTENSTRASSE 8
city: MUENCHEN
postcode: 80539
website: n.a.

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 Germany [DE]
 Total cost 1˙499˙813 €
 EC max contribution 1˙499˙813 € (100%)
 Programme 1. H2020-EU.1.1. (EXCELLENT SCIENCE - European Research Council (ERC))
 Code Call ERC-2018-STG
 Funding Scheme ERC-STG
 Starting year 2019
 Duration (year-month-day) from 2019-01-01   to  2023-12-31

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    MAX-PLANCK-GESELLSCHAFT ZUR FORDERUNG DER WISSENSCHAFTEN EV DE (MUENCHEN) coordinator 1˙499˙813.00

Map

 Project objective

'The TOROS project targets the challenge of implementing safety-critical cyber-physical systems (CPSs) on commodity multicore processors such that their temporal correctness can be certified in a formal, trustworthy manner. While today it is in principle possible to construct a CPS in a temporally sound way, in practice this rarely happens because, with the current real-time foundations, the prerequisite investments in time, expertise, and resources are prohibitive.

This situation is caused in large parts by three fundamental shortcomings in the design of state-of-the-art real-time operating systems (RTOSs) and the applicable timing analyses: (i) current RTOSs expose primarily low-level mechanisms that suffer from accidental unpredictability, i.e., mechanisms that require too much expertise to be used and composed in a temporally sound way; (ii) most analyses rely on idealized worst-case execution-time assumptions that realistically cannot be satisfied on commodity multicore platforms; and (iii) the available real-time theory depends on often complex and tedious proofs, and cannot always be trusted to be sound. As a result, formal timing analysis is rarely relied upon in the certification of CPSs in reality, and instead the use of ad-hoc, unsound 'safety margins' prevails.

The TOROS project seeks to close this gap by moving the RTOS closer to analysis, the analysis closer to reality, and by ensuring that the analysis can be trusted. Specifically, the TOROS project will 1. introduce a radically new, theory-oriented RTOS that by design ensures that the temporal behavior of any workload can be analyzed (even if the application developer is unaware of the relevant theory), 2. develop a matching novel timing analysis that allows for below-worst-case provisioning with analytically sound safety margins that yields meaningful probabilistic response-time guarantees, and 3. mechanize and verify all supporting timing analysis with the Coq proof assistant.'

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "TOROS" 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 "TOROS" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.1.1.)

PROGRESS (2019)

The Enemy of the Good: Towards a Theory of Moral Progress

Read More  

NanoPD_P (2020)

High throughput multiplexed trace-analyte screening for diagnostics applications

Read More  

SUBMODULAR (2019)

The Power of Randomness and Continuity in Submodular Optimization

Read More