Proving MCAPI executions are correct using SMT
Asynchronous message passing is an important paradigm in writing applications for
embedded heterogeneous multicore systems. The Multicore Association (MCA), an industry …
embedded heterogeneous multicore systems. The Multicore Association (MCA), an industry …
[图书][B] An Analyzer for Message Passing Programs
Y Huang - 2016 - search.proquest.com
Asynchronous message passing systems are fast becoming a common means for
communication between devices. Two problems existing in message passing programs are …
communication between devices. Two problems existing in message passing programs are …
Developing predictable real-time embedded systems using AnvilJ
I Gray, NC Audsley - 2012 IEEE 18th Real Time and …, 2012 - ieeexplore.ieee.org
This paper proposes Anvil J, a novel technology developed to assist the development of
software for predictable, embedded applications. In particular, the work focuses on the …
software for predictable, embedded applications. In particular, the work focuses on the …
Tool-supported model-driven validation process for system architectures
A Pflüger, W Golubski, S Queins - … of the 5th International Workshop on …, 2012 - dl.acm.org
Designing system architecture is still an error-prone process and a great challenge. The
development of complex embedded systems like radar systems is very cost-intensive …
development of complex embedded systems like radar systems is very cost-intensive …
Performance Impact of Lock-Free Algorithms on Multicore Communication APIs
KE Harper, T de Gooijer - arXiv preprint arXiv:1401.6100, 2014 - arxiv.org
Data race conditions in multi-tasking software applications are prevented by serializing
access to shared memory resources, ensuring data consistency and deterministic behavior …
access to shared memory resources, ensuring data consistency and deterministic behavior …
[图书][B] Modellgetriebene Validierung von System-Architekturen gegen architekturrelevante Anforderungen: Ein Ansatz zur Validierung mit Hilfe von Simulationen
A Pflüger - 2014 - books.google.com
Kurzreferat Die Entwicklung von Systemen bestehend aus Hardware und Software ist eine
herausfordernde Aufgabe für den System-Architekten. Zum einen muss er die stetig …
herausfordernde Aufgabe für den System-Architekten. Zum einen muss er die stetig …
Process for the Validation of System Architectures against Requirements
A Pflüger, W Golubski, S Queins - Progressions and Innovations in …, 2013 - igi-global.com
The development of systems consisting of hardware and software is a challenging task for
the system architect. On the one hand, he has to consider an increasing number of system …
the system architect. On the one hand, he has to consider an increasing number of system …
[PDF][PDF] Modellgetriebene Validierung von System-Architekturen gegen architekturrelevante Anforderungen
A Pflüger - fis.uni-bamberg.de
Kurzreferat Die Entwicklung von Systemen bestehend aus Hardware und Software ist eine
herausfordernde Aufgabe für den System-Architekten. Zum einen muss er die stetig …
herausfordernde Aufgabe für den System-Architekten. Zum einen muss er die stetig …
ToucHMore toolchain and system software for energy and variability customisation
Run-time platform variability presents a number of challenges to the system software in
order that a run-time environment is presented to applications that sufficiently masks …
order that a run-time environment is presented to applications that sufficiently masks …
[PDF][PDF] Is Process Scheduling a Dead Subject?
A TRENDS - RTSOPS 2011, 2011 - archives.ecrts.org
The move towards multiprocessor commodity CPUs has led to a resurgence in
multiprocessor scheduling research [1]. The main focus of this research has been the study …
multiprocessor scheduling research [1]. The main focus of this research has been the study …