This special issue of the ACM Transactions in Embedded Computing Systems aims to provide the basis for integrated undergraduate and graduate curricula covering the essential areas of knowledge for tomorrow’s embedded systems engineers and researchers.
Collected data on available languages, formalism and
tools that have been proposed in the past years for the design and verification
of hybrid systems. Luca P. Carloni (Columbia University), Roberto Passerone (Cadence Berkeley), Alessandro Pinto (Berkeley), and Alberto L. Sangiovanni-Vincentelli (Parades/Berkeley)