Modeling of Embedded Software Multitasking in SystemC/OSSS

2011 Electronic System Level Synthesis Conference (ESLsyn)

Ittershagen

et al. 2011

Self Cite

Implementation of communication between different tasks of a concurrent embedded system is a challenging problem. The aim of our work is to support the refinement and relocation of tasks onto different execution units, such as processors running different operating system or even dedicated hardware. For this purpose communication should be transparent and as independent as possible from the underlying middleware or embedded operating system. Moreover, communication should also be transparent accros the HW/SW boundary.In this work we present a generic framework for seamless communication of (software) tasks with shared resources, called Shared Objects. Communication is implemented using a method-based interface realizing a Remote Method Invocation (RMI) protocol. Our shared communication resources can either be implemented as dedicated hardware, as shared memory or local tasks. The presented framework is a first step towards the unification of shared resource access based on embedded Linux. The effectiveness of our approach is be evaluated with different task mappings and shared resource access implementation styles.

Section: Resultsmentioning

confidence: 99%

Section: Previous Work -Osssmentioning

confidence: 99%

A framework for generic HW/SW communication using remote method invocation

Hartmann

2011 Electronic System Level Synthesis Conference (ESLsyn)

Ittershagen

et al. 2011

Self Cite

“…This paper extends our host-based multitasking RTOS model based on SystemC [12,13] by adding the capability of a global criticality state and the support of dynamic execution modes. Compared to other mixed-criticality aware RTOS frameworks, such as MC 2 [14,17], our RTOS model does not require an implementation on a specific target platform.…”

Section: Related Workmentioning

confidence: 99%

Mixed-criticality system modelling with dynamic execution mode switching

Ittershagen

2015 Forum on Specification and Design Languages (FDL)

Nebel

2015

Self Cite

In this paper, an executable system model for performing a functional simulation while observing the dynamic effects of mixed-criticality requirements regarding applications with different levels of assurance is proposed. The model provides the expression of dynamic execution modes and execution time estimates on each criticality level of the system. In a refinement step, it is possible to observe the effects of scheduling policies, dynamic criticality-, and execution mode switches on the functional behaviour of the system in a trace-based, simulative manner. An early evaluation of a quadrocopter platform consisting of a safetycritical flight control application and a video-based, performancecritical object detection is used to demonstrate the applicability of the design flow. Simulation results indicate that by defining multiple execution modes of the object detection algorithm, the run-time utilisation feedback allows the algorithm to run in a high-quality mode for more than 50% of the time, thereby increasing the overall system utilisation by two thirds compared to a static resource utilisation analysis.

“…In this work, we propose an extension of [7], which includes some properties of the above mentioned approaches, especially concerning a simple runtime and RTOS model. Furthermore, our model allows a separation of application, architecture and mapping.…”

Section: Related Workmentioning

confidence: 99%

Distributed Resource-Aware Scheduling for Multi-core Architectures with SystemC

Hartmann

Distributed, Parallel and Biologically Inspired Systems

Rettberg

et al. 2010

Self Cite

Abstract. With the rise of multi-core platforms even more complex software systems can be implemented. Designers are facing various new challenges during the development of efficient, predictable, and correct applications for such platforms. To efficiently map software applications to these architectures, the impact of platform decisions with respect to the hardware and the software infrastructure (OS, scheduling policies, priorities, mapping) has to be explored in early design phases.Especially shared resource accesses are critical in that regard. The efficient mapping of tasks to processor cores and their local scheduling are increasingly difficult on multi-core architectures. In this work we present an integration of shared resources into a SystemC-based simulation framework, which enables early functional simulation and provides a refinement flow towards an implementation, covering an increasing level of platform details. We propose shared resource extensions towards multicore platform models and discuss which aspects of the system behaviour can be captured.