Hide menu

SaS Seminars

Software and Systems Research Seminar Series

The SaS Seminars are a permanent series of open seminars of the Division of Software and Systems (SaS) at the Department of Computer and Information Science (IDA), Linköping University. The objective of the seminars is to present outstanding research and ideas/problems relevant for SaS present and future activities. In particular, seminars cover the SaS research areas software engineering, programming environments, system software, embedded SW/HW systems, computer systems engineering, realtime systems, parallel and distributed computing, and theoretical computer science. - Two kinds of seminars are planned:

  • talks by invited speakers not affiliated with SaS,

  • internal seminars presenting lab research to whole SaS.

The speakers are expected to give a broad perspective of the presented research, adressing the audience with a general computer science background but possibly with no specific knowledge in the domain of the presented research. The normal length of a presentation is 60 minutes, including discussion.

The SaS seminars are coordinated by Ahmed Rezine.

Recent / Upcoming SaS Seminars (2019)

Model-driven dependability forecasting of software systems

Prof. Simona Bernardi, University of Zaragoza, Spain.

Tuesday, March 5, 11:00, room John von Neumann.

In this talk I introduce the model-driven approach to the modelling and analysis of dependability of software systems in the early life-cycle, that considers three types of models:

    1) software models, used for architecture/design specification and represented with a general purpose software modelling language, that is Unified Modeling Language (UML);
    2) software models with "dependability annotations" obtained from software models by adding information related to dependability properties;
    3) formal models used for dependability analysis; such models have the advantage of being supported by existing analysis methods.
I will focus on Stochastic Petri Net models. The talk aims at giving an insight of the following aspects: the first is the dependability (meta-)modelling, that handles the transition from model of type (1) to model of type (2), the second is the model transformation that addresses the transition from model of type (2) to model of type (3), and the third is the evaluation of dependability properties with the analysis of Stochastic Petri Net models.

Bio of speaker:
Simona Bernardi is an Assistant Professor in the Department of Computer Science and Systems Engineering at the University of Zaragoza, Spain, from 2017. She received a M.S. degree in Mathematics and a Ph.D. degree in Computer Science, in 1997 and 2003, respectively, both from the University of Torino, Italy. In the past, she held a researcher position in the University of Torino, from 2004 to 2010, and a professor position at the Centro Universitario de la Defensa in the General Military Academy of Zaragoza from 2010 to 2017. She has been visiting researcher at the Carleton University (ON, Canada), the University of L'Aquila and the University "Federico II" of Naples, Italy. Her research interests are in the area of software engineering and process mining, in particular model-driven engineering, verification and validation of performance, dependability and survivability software requirements, and formal methods for the modelling and analysis of software systems. She is co-author of the book "Model-driven dependability assessment of software-systems", published by Springer.

Previous SaS Seminars

Page responsible: Christoph Kessler
Last updated: 2019-02-20