Formal Modeling and Verification of Cyber-Physical Systems 1st Inter
This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This co
- PDF / 6,176,304 Bytes
- 324 Pages / 476.221 x 680.315 pts Page_size
- 49 Downloads / 216 Views
Rolf Drechsler • Ulrich Kühne (Eds.)
Formal Modeling and Verification of Cyber-Physical Systems 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
Editors Rolf Drechsler University of Bremen / DFKI Bremen, Germany
Ulrich Kühne University of Bremen Bremen, Germany
ISBN 978-3-658-09993-0 ISBN 978-3-658-09994-7 (eBook) DOI 10.1007/978-3-658-09994-7 Library of Congress Control Number: 2015940758 Springer Vieweg © Springer Fachmedien Wiesbaden 2015 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, speci¿cally the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on micro¿lms or in any other physical way, and transmission or information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed. The use of general descriptive names, registered names, trademarks, service marks, etc. in this publication does not imply, even in the absence of a speci¿c statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. The publisher, the authors and the editors are safe to assume that the advice and information in this book are believed to be true and accurate at the date of publication. Neither the publisher nor the authors or the editors give a warranty, express or implied, with respect to the material contained herein or for any errors or omissions that may have been made. Printed on acid-free paper Springer Vieweg is a brand of Springer Fachmedien Wiesbaden Springer Fachmedien Wiesbaden is part of Springer Science+Business Media (www.springer.com)
Preface
Today, embedded systems are ubiquitous in our everyday life, in cell phones and washing machines, but also in cars and even medical equipment. With this escape from their former habitat within desktop computers, these systems are increasingly interacting with their environment: Sensors measure physical phenomena such as temperature, acceleration, or magnetic fields, while actors manipulate the outside world, like in robots or electronically controlled combustion engines. The combination of an electronic system with a physical process is called a cyber-physical system (CPS). With this paradigm, many new challenges need to be faced during modeling, design, implementation, verification, and test. For the design of hardware and software of CPS, new approaches need to be developed, taking into account non-functional requirements like energy efficiency and reliability even in harsh environments. Real-time aspects often play an important role. Furthermore, if a system is interacting with its physical environment, it becomes difficult to prove the functional correctness of the system. The combination of discrete and continuous behavior and the treatment of noisy sensor data are challenging problems. Considering all the above aspects, CPS is an i
Data Loading...
