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)
Authors: Dan Henriksson, Ola Redell, Jad ElKhoury, Martin Törngren, and KarlErik Årzén: Department of Automatic Control
Lund Institute of Technology
April 2005
(c) Artist Consortium, All Rights Reserved - 2006, 2007, 2008, 2009