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:
- fundamentals of requirements engineering, modeling with Blockly4SoS, Kilobots programming and usage.
- definition of requirements for a target Cyber-Physical System of Systems, composed of movable constituent systems
- System modeling with Blockly4SoS
- System simulation with Kilombo (Kilobots simulator)
- Implementation on Kilobots