Formal Methods: Techniques, Applications, Thrust Areas and Future Prospects
Formal methods are one of the oldest techniques of proving correctness of programs. Along with its contemporaries like Boolean Satisfiability and Theorem Proving it is also one of the areas which is still being actively researched. This in itself is a man
- PDF / 4,740,086 Bytes
- 138 Pages / 453.543 x 683.15 pts Page_size
- 25 Downloads / 173 Views
Formal Methods for Safety and Security Case Studies for Aerospace Applications
CSIR-NAL
Formal Methods for Safety and Security
Manju Nanda Yogananda Jeppu •
Editors
Formal Methods for Safety and Security Case Studies for Aerospace Applications
123
Editors Manju Nanda Aerospace Electronics and Systems Division CSIR-National Aerospace Laboratories Bangalore, Karnataka India
Yogananda Jeppu Electronic CoE Honeywell Technology Solutions Bangalore, Karnataka India
ISBN 978-981-10-4120-4 ISBN 978-981-10-4121-1 https://doi.org/10.1007/978-981-10-4121-1
(eBook)
Library of Congress Control Number: 2017934065 © Springer Nature Singapore Pte Ltd. 2018 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 Nature Singapore Pte Ltd. The registered company address is: 152 Beach Road, #21-01/04 Gateway East, Singapore 189721, Singapore
Preface
The first workshop on “Application of Formal Methods for Safety and Security Critical Systems (AFMSS-2016)” was organized by CSIR-National Aerospace Laboratories, Bangalore, India, on May 25–27, 2016. This workshop presented a platform for the discussion and representation of research and developments in the field of formal methods, and its applications for ensuring safety and security of safety-critical systems. A decent number of research papers from prospective authors were submitted for this workshop. The editors have selected 12 papers after the double-blind peer-review process by experienced subject expert reviewers chosen from various industrial and research domains, in India and abroad. The proceeding of AFMSS-2016 is a mix of papers from some latest findings and research and ongoing project activities of the authors. The workshop aimed at bringing together formal methods practitioners, engineers, technologists,
Data Loading...
