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.
ARTIST2 publishes a newsletter to inform the larger embedded systems research and industrial community about important events of interest (workshops, summer schools, high level events, selected publications for a wide audience, etc).
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) Artist2 Consortium, All Rights Reserved - 2006