Nesredin Mahmud

Abstract—Automotive systems are developed using multileveled
architectural abstractions in an attempt to manage the
increasing complexity and criticality of automotive functions.
Consequently, well-structured and unambiguously specified requirements
are needed on all levels of abstraction, in order to
enable early detection of possible design errors. However, automotive
industry often relies on requirements specified in ambiguous
natural language, sometimes in large and incomprehensible documents.
Semi-formal requirements specification approaches (e.g.,
requirement boilerplates, pattern-based specifications, etc.) aim to
reduce requirements ambiguity, without altering their readability
and expressiveness. Nevertheless, such approaches do not offer
support for specifying requirements in terms of multi-leveled
architectural concepts, nor they provide means for early-stage
rigorous analysis of the specified requirements.

Abstract—In this paper we present an implementation and
demonstration of the Multi-Resource Server (MRS) which enables
predictable execution of real-time applications on multi-core
platforms. The MRS provides temporal isolation both between
tasks running on the same core, as well as, between tasks running
on different cores. The latter could, without MRS, interfere with
each other due to contention on a shared memory bus.
We demonstrate that MRS can be used to ”encapsulate” legacy
systems and to give them enough resources to fulfill their purpose.
In our case study a legacy media-player is integrated with several
resource-hungry tasks running at a different core. We show that
without MRS the media-player starts to drop frames due to
the interference from other tasks; while introduction of MRS
alleviates this problem. Another part of our demonstration shows
how traditional periodic real-time tasks can be kept schedulable
even when tasks with high memory-demand are added to the
system.