LIVESOFT

Lightweight Verification of Software

 Coordinatore TECHNISCHE UNIVERSITAET DARMSTADT 

Spiacenti, non ci sono informazioni su questo coordinatore. Contattare Fabio per maggiori infomrazioni, grazie.

 Nazionalità Coordinatore Germany [DE]
 Totale costo 1˙999˙320 €
 EC contributo 1˙999˙320 €
 Programma FP7-IDEAS-ERC
Specific programme: "Ideas" implementing the Seventh Framework Programme of the European Community for research, technological development and demonstration activities (2007 to 2013)
 Code Call ERC-2013-CoG
 Funding Scheme ERC-CG
 Anno di inizio 2014
 Periodo (anno-mese-giorno) 2014-07-01   -   2019-06-30

 Partecipanti

# participant  country  role  EC contrib. [€] 
1    TECHNISCHE UNIVERSITAET DARMSTADT

 Organization address address: Karolinenplatz 5
city: DARMSTADT
postcode: 64289

contact info
Titolo: Dr.
Nome: Melanie
Cognome: Meermann-Zimmermann
Email: send email
Telefono: +49 6151 16 75972
Fax: +49 6151 16 2478

DE (DARMSTADT) hostInstitution 1˙999˙320.00
2    TECHNISCHE UNIVERSITAET DARMSTADT

 Organization address address: Karolinenplatz 5
city: DARMSTADT
postcode: 64289

contact info
Titolo: Prof.
Nome: Patrick Thomas
Cognome: Eugster
Email: send email
Telefono: +1 7654137764
Fax: 17654940739

DE (DARMSTADT) hostInstitution 1˙999˙320.00

Mappa


 Word cloud

Esplora la "nuvola delle parole (Word Cloud) per avere un'idea di massima del progetto.

livesoft    hardware    developers    models    memory    protocol    defects    types    distributed    yet    asynchrony    techniques    prone    software    failures   

 Obiettivo del progetto (Objective)

'As illustrated through the advent of cloud computing, cyberphysical systems, or the Internet of Things, more and more applications are inherently distributed. At the same time, programming distributed systems is notoriously hard. Programmers have to deal with asynchrony and have to cater for partial failures -- the possibility that certain communication(s), processes, or hosts fail while others remain operational. These failures can have drastic consequences such as the missing to react to critical events or inconsistent states respectively. Limitations on existing hardware infrastructure necessitate subtle assumptions on system and failure models though to achieve efficient yet complex algorithmic solutions, whose implementation is prone to delicate defects.

Existing techniques for engineering reliable distributed systems software require much effort (e.g., program annotations in the form of invariants) thus discouraging many developers from their use; other techniques require developers to explicitly run specific tools (e.g., model checkers) which are thus easily left out and still can not achieve complete validation.

LiveSoft investigates static techniques to verify a subset of relevant and failure-prone aspects of distributed software --- interaction between components --- in a way which is lightweight and can be integrated with compilation. Our techniques will be able to sieve out many important defects upfront by pushing software reliability into the software design process. To that end LiveSoft proposes protocol types which leverage experiences with session types yet focus on fault-tolerant distributed systems by emphasizing asynchrony, failure handling and recovery, protocol composition, security, and parameterization. A main challenge is to support different system and failure models including emerging hardware trends such as hardware transactional memory and non-volatile memory rather than hardwiring speicific notions of (a)synchrony and failures.'

Altri progetti dello stesso programma (FP7-IDEAS-ERC)

PACART (2014)

Free space photon atom coupling - the art of focusing

Read More  

QCLS (2013)

"Quantum Computation, Logic, and Security"

Read More  

JEWCOM (2010)

History of European -Jewish Communication in the 20th Century

Read More