1 / 10

Modelling process and heterogeneous model construction

Modelling process and heterogeneous model construction. Susanna Donatelli susi@di.unito.it. Modelling and evaluation groups of the. Dipartimento di Informatica Universit à d i Torino Torino (Italy). Dipartimento di Informatica Universit à del Piemonte Orientale, Alessandria (Italy).

huslu
Download Presentation

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