Presentation is loading. Please wait.

Presentation is loading. Please wait.

Pisa, 11/25/2002Susanna Donatelli1 Heterogeneous model construction Susanna Donatelli Modelling and evaluation groups of the Dipartimento.

Published byJames Hines Modified over 8 years ago

Similar presentations

Presentation on theme: "Pisa, 11/25/2002Susanna Donatelli1 Heterogeneous model construction Susanna Donatelli Modelling and evaluation groups of the Dipartimento."— Presentation transcript:

1 Pisa, 11/25/2002Susanna Donatelli1 Heterogeneous model construction Susanna Donatelli susi@di.unito.it Modelling and evaluation groups of the Dipartimento di Informatica Università del Piemonte Orientale, Alessandria (Italy) Dipartimento di Informatica Università di Torino Torino (Italy) http://www.di.unito.it/~qmips

2 Pisa, 11/25/2002Susanna Donatelli2 Who we are A group across two universities with 7 professors (full and assistant): Balbo, Bobbio, Donatelli, Franceschinis, Gaeta, Sereno, Ribaudo; 3 researchers: Gribaudo, Horvath, Sproston; 3 post-docs. Basic research areas: performance evaluation, dependability analysis, probabilistic verification

3 Pisa, 11/25/2002Susanna Donatelli3 Who we are (2) Strong background on Stochastic Petri Nets (the GreatSPN tool has been distributed to more than two hundreds universities and research centers) Previous EEC projects on dependability: Tiran, 4 th framework Depaude, IST 25434, 5 th framework Collaborations with ENEA and CESI

4 Pisa, 11/25/2002Susanna Donatelli4 What do we work on Stochastic Petri nets Non exponential distributions Modelling process Evaluation, validation, probabilistic verification Hybrid models Combinatorial models

5 Pisa, 11/25/2002Susanna Donatelli5 Dependability evaluation themes Chain of models Heterogeneous models Model Construction from the early phases Evaluation, validation, probabilistic verification Applications

6 Pisa, 11/25/2002Susanna Donatelli6 Dependability evaluation themes Chain of models –Fault tree (combinatorial) –Dynamic FT and Bayesian (localized dependencies) –Markov models / Petri nets (state based)

7 Pisa, 11/25/2002Susanna Donatelli7 Dependability evaluation themes Heterogeneous models –Continuous vs discrete state space –Continuous vs discrete time –Stochastic Infinite support Finite support Deterministic –Timed Deterministic Non-deterministic upon an interval Non-deterministic upon choices

8 Pisa, 11/25/2002Susanna Donatelli8 Dependability evaluation themes Model Construction from the early phases UML-CD Customized UML-CD Predefined TRIO Customized TRIO Predefined GSPN Customized GSPN UML Behavioural diagrams Modeller experience

9 Pisa, 11/25/2002Susanna Donatelli9 Dependability evaluation themes Evaluation: classical dependability measures either steady state or transient Validation: state or path formulas being true or false Probabilistic verification

10 Pisa, 11/25/2002Susanna Donatelli10 Dependability evaluation themes Putting all together………. Unifying concepts for integrating tools

11 Pisa, 11/25/2002Susanna Donatelli11 Dependability evaluation themes Means………………….. Experience what we have already done on Application Case Studies Get feed back for the integration framework Modelling and Simulation Tools

Download ppt "Pisa, 11/25/2002Susanna Donatelli1 Heterogeneous model construction Susanna Donatelli Modelling and evaluation groups of the Dipartimento."

Similar presentations

A. BobbioBertinoro, March 10-14, 20031 Dependability Theory and Methods 3. State Enumeration Andrea Bobbio Dipartimento di Informatica Università del Piemonte.

A. BobbioBertinoro, March 10-14, Dependability Theory and Methods 3. State Enumeration Andrea Bobbio Dipartimento di Informatica Università del Piemonte.
Stochastic algebraic models SAMSI Transition Workshop June 18, 2009 Reinhard Laubenbacher Virginia Bioinformatics Institute and Mathematics Department.

Stochastic algebraic models SAMSI Transition Workshop June 18, 2009 Reinhard Laubenbacher Virginia Bioinformatics Institute and Mathematics Department.
1 Open-charm and J/ψ production at the ALICE experiment Pietro Cortese Università del Piemonte Orientale and INFN Alessandria, Italy on behalf of the ALICE.

1 Open-charm and J/ψ production at the ALICE experiment Pietro Cortese Università del Piemonte Orientale and INFN Alessandria, Italy on behalf of the ALICE.
Exploiting decision theory for supporting therapy selection in computerized clinical guidelines Stefania Montani, Paolo Terenziani, Alessio Bottrighi DI,

Exploiting decision theory for supporting therapy selection in computerized clinical guidelines Stefania Montani, Paolo Terenziani, Alessio Bottrighi DI,
An infrastructure language for Open Nets Michele Loreti Joint work with: Lorenzo Bettini and Rosario Pugliese Dipartimento di Sistemi e Informatica Università.

