Developing critical embedded systems on multicore architectures: the Prelude-SchedMCore toolset
In this paper we present an end-to-end framework for the design and the implementation of
embedded systems on a symmetric multicore. The developer first specifies the system using …
embedded systems on a symmetric multicore. The developer first specifies the system using …
Application-defined scheduling in Ada
MA Rivas, MG Harbour - ACM SIGAda Ada Letters, 2003 - dl.acm.org
This paper is a proposal for an application program interface (API) that would enable Ada
applications to use application-defined scheduling algorithms in a way compatible with the …
applications to use application-defined scheduling algorithms in a way compatible with the …
Application-defined scheduling in Ada
MA Rivas, MG Harbour - ACM SIGAda Ada Letters, 2002 - dl.acm.org
This paper presents an application program interface (API) that enables Ada applications to
use application-defined scheduling algorithms in a way compatible with the scheduling …
use application-defined scheduling algorithms in a way compatible with the scheduling …
A Flexible Multiprocessor Resource Sharing Framework for Ada
S Lin - 2013 - etheses.whiterose.ac.uk
Lock-based resource sharing protocols for single processor systems are well understood
and supported in programming languages such as Ada and the Real-Time Specification for …
and supported in programming languages such as Ada and the Real-Time Specification for …
Integrated Development Framework for Safety-Critical Embedded Systems.
This paper presents an integrated framework for designing and implementing safety-critical
embedded systems. The development begins with the speci cation of the system using the …
embedded systems. The development begins with the speci cation of the system using the …
[引用][C] Implantation de systèmes synchrones temps réel sur des architectures multiprocesseurs
MC Mesonero