Title 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 / Rolf Drechsler, Ulrich Kühne (eds.)

Published Wiesbaden : Springer Vieweg, 2015

Click on the following:
Springer Computer Science eBooks
Springer eBooks

Copies

Description 1 online resource (x, 313 pages) : illustrations (some color) Contents Preface; Organization; Table of Contents; Verification of Embedded Real-time Systems; 1 Introduction; 2 Related Work; 2.1 Formal Verification of SystemC Designs; 2.2 Conformance Testing for Real-time Systems; 2.3 Automatic Test Generation for SystemC; 3 Preliminaries; 3.1 SystemC; 3.2 Uppaal Timed Automata; 4 VeriSTA; 5 Formal Semantics for SystemC; 6 Model Checking and Conformance Testing; 7 Evolutionary Generation of Timed Test Traces; 8 Experimental Results; 8.1 Results from the AMBA advanced high-performance bus; 8.2 Results from the ASR/ABS system; 9 Conclusion; Acknowledgements 2.2 Definition and Semantics3 Numerical Simulation; 3.1 Solving ODEs; 3.2 Computing Trajectories and Jumps; 3.3 Accounting for Nondeterminism; 3.4 Verification by simulation; 4 Reachability Analysis; 4.1 Reachability Algorithm; 4.2 Piecewise Constant Dynamics; 4.3 Piecewise Affine Dynamics; 4.4 Nonlinear Dynamics; 5 Conclusions; References; Model Checking and Model-based Testing in the Railway Domain; 1 Introduction; 2 Formal Verification; 2.1 Verification by Bounded Model Checking and k-Induction; 2.2 Formal Modelling; 2.3 Method Summary; 3 Interlocking System Verification -- a Case Study 3.1 The Novel Danish Interlocking Systems3.2 The Domain-specific Language for Interlocking Systems; 3.3 Framework Implementation; 3.4 Generated Models; 3.5 Generated Safety Conditions; 3.6 Invariant Strengthening; 3.7 Verification Experiments; 4 Model-based Testing; 4.1 Model-based Testing Terminology; 4.2 Overall Test Objectives for the Railway Application; 4.3 Semantic Domain: I/O State Transition Systems; 4.4 Complete Testing Strategies; 4.5 Test Requirements Enforced by Standards; 4.6 Generic Domain-specific Test Strategy; 4.7 Functional Decomposition and Equivalence Classes 4.8 Further Test Reduction Heuristics5 Conclusion; Acknowledgments; References; Modeling Unknown Values in Test and Verification; 1 Introduction; 1.1 Unknown Values in Circuit Test; 1.2 Unknown Values in Verification; 1.3 Minimization/Maximization in Test and Verification; 2 Basics; 2.1 Boolean Satisfiability and Extensions; 2.2 Quantified Boolean Formulas; 2.3 Dependency Quantified Boolean Formulas; 2.4 From Circuits to Formulas; 3 Unknown Values in Circuit Test; 3.1 Standard X-Logic Simulation; 3.2 Accurate Logic Simulation; 3.3 Accurate Fault Simulation Summary 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 covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research Analysis computerwetenschappen computer sciences circuits ruimtevlucht space flight robots mechatronica mechatronics simulatiemodellen simulation models computer hardware Information and Communication Technology (General) Informatie- en communicatietechnologie (algemeen) Bibliography Includes bibliographical references and author index Notes Online resource; title from PDF title page (SpringerLink, viewed June 10, 2015) Subject Formal methods (Computer science) -- Congresses Embedded computer systems -- Congresses Ubiquitous computing -- Congresses COMPUTERS -- Computer Literacy. COMPUTERS -- Computer Science. COMPUTERS -- Data Processing. COMPUTERS -- Hardware -- General. COMPUTERS -- Information Technology. COMPUTERS -- Machine Theory. COMPUTERS -- Reference. Embedded computer systems Formal methods (Computer science) Ubiquitous computing Genre/Form proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Form Electronic book Author Drechsler, Rolf, editor. Kühne, Ulrich, editor ISBN 9783658099947 3658099941 3658099933 9783658099930

  Permalink