The course is divided into two parts ("Architectural" part and "Modeling and Analysis" part), which deal respectively with:
"Architectural" part: architecting cyber-physical systems (of systems), and methodologies for the design and construction of such systems.
"Modeling and Analysis" part: modeling methodologies and formalisms for the quantitative evaluation of system properties like reliability, availability, security and performance.
Cyber-Physical Systems of Systems
Foundations – A Conceptual Model and Some Derivations: The AMADEOS Legacy
Editors: Andrea Bondavalli, Sara Bouchenak, Hermann Kopetz
ISBN: 978-3-319-47589-9 (Print) 978-3-319-47590-5 (Online)
The book is open access, available at:
https://link.springer.com/book/10.1007%2F978-3-319-47590-5
For the "Modeling and Analysis" part:
Reference book (in Italian): "L'Analisi Quantitativa dei Sistemi Critici", a cura di Andrea Bondavalli, Società Editrice Esculapio, ISBN 978-88-7488-431-5, Prima edizione, 286 pagine, Marzo, 2011.
Additional teaching material:
- Slides presented during the course.
- Papers published in Journals and in Conference proceedings.
Learning Objectives
The course aims at providing solid knowledge and competences to conceive, define, design, evaluate and analyze complex cyber-physical systems (of systems) which are at the basis of emerging fields as Internet of Things, Smart Factories and Critical Infrastructures. In particular, focus is put on the distribution and coordination aspects of the constituent systems of an SoS and on approaches for the quantitative evaluation of system properties as for example reliability, availability, security and performance.
Prerequisites
None
Teaching Methods
ETCS (CFU): 9
Total hours of the course: 360
Hours reserved to private study and other individual formative activities: 264
Office Hours:
Dott. Paolo Lollini,
By appointment. Contact professor (paolo.lollini@unifi.it).
DiMaI, Università di Firenze, Viale Morgagni, 65 - 50134 Firenze
Prof. Andrea Ceccarelli:
TUESDAY 16.30-17.30
It is recommended to contact professor in advance to manifest your intention to participate.
DiMaI, Università di Firenze, Viale Morgagni, 65 - 50134 Firenze
Type of Assessment
The exam is composed of two parts, respectively for the "Architectural" part and for the "Modeling and Analysis" part of the course.
With regard to the "Architectural" part, the exam is composed of the following steps:
- preparation of a project report. The project is about the coordination of cyber-physical systems. The text of the project will be assigned during lectures, and it can be carried out in groups of up to 2 people. The project includes use cases construction, requirements definition , architecture design and software implementation.
- an interview on the arguments of the lectures of the "Architectural" part. Condition for admission to the interview is that the project report is sufficient.
With regard to the "Modeling and Analysis" part, the exam is composed of the following steps:
- application of a stochastic modeling approach to a selected case-study, using a supporting tool (like Mobius). The case-study will be assigned during lectures, and it can be carried out in groups of up to 3 people.
- preparation of a report on the performed activities, with the description of the obtained results.
- an interview on the arguments of the lectures of the "Modeling and Analysis" part. Condition for admission to the interview is that the project report is sufficient.
Course program
The course is organized in two parts: "Architectural" part and "Modeling and Analysis" part.
The "Architectural" part, on architecting cyber-physical systems (of systems), is composed of the following subjects:
1- Basics on performance and reliability analysis of systems and on systems validation. Definitions of performances and reliability indicators. Rules for building and validating models. Fundamentals of probability theory. Combinatorial methods. Discrete time Markov processes. Continuous time Markov processes. Queue theory: the MM1 queue and its variants. Stochastic Petri Nets. Modeling formalisms: PN and extensions (e.g., SAN, DSPN). Automatic supporting tools: Möbius.
1- Introduction to Cyber-Physical Systems
- architecture
- interface and stigmergy
- emergence
- dynamicity and evolution
- examples
2- Architecting distributed systems: algorithms and protocols for consensus and ordering.
3- Model-Driven Engineering approaches for designing SoS.
- The role of Modelling and Model-Driven Engineering
- UML, SysML
- tools and alternatives
4- Building Cyber-Physical Systems (lab): requirements engineering, modeling, and implementation (with a little of robotics)
- Lab presentation and introduction,
- use case definition
- Requirements definition
- System Modeling
- Implementation on Thymios robots
The "Modeling and Analysis" part, concerning the methodologies and formalisms for the quantitative evaluation and analysis of system properties, is composed of the following subjects:
1- Introduction and short recall on Probability theory
- Basics on dependability, on performance and reliability analysis of systems and on systems validation.
- Definitions of performances and reliability indicators.
- Rules for building and validating models.
- Fundamentals of probability theory.
2- RAMS analysis: combinatorial methods
- Boolean methods.
- Fault Trees and other graphical formalisms.
3- Markov Chains
- Discrete time Markov processes.
- Continuous time Markov processes.
4- Petri Nets (PN)
- Intro to PN.
- Priority and Timed PN
- Stochastic Petri Nets.
- Other modeling formalisms: GSPN, SAN, ADVISE.
- Automatic supporting tools: Möbius.