Ausgabe 3-4/2019
Inhalt (5 Artikel)
Control-schedule co-design for fast stabilization in real time systems facing repeated reconfigurations
Jaishree Mayank, Arijit Mondal, Arnab Sarkar
Memphis: a framework for heterogeneous many-core SoCs generation and validation
Marcelo Ruaro, Luciano L. Caimi, Vinicius Fochi, Fernando G. Moraes
On embedding a hardware description language in Isabelle/HOL
Wilayat Khan, David Sanan, Zhe Hou, Liu Yang
Code generation for distributed embedded systems with VDM-RT
Miran Hasanagić, Tommaso Fabbri, Peter Gorm Larsen, Victor Bandur, Peter Tran-Jørgensen, Julien Ouy
A model-driven framework for design and verification of embedded systems through SystemVerilog
Muhammad Waseem Anwar, Muhammad Rashid, Farooque Azam, Muhammad Kashif, Wasi Haider Butt