A FULLY CONFIGURABLE RTOS MODEL FOR LARGE SCALE DISTRIBUTED EMBEDDED SYSTEMS SIMULATIONS BASED ON SYSTEMC

摘要

Nowadays the complexity of embedded system isrnincreasing more and more. Typical systems are made ofrnthousands of nodes distributed in the space,rninterconnected with several busses and characterized by arnstrong interaction with the environment. This means thatrnthey have to satisfy Real-Time constrains and supportrnReal-Time communication. The design and verification ofrnthese systems is very complex. Full formal verification isrnnot possible and the Run-Time verification is the onlyrnfeasible path to follow. In this paper a SystemC basedrnRTOS model is presented. The model is built to capturernall the functionalities that every RTOS owns, with the aimrnof easily reproducing the behavior of any RTOS byrnaccurately setting the available input parameters of thernmodel. The RTOS model can be used for the design spacernexploration of large scale Real-Time distributedrnembedded systems. In particular, it is useful to evaluaternthe impact of different implementation choices (such asrnscheduling policy, interrupt handling, single core/multirncore execution platforms) on the overall systemrnperformances. A distributed water tank control systemrndesign example is reported to show how the RTOS modelrncan be used and the type of information that it is able tornprovide.