Embedded Software Verification and Debugging
This book provides comprehensive coverage of verification and debugging techniques for embedded software, which is frequently used in safety critical applications (e.g., automotive), where failures are unacceptable. Since the verification of complex syste
- PDF / 9,241,056 Bytes
- 220 Pages / 453.543 x 683.15 pts Page_size
- 97 Downloads / 253 Views
Djones Lettnin Markus Winterholer Editors
Embedded Software Verification and Debugging
Embedded Systems Series editors Nikil D. Dutt, Irvine, CA, USA Grant Martin, Santa Clara, CA, USA Peter Marwedel, Dortmund, Germany
This Series addresses current and future challenges pertaining to embedded hardware, software, specifications and techniques. Titles in the Series cover a focused set of embedded topics relating to traditional computing devices as well as high-tech appliances used in newer, personal devices, and related topics. The material will vary by topic but in general most volumes will include fundamental material (when appropriate), methods, designs and techniques.
More information about this series at http://www.springer.com/series/8563
Djones Lettnin Markus Winterholer •
Editors
Embedded Software Verification and Debugging
123
Editors Djones Lettnin Universidade Federal de Santa Catarina Florianópolis Brazil
ISSN 2193-0155 Embedded Systems ISBN 978-1-4614-2265-5 DOI 10.1007/978-1-4614-2266-2
Markus Winterholer Luzern Switzerland
ISSN 2193-0163
(electronic)
ISBN 978-1-4614-2266-2
(eBook)
Library of Congress Control Number: 2017932782 © Springer Science+Business Media, LLC 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. The publisher remains neutral with regard to jurisdictional claims in published maps and institutional affiliations. Printed on acid-free paper This Springer imprint is published by Springer Nature The registered company is Springer Science+Business Media LLC The registered company address is: 233 Spring Street, New York, NY 10013, U.S.A.
Markus Winterholer dedicates to Eva-Maria and David. Djones Lettnin dedicates to Amelie and Fabiana.
Foreword
I am glad to write a foreword for this book. Verification (informally defined as the process of finding bugs before they annoy or kill somebody) is an increasingly important topic. And I am particularly glad to see that the book covers the full width of verification, including debugging, dyna
Data Loading...
