Embedded Systems Design Based on Formal Models of Computation
One of the key problems in modern embedded systems design is the productivity gap. While the performance of computing architectures has been rapidly increasing in the past few decades, design tools have not kept pace. As a result, it is becoming increasin
- PDF / 4,615,770 Bytes
- 192 Pages / 439.37 x 666.142 pts Page_size
- 6 Downloads / 214 Views
Ivan Radojevic • Zoran Salcic
Embedded Systems Design Based on Formal Models of Computation
Ivan Radojevic Defence Technology Agency New Zealand Defence Force Auckland New Zealand [email protected]
Zoran Salcic Computer Systems Engineering University of Auckland Auckland New Zealand [email protected]
ISBN 978-94-007-1593-6 e-ISBN 978-94-007-1594-3 DOI 10.1007/978-94-007-1594-3 Springer Dordrecht Heidelberg London New York Library of Congress Control Number: 2011929884 © Springer Science+Business Media B.V. 2011 No part of this work may be reproduced, stored in a retrieval system, or transmitted in any form or by any means, electronic, mechanical, photocopying, microfilming, recording or otherwise, without written permission from the Publisher, with the exception of any material supplied specifically for the purpose of being entered and executed on a computer system, for exclusive use by the purchaser of the work. Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com)
Preface
One of the key problems in modern embedded systems design is the productivity gap. While the performance of computing architectures has been rapidly increasing in the past few decades, design tools have not kept pace. As a result, it is becoming increasingly difficult for embedded systems designers to handle complex applications. Delays in product delivery and even project cancellations are quite common. An obvious solution is to raise the abstraction level of design tools and at the same time enable automatic synthesis from high level specifications. A complete embedded application needs to be specified in a single system level language rather than using programming languages and hardware description languages to create an early nonoptimal hardware/software partition. From a single system specification written in a formal language, it is possible to automate design space exploration, hardware/ software partitioning, verification and synthesis, which gives an enormous boost to design productivity. However, all these design activities can be automated by design tools only if the system-level specification is constructed according to a formal model of computation, which sets the rules for communication among concurrent processes comprising the system. While several models of computation have been successfully used in certain classes of applications, their applicability in complex embedded system design is quite limited. In particular, there is a lack of suitable models for heterogeneous embedded systems that contain both control-driven and data-driven behaviours. This book offers a new design methodology for design of heterogeneous embedded systems. At the heart of the methodology lies a model of computation called DFCharts. A complete design flow is covered, from a system specification in a formal language to an implementation on a multiprocessor architecture. Throughout the book examples are provided to illustrate main concepts. The reader is not required to have a deep unders
Data Loading...
