[en] Future systems based on post-CMOS technologies will be wildly heterogeneous, with properties largely unknown today.
This paper presents our design of a new hardware/software stack to address the challenge of preparing software development for such systems. It combines well-understood technologies from different areas, e.g., network-on-chips, capability operating systems, flexible programming models and model checking. We describe our approach and provide details on key technologies.
Centre de recherche :
Center for Advancing Electronics Dresden (cfaed) — Technische Universit ¨ at Dresden, Germany; SnT-CritiX — University of Luxembourg; KRDB Research Centre — Free University of Bozen-Bolzano
Disciplines :
Sciences informatiques
Auteur, co-auteur :
VOLP, Marcus ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
