Proving MCAPI executions are correct using SMT

Y Huang, E Mercer, J McCarthy - 2013 28th IEEE/ACM …, 2013 - ieeexplore.ieee.org
Asynchronous message passing is an important paradigm in writing applications for
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 …

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 …

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 …

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 …

[图书][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 …

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 …

[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 …

ToucHMore toolchain and system software for energy and variability customisation

NC Audsley, I Gray, A Acquaviva… - 2012 IEEE International …, 2012 - ieeexplore.ieee.org
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 …

[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 …