Model-Implementation Fidelity in Cyber Physical System Design
This book puts in focus various techniques for checking modeling fidelity of Cyber Physical Systems (CPS), with respect to the physical world they represent. The authors' present modeling and analysis techniques representing different communities, from ve
- PDF / 9,426,003 Bytes
- 244 Pages / 439.43 x 683.15 pts Page_size
- 5 Downloads / 178 Views
del-Implementation Fidelity in Cyber Physical System Design
Model-Implementation Fidelity in Cyber Physical System Design
Anca Molnos • Christian Fabre Editors
Model-Implementation Fidelity in Cyber Physical System Design
123
Editors Anca Molnos Campus MINATEC CEA, Grenoble, France
Christian Fabre Campus MINATEC CEA, Grenoble, France
ISBN 978-3-319-47306-2 ISBN 978-3-319-47307-9 (eBook) DOI 10.1007/978-3-319-47307-9 Library of Congress Control Number: 2016958303 © Springer International Publishing AG 2017 This work is subject to copyright. All rights are reserved by the Publisher, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilms 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 specific 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 This Springer imprint is published by Springer Nature The registered company is Springer International Publishing AG The registered company address is: Gewerbestrasse 11, 6330 Cham, Switzerland
Preface
The trend towards large-scale deployments of cyber-physical systems (CPSs) makes analysis of computing and physical world interactions of paramount importance. During the development of the software, designers model the physical world that the future CPS will interact with. Some of these models represent the external physical world that the CPS will monitor and control, and others represent a physical part of the CPS itself: its computing platform, sensors and actuators. Models are built with various techniques and granularity. Several of these models are used at various stages of the CPS lifecycle, from the early stages of specification to development and all the way to production time when a CPS is actually deployed. Furthermore, they are involved not only in the development of the software but also in the assessment of functional and non-functional properties of the full CPS. As a consequence, CPS software development raises several questions on the fidelity of models: • What is the fidelity of a model with regard to the part of the physical world it represents? • To what extent is a model’s fidelity adequate, i.e. accurate enough but not too complex or costly, with regard to the way the
Data Loading...
