Indice degli argomenti

  • Course Presentation

    Minimizza tutto Espandi tutto

    Teachers

    • Pr. Andrea Bondavalli, DiMaI E-mail: bondavalli@unifi.it
    • Dr. Mohamad Gharib, DiMaI E-mail: mohamad.gharib@unifi.it
    • Dr. Andrea Ceccarelli, DiMaI E-mail: andrea.ceccarelli@unifi.it

    CFU: 9

    Objectives

    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.

    Contents

    Part 1. Foundamentals on architecting distributed and real-time cyber physical systems

     - Introduction and fundamentals of Cyber-Physical Systems

     - Interfaces and stigmergy

     - Emergence

     - Distributed systems: 

          - System models

          - Agreement: algorithms and protocols 

          - Blockchains

     - Real-time systems

       -  Real-time aspects

        - Time, clocks and resilient time keeping

        - Scheduling in real-time systems

        - R&SAClock


    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

     - Lab presentation

     - Requirements analysis and definition: Kilobots platooning 

     - Python tutorial

     - Blockly4SoS

     - Modeling of platooning with Blockly4SoS 

     - Kilombo (Kilobots simulator)

     - Kilobots tutorial

     - Kilobots porting

    -----------------------------------------------------------------------------

    Exams

    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.


    Teaching material

    Text Book

    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)

    Additional material:

    1. 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.
    2. Siewiorek, D.P, Swarz R."Reliable Computer Systems: Design and Evaluation", 3rd edition, A. K. Petres, Ltd., 1998
    3. Hermann Kopetz: Real-Time Systems: Design Principles for Distributed Embedded Applications, second edition, Springer, 2011
    4. Paulo Verissimo, Luis Rodrigues: Distributed Systems for System Architects, Springer, 2001.
    5. Andrew S. Tanenbaum, Maarten van Steen: Distributed Systems: Principles And Paradigms, Pearson Prentice Hall, 2006.


    Additionally 

    Slides will be added during the course development.

  • Architecting distributed and real-time cyber physical systems

    - Introduction and fundamentals of Cyber-Physical Systems

    - Interface and stigmergy

    - Emergence


    Transparency shown during lectures

  • Distributed coordination

    - Distributed systems


    Transparency shown during lectures

  • Blockchain and consensus

    Lecture on Blockchain  and the ways in which consensus is achieved


  • Real-time systems

     - Real-time systems

         -  real-time aspects

         - time, clocks and resilient time keeping

         - scheduling in real-time systems

         - R&SAClock

    Transparency shown during lectures

  • Design frameworks and modeling cyber-physical systems

    - Model-Driven Engineering (MDE) principles. 

    - Conceptual Modeling principles.

    - Requirements Engineering principles.

    - Designing systems using model-driven design environments.

    - SysML and UML overview.

    - Domain-Specific Modeling Language (DSML)

    - Object Constraint Language (OCL)

    - From Conceptual to SysML modeling.

    - SoS profile’s integration within Blockly.

    - Application of MDE principles to a realistic example of CPS.

  • Lab on cyber-physical systems

    - Lab presentation

    - Requirements analysis and definition: Kilobots platooning 

    - Python tutorial

    - Blockly4SoS

    - Modeling of platooning with Blockly4SoS 

    - Kilombo (Kilobots simulator)

    - Kilobots tutorial

    - Kilobots porting