Tesi etd-11192019-110708 |
Thesis type
Tesi di laurea magistrale
Author
DEGIOVANNI, ALESSANDRO NICOLO'
URN
etd-11192019-110708
Title
Predictable inter-domain communication in a real-time hypervisor: design, implementation, and application
Struttura
INGEGNERIA DELL'INFORMAZIONE
Corso di studi
EMBEDDED COMPUTING SYSTEMS
Supervisors
relatore Prof. Buttazzo, Giorgio C.
relatore Dott. Biondi, Alessandro
relatore Ing. Cicero, Giorgiomaria
relatore Dott. Biondi, Alessandro
relatore Ing. Cicero, Giorgiomaria
Parole chiave
- hypervisor
- virtualization
- safety
- inter-domain communication
- real-time
- ARM
- predictability
Data inizio appello
09/12/2019;
Consultabilità
Secretata d'ufficio
Riassunto analitico
System virtualization is gaining great interest in the cyber-physical embedded domain because it provides temporal isolation between different systems running on the same physical platform, while allowing them to exchanging data at the hypervisor level. In safety-critical systems with real-time requirements, specific inter-domain communication mechanisms need to be designed to provide predictable, secure, and safety features.
This thesis presents the design and implementation of a static, predictable, safe, and secure communication mechanism suitable for safety-critical cyber-physical systems. The communication mechanism has been designed as an extension of CLARE-Hypervisor, a new hypervisor fully designed and developed at the ReTiS Lab of the Scuola Superiore Sant’Anna to support real-time cyber physical systems on heterogeneous architectures. The implementation has been deployed and evaluated on a Xilinx Zynq UltraScale+ ZCU102 platform.
Finally, an application has been developed to demonstrate the developed mechanism. The application consists of a cyber-physical system in which an inverted pendulm is controlled, while the system state is visualized through a graphical user interface, also allowing the user to change the plant parameters. The control part is handled by the Erika3 real-time kernel running on a virtual machine, while the user interface is handled by the Linux operating system, running on a different virtual machine.
This thesis presents the design and implementation of a static, predictable, safe, and secure communication mechanism suitable for safety-critical cyber-physical systems. The communication mechanism has been designed as an extension of CLARE-Hypervisor, a new hypervisor fully designed and developed at the ReTiS Lab of the Scuola Superiore Sant’Anna to support real-time cyber physical systems on heterogeneous architectures. The implementation has been deployed and evaluated on a Xilinx Zynq UltraScale+ ZCU102 platform.
Finally, an application has been developed to demonstrate the developed mechanism. The application consists of a cyber-physical system in which an inverted pendulm is controlled, while the system state is visualized through a graphical user interface, also allowing the user to change the plant parameters. The control part is handled by the Erika3 real-time kernel running on a virtual machine, while the user interface is handled by the Linux operating system, running on a different virtual machine.
File
Nome file | Dimensione |
---|---|
There are some hidden files because of the review of the procedures of theses' publication. |