Checkpointing SystemC-Based Virtual Platforms

Author(s):  
Stefan Kraemer ◽  
Rainer Leupers ◽  
Dietmar Petras ◽  
Thomas Philipp ◽  
Andreas Hoffmann

The ability to restore a virtual platform from a previously saved simulation state can considerably shorten the typical edit-compile-debug cycle for software developers and therefore enhance productivity. For SystemC based virtual platforms (VP), dedicated checkpoint/restore (C/R) solutions are required, taking into account the specific characteristics of such platforms. Apart from restoring the simulation process from a checkpoint image, the proposed checkpoint solution also takes care of re-attaching debuggers and interactive GUIs to the restored virtual platform. The checkpointing is handled automatically for most of the SystemC modules, only the usage of host OS resources requires user provision. A process checkpointing based C/R has been selected in order to minimize the adaption required for existing VPs at the expense of large checkpoint sizes. This drawback is overcome by introducing an online compression to the checkpoint process. A case study based on the SHAPES Virtual Platform is conducted to investigate the applicability of the proposed framework as well as the impact of checkpoint compression in a realistic system environment.

Author(s):  
Stefan Kraemer ◽  
Rainer Leupers ◽  
Dietmar Petras ◽  
Thomas Philipp ◽  
Andreas Hoffmann

The ability to restore a virtual platform from a previously saved simulation state can considerably shorten the typical edit-compile-debug cycle for software developers and therefore enhance productivity. For SystemC based virtual platforms (VP), dedicated checkpoint/restore (C/R) solutions are required, taking into account the specific characteristics of such platforms. Apart from restoring the simulation process from a checkpoint image, the proposed checkpoint solution also takes care of re-attaching debuggers and interactive GUIs to the restored virtual platform. The checkpointing is handled automatically for most of the SystemC modules, only the usage of host OS resources requires user provision. A process checkpointing based C/R has been selected in order to minimize the adaption required for existing VPs at the expense of large checkpoint sizes. This drawback is overcome by introducing an online compression to the checkpoint process. A case study based on the SHAPES Virtual Platform is conducted to investigate the applicability of the proposed framework as well as the impact of checkpoint compression in a realistic system environment.


2021 ◽  
pp. 1326365X2110486
Author(s):  
Marcos Mayo-Cubero

The effective implementation of information and communications technologies (ICTs) in higher education is not guaranteed without serious and rigorous pedagogical reflection. It is essential to maintain an ongoing debate on the effectiveness of the learning process. A debate accelerated by the impact of the COVID-19 crisis and the growing role of virtual and remote learning in universities worldwide. This research aims to overcome the quantitative approach of previous work with qualitative evidence to contribute to the field knowledge. The designed case study is based on a Moodle teaching experience in communication studies at a Spanish university. This innovative methodology is developed within a hybrid teaching ecosystem (blended learning) with the support of a virtual platform (Aula Virtual). The sample analysed is composed of 77 students enrolled in the subject ‘Television Journalism’. The design of an original and novel data collection instrument has supplied various quantitative and qualitative data. The triangulation of four data collection techniques has provided a demographic profile, an activity report, a grading report and a satisfaction report. The findings suggest a high degree of student satisfaction, with the experience and a significant improvement in students’ television writing skills, thanks to the implementation of Moodle.


2018 ◽  
Author(s):  
Ylber Limani ◽  
Edmond Hajrizi ◽  
Rina Sadriu

Sign in / Sign up

Export Citation Format

Share Document