Obiettivo
The objective of the SEDOS project was to define formal description techniques and support tools for the development and implementation of OSI protocols and services and, more generally, of open distributed systems.
Two formal languages were defined: ESTELLE (based on a machine-state model), and LOTOS, which combines the algebraic specification language ACT-ONE and the CCS calculus.
The objective of the project was to define formal description techniques and support tools for the development and implementation of open system interconnection (OSI) protocols and services and, more generally, of open distributed systems. Two formal languages were defined: ESTELLE (based on a machine-state model), and LOTOS, which combines the algebraic specification language ACT-ONE and the calculus of communicating systems (CCS). Prototypes of syntax directed editors, compilers, simulators, debugging tools, and verification (proof) tools for both ESTELLE and LOTOS were produced. Formal descriptions of a large number of OSI protocols and services were presented. Work in International Standards Organization (ISO) on standardisation of the formal description techniques (FDT) resulted in both languages attaining draft international standard. New theories for verification of protocol specifications were presented.
The results were:
-Prototypes of syntax-directed editors, compilers, simulators, debugging tools, and verification (proof) tools for both ESTELLE and LOTOS.
-Formal descriptions of a large number of OSI protocols and services.
-Work in ISO on standardisation of the FDT (Formal Description Techniques), resulting in both languages attaining draft international standard. This resulted in an international standard in 1988.
-New theories for verification of protocol specifications.
A follow-up project (1265) has developed an ESTELLE workstation, and will use some real life projects in an industrial environment to demonstrate the benefit of the SEDOS approach towards protocol development.
Exploitation
There is a strong commitment to exploit the results of the LOTOS part of the project. Through the contribution of this project, formalisation of the development of protocols and communication software is becoming one of the most important approaches for industry to develop the increasingly complex distributed systems of tomorrow.
Campo scientifico (EuroSciVoc)
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
CORDIS classifica i progetti con EuroSciVoc, una tassonomia multilingue dei campi scientifici, attraverso un processo semi-automatico basato su tecniche NLP. Cfr.: Il Vocabolario Scientifico Europeo.
È necessario effettuare l’accesso o registrarsi per utilizzare questa funzione
Siamo spiacenti… si è verificato un errore inatteso durante l’esecuzione.
È necessario essere autenticati. La sessione potrebbe essere scaduta.
Grazie per il tuo feedback. Riceverai presto un'e-mail di conferma dell'invio. Se hai scelto di ricevere una notifica sullo stato della segnalazione, sarai contattato anche quando lo stato della segnalazione cambierà.
Programma(i)
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Programmi di finanziamento pluriennali che definiscono le priorità dell’UE in materia di ricerca e innovazione.
Argomento(i)
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Dati non disponibili
Gli inviti a presentare proposte sono suddivisi per argomenti. Un argomento definisce un’area o un tema specifico per il quale i candidati possono presentare proposte. La descrizione di un argomento comprende il suo ambito specifico e l’impatto previsto del progetto finanziato.
Invito a presentare proposte
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Dati non disponibili
Procedura per invitare i candidati a presentare proposte di progetti, con l’obiettivo di ricevere finanziamenti dall’UE.
Meccanismo di finanziamento
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Meccanismo di finanziamento (o «Tipo di azione») all’interno di un programma con caratteristiche comuni. Specifica: l’ambito di ciò che viene finanziato; il tasso di rimborso; i criteri di valutazione specifici per qualificarsi per il finanziamento; l’uso di forme semplificate di costi come gli importi forfettari.
Dati non disponibili
Coordinatore
31077 TOULOUSE
Francia
I costi totali sostenuti dall’organizzazione per partecipare al progetto, compresi i costi diretti e indiretti. Questo importo è un sottoinsieme del bilancio complessivo del progetto.