Evidence Atlas
Le evidenze annotate mappano i meccanismi di durata esistenti, i loro livelli di applicazione e le ipotesi. L’atlante definisce la tassonomia e i confini di confronto utilizzati dai work package successivi.
Vedi il work packageRISULTATI
CIRCULA collega i risultati della ricerca alle evidenze, al software e ai metodi che li sostengono. Quattro artefatti previsti accompagnano il lavoro dall’atlante delle evidenze alla semantica eseguibile, al prototipo e alla valutazione controllata. Questa pagina raccoglie artefatti, pubblicazioni, release pubbliche e tappe del progetto durante il programma.
Dal programma ai risultati
Artefatti di ricerca
Ogni work package produce un artefatto distinto e collegato agli altri. L’atlante inquadra le domande; il riferimento definisce le regole; il prototipo implementa i design selezionati; il Evaluation Bench fornisce confronti controllati. Sono risultati previsti, con materiali pubblici collegati quando disponibili.
Semantic Reference
Un modello formale e un riferimento eseguibile descrivono validità, scadenza e rinnovo, comprese le ipotesi sulle informazioni conservate e sulle possibilità di verifica o recupero. Invarianti e scenari di conformità rendono le implementazioni confrontabili rispetto a regole esplicite.
Vedi il work package
Proof of Concept
Un prototipo di registro a portata delimitata implementa le regole di durata e i livelli di applicazione selezionati. Verifiche di conformità e interfacce di audit e recupero collegano il suo comportamento al Semantic Reference.
Vedi il work package
Evaluation Bench
Carichi di lavoro controllati confrontano i design con baseline esplicite, misurando i costi di persistenza, verifica e recupero. Configurazioni, dataset e materiali di analisi versionati rendono i confronti riproducibili e i loro limiti verificabili.
Vedi il work packagePubblicazioni e release
Pubblicazioni e release software
Le pubblicazioni e le release pubbliche saranno elencate quando disponibili. Ogni voce collegherà un risultato o un’implementazione al relativo artefatto di ricerca, per seguire sia il risultato sia il metodo con cui è stato ottenuto.
Le schede delle release indicheranno versione, domande di ricerca, ipotesi, baseline e limiti di interpretazione. I link a repository, dataset archiviati, configurazioni e licenze renderanno i materiali di supporto facili da trovare e riutilizzare.
- Versione e identificativo
- Domande di ricerca
- Ipotesi e baseline
- Materiali per la riproduzione
- Licenza e archivio
Tappe del progetto
Aggiornamenti del progetto
Le tappe pubbliche documentano il progresso del programma, dall’approvazione del finanziamento e dall’avvio alle release della ricerca. Gli annunci accompagnano i risultati che presentano, mantenendo insieme il contesto del progetto e le evidenze di supporto.
ANNUNCIO DEL PROGETTO
CIRCULA ottiene il finanziamento di progetto del SNSF.
Con sede all’Université de Neuchâtel, CIRCULA studierà scadenza e rinnovo nel contesto programmabile dei sistemi blockchain mediante semantiche formali, prototipi e valutazioni controllate.
