1 / 10

Modelling process and heterogeneous model construction

This document outlines the work conducted by a collaborative group from the University of Torino and the University of Piemonte Orientale, focusing on modeling processes for performance evaluation, dependability analysis, and probabilistic verification. Key areas include the construction of models during lifecycle phases, the use of various formalisms such as Stochastic Petri nets and automata, and the applicability of these models in automation systems, telecom, and task scheduling. The aim is to unify concepts and tools to streamline model construction and evaluation from requirements to performance indices.

huslu
Télécharger la présentation

Modelling process and heterogeneous model construction

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

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

  2. Who we are • A group across two universities with: Balbo, Bobbio, Donatelli, Franceschinis, Anglano, Gaeta, Sereno, Ribaudo, Gribaudo, Horvath, Sproston; • Basic research areas: performance evaluation, dependability analysis, probabilistic verification; • Synergic national projects: • Perf2002 on performance evaluation • Wide national project on networked computing Susanna Donatelli

  3. What do we work on • Modelling process (model structure from requirements, automatic production of submodels) • Formalisms (Stochastic Petri nets, Fluid Petri nets, combinatorial models, stochastic process algebras, automata based formalisms) • Solutions (Kronecker based, discrete PH approximations, distribution fitting, symmetries exploitation) • Applications (automation systems, software solutions to FT, telecom-wireless, web servers, call centers, task scheduling) Susanna Donatelli

  4. Model construction through the life cycle • Building the model from the early development phases (and also “design for evaluation”) • Which model for which index (an issue especially in dependability) • Abstraction/inheritance Susanna Donatelli

  5. Predefined TRIO UML-CD Parametric GSPN Customization guidelines Customization and refinement Info from customization Customized UML-CD Customized TRIO Customized GSPN UML Behavioural diagrams Modeller experience Model construction from the early phases Rules and predefined models Automatic translation Susanna Donatelli

  6. Chain of models • Fault tree (combinatorial) • Dynamic FT and Bayesian (localized dependencies) • Markov models / Petri nets (state based) Susanna Donatelli

  7. State Space based? • 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 Susanna Donatelli

  8. Which evaluation? • Evaluation: classical dependability measures either steady state or transient • Validation: state or path formulas being true or false • Probabilistic verification Susanna Donatelli

  9. Putting all together………. From requirements to indices Unifying concepts for integrating tools Susanna Donatelli

  10. Means………………….. • Work also with people in formal design and validation • Comparing formalisms • Look for synergies in the solution field (e.g. Matrix diagram and symbolic reachability graph) • Tools Susanna Donatelli

More Related