Modern critical computer systems are rapidly growing in complexity. As a consequence, novel frameworks are needed to support multi-paradigm modelling for the dependability evaluation of such systems. OsMoSys (Object-based multi-formalism modelling of systems) is one of the latest projects in this category, whose originality consists in supporting certain aspects of object orientation and in the model analysis.
New Paradigms and Tools for High-Assurance Systems Modelling / Flammini F; Mazzocca N; Vittorini V. - In: ERCIM NEWS. - ISSN 0926-4981. - STAMPA. - 75:(2008), pp. 28-30.
New Paradigms and Tools for High-Assurance Systems Modelling
Flammini F;
2008
Abstract
Modern critical computer systems are rapidly growing in complexity. As a consequence, novel frameworks are needed to support multi-paradigm modelling for the dependability evaluation of such systems. OsMoSys (Object-based multi-formalism modelling of systems) is one of the latest projects in this category, whose originality consists in supporting certain aspects of object orientation and in the model analysis.
File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
EN75-web_Flammini.pdf
Accesso chiuso
Licenza:
Tutti i diritti riservati
Dimensione
389.63 kB
Formato
Adobe PDF
|
389.63 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
