Introduction and Fundamentals on architecting distributed and real-time cyber physical systems
Design frameworks and Tecniques for conceiving, modeling and designing cyber-physical systems
Laboratory on cyber-physical systems (of systems)
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 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.
Prerequisites
none
Teaching Methods
CFU: 9
Total hours of the course: 270
Hours reserved to private study and other individual formative activities: 198
Prof. Andrea Bondavalli, by appointment.
Contact professor by phone number or e-mail (bondavalli@unifi.it).
DiMaI, Universita' di Firenze, Viale Morgagni, 65 - 50134 Firenze
Dott. Andrea Ceccarelli, by appointment.
Contact professor by phone number or e-mail (andrea.ceccarelli@unifi.it).
DiMaI, Universita' di Firenze, Viale Morgagni, 65 - 50134 Firenze
Type of Assessment
he Assessment consists of two parts:
- Development of a specific investigation on a topic of the course or a project on CPS coordination;
- Oral interview.
Conditional to the oral interview is the acceptance of the report on the project.
Course program
Introduction and fundamentals of Cyber-Physical Systems
- emergence
- interface and stigmergy
Distributed systems: algorithms, protocols
Real-time systems: Real-time aspects, Time, clocks and resilient time keeping, Scheduling in real-time systems, R&SAClock
Standard frameworks for designing SoS
The role of Modelling and Model-Driven Engineering
SysML, tools and alternatives
Examples: fog, cloud Computing
Blockchains
Cyber-Physical Systems Lab: requirements engineering, modeling, implementation (with a little of robotics)
Lab presentation, introduction, arrangements
Requirements analysis and definition: Kilobots platooning
Python with examples
Blockly4SoS and examples
Modeling of platooning with Blockly4SoS
Kilombo (Kilobots simulator): how to use, analysis of examples, how to program
Kilobots usage : howTo on Kilobots
implementation of the platooing.