Alessandro Mignogna, Orlando Ferrante, Marco Carloni, and Alberto Ferrari
Distributed Embedded Systems, RTOS Model, SystemC
Nowadays the complexity of embedded system is increasing more and more. Typical systems are made of thousands of nodes distributed in the space, interconnected with several busses and characterized by a strong interaction with the environment. This means that they have to satisfy Real-Time constrains and support Real-Time communication. The design and verification of these systems is very complex. Full formal verification is not possible and the Run-Time verification is the only feasible path to follow. In this paper a SystemC based RTOS model is presented. The model is built to capture all the functionalities that every RTOS owns, with the aim of easily reproducing the behavior of any RTOS by accurately setting the available input parameters of the model. The RTOS model can be used for the design space exploration of large scale Real-Time distributed embedded systems. In particular, it is useful to evaluate the impact of different implementation choices (such as scheduling policy, interrupt handling, single core/multi core execution platforms) on the overall system performances. A distributed water tank control system design example is reported to show how the RTOS model can be used and the type of information that it is able to provide.
Important Links:
Go Back