An infrastructure language for Open Nets Michele Loreti Joint work with: Lorenzo Bettini and Rosario Pugliese Dipartimento di Sistemi e Informatica Università.
A. BobbioReggio Emilia, June 17-18, 20031 Dependability & Maintainability Theory and Methods 3. Reliability Block Diagrams Andrea Bobbio Dipartimento di.

A. BobbioReggio Emilia, June 17-18, Dependability & Maintainability Theory and Methods 3. Reliability Block Diagrams Andrea Bobbio Dipartimento di.
A. BobbioReggio Emilia, June 17-18, 20031 Dependability & Maintainability Theory and Methods 5. Markov Models Andrea Bobbio Dipartimento di Informatica.

A. BobbioReggio Emilia, June 17-18, Dependability & Maintainability Theory and Methods 5. Markov Models Andrea Bobbio Dipartimento di Informatica.
Reliable Dynamic Analysis of Structures Using Imprecise Probability Mehdi Modares and Joshua Bergerson DEPARTMENT OF CIVIL, ARCHITECTURAL AND EVIRONMENTAL.

Reliable Dynamic Analysis of Structures Using Imprecise Probability Mehdi Modares and Joshua Bergerson DEPARTMENT OF CIVIL, ARCHITECTURAL AND EVIRONMENTAL.
11. Practical fault-tolerant system design Reliable System Design 2005 by: Amir M. Rahmani.

11. Practical fault-tolerant system design Reliable System Design 2005 by: Amir M. Rahmani.
Queueing Models and Ergodicity. 2 Purpose Simulation is often used in the analysis of queueing models. A simple but typical queueing model: Queueing models.

Queueing Models and Ergodicity. 2 Purpose Simulation is often used in the analysis of queueing models. A simple but typical queueing model: Queueing models.
1 A class of Generalized Stochastic Petri Nets for the performance Evaluation of Mulitprocessor Systems By M. Almone, G. Conte Presented by Yinglei Song.

1 A class of Generalized Stochastic Petri Nets for the performance Evaluation of Mulitprocessor Systems By M. Almone, G. Conte Presented by Yinglei Song.
1 System Modeling with Petri Nets I I T Kanpur, November 2002 Andrea Bobbio and Kishor Trivedi Dipartimento di Informatica Università del Piemonte Orientale,

1 System Modeling with Petri Nets I I T Kanpur, November 2002 Andrea Bobbio and Kishor Trivedi Dipartimento di Informatica Università del Piemonte Orientale,
Dynamic Bayesian Networks (DBNs)

Dynamic Bayesian Networks (DBNs)
Model Checking for Probabilistic Timed Systems Jeremy Sproston Università di Torino VOSS Dagstuhl seminar 9th December 2002.

Model Checking for Probabilistic Timed Systems Jeremy Sproston Università di Torino VOSS Dagstuhl seminar 9th December 2002.
Symbolic dynamics of Markov chains P S Thiagarajan School of Computing National University of Singapore Joint work with: Manindra Agrawal, S Akshay, Blaise.

Symbolic dynamics of Markov chains P S Thiagarajan School of Computing National University of Singapore Joint work with: Manindra Agrawal, S Akshay, Blaise.
The File Mover: An Efficient Data Transfer System for Grid Applications C. Anglano, M. Canonico Dipartimento di Informatica Universita' del Piemonte Orientale,

The File Mover: An Efficient Data Transfer System for Grid Applications C. Anglano, M. Canonico Dipartimento di Informatica Universita' del Piemonte Orientale,
Simulation Where real stuff starts. ToC 1.What, transience, stationarity 2.How, discrete event, recurrence 3.Accuracy of output 4.Monte Carlo 5.Random.

Simulation Where real stuff starts. ToC 1.What, transience, stationarity 2.How, discrete event, recurrence 3.Accuracy of output 4.Monte Carlo 5.Random.
Temporal Specification Chris Patel Vinay Viswanathan.

Temporal Specification Chris Patel Vinay Viswanathan.
PROVIDING DISTRIBUTED FORECASTS OF PRECIPITATION USING A STATISTICAL NOWCAST SCHEME Neil I. Fox and Chris K. Wikle University of Missouri- Columbia.

PROVIDING DISTRIBUTED FORECASTS OF PRECIPITATION USING A STATISTICAL NOWCAST SCHEME Neil I. Fox and Chris K. Wikle University of Missouri- Columbia.
A. BobbioBertinoro, March 10-14, 20031 Dependability Theory and Methods 5. Markov Models Andrea Bobbio Dipartimento di Informatica Università del Piemonte.

A. BobbioBertinoro, March 10-14, Dependability Theory and Methods 5. Markov Models Andrea Bobbio Dipartimento di Informatica Università del Piemonte.

Similar presentations

Ads by Google