- Pr. Andrea Bondavalli, DiMaI E-mail: firstname.lastname@example.org
- Dr. Mohamad Gharib, DiMaI E-mail: email@example.com
- Dr. Andrea Ceccarelli, DiMaI E-mail: firstname.lastname@example.org
The Distributed Real time Cyber Physical Systems course aims at providing solid knowledge and competences to conceive, define and design complex cyber physical 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 time management issues.
Part 1. Foundamentals on architecting distributed and real-time cyber physical systems
- Introduction and fundamentals of Cyber-Physical Systems
- Interfaces and stigmergy
- Distributed systems:
- System models
- Agreement: algorithms and protocols
- Real-time systems
- Real-time aspects
- Time, clocks and resilient time keeping
- Scheduling in real-time systems
Part 2. Design frameworks and modeling cyber-physical systems
- Model-Driven Engineering (MDE) principles.
- Conceptual Modeling.
- Requirements Engineering.
- Designing systems using model-driven design environments.
- SysML and UML overview.
- Domain-Specific Modeling Language (DSML)
- Object Constraint Language (OCL)
- Application of MDE principles to a realistic example of CPS.
- From Conceptual to SysML modeling - AMADEOS project.
Part 3. Laboratory on cyber-physical systems
- Requirements analysis and definition: Kilobots platooning
- Python tutorial
- Modeling of platooning with Blockly4SoS
- Kilombo (Kilobots simulator)
- Kilobots porting
Exam is organized in two distinct parts:
1- (Lab): the assignment is described in the section "Lab on Cyber Physical System" (see file "Final assignments for the lab exam"), a report of the work done must be delivered to Dr. Gharib and Dr. Ceccarelli a few days before the oral exam. It will be evaluated and if the evaluation will be positive the student is allowed to the oral main part.
2- Theory: This part includes an oral exam by Prof. Bondavalli.
Please contact Prof. Bondavalli and or Dott. Ceccarelli to define exam dates.
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)
- Avizienis, A.; Laprie, J.-C.; Randell, B.; Landwehr, C. “Basic concepts and taxonomy of dependable and secure computing” IEEE TDSC, Vol. 1 Page(s): 11- 33, 2004.
- Siewiorek, D.P, Swarz R."Reliable Computer Systems: Design and Evaluation", 3rd edition, A. K. Petres, Ltd., 1998
- Hermann Kopetz: Real-Time Systems: Design Principles for Distributed Embedded Applications, second edition, Springer, 2011
- Paulo Verissimo, Luis Rodrigues: Distributed Systems for System Architects, Springer, 2001.
- Andrew S. Tanenbaum, Maarten van Steen: Distributed Systems: Principles And Paradigms, Pearson Prentice Hall, 2006.
Slides will be added during the course development.