Book Details

From Specification to Embedded Systems Application

Publication year: 2005

ISBN: 978-0-387-27559-8

Internet Resource: Please Login to download book


Application documents recent approaches and results presented at the International Embedded Systems Symposium (IESS 2005), which was held in August 2005 in Manaus (Brazil) and sponsored by International Federation for Information Processing (IFIP). The topics which have been chosen for this working conference are very timely: design methodology, modeling, specification, software synthesis, power management, formal verification, testing, network, communication systems, distributed control systems, resource management and special aspects in system design.


Subject: Computer Science, EDAC code, KAP_D009, KAP_D024, distributed signal processing, embedded systems, exploration heuristics, fault tolerance, formal specification, mechatronic design, mobile robot, multiprocessor architecture, networks-on-chip, pattern based analysis, real-ti