LEADER 06128nam 22008775 450 001 9910299240303321 005 20200706094134.0 010 $a3-658-09994-1 024 7 $a10.1007/978-3-658-09994-7 035 $a(CKB)3710000000422113 035 $a(EBL)2094878 035 $a(SSID)ssj0001524899 035 $a(PQKBManifestationID)11859572 035 $a(PQKBTitleCode)TC0001524899 035 $a(PQKBWorkID)11484853 035 $a(PQKB)10109572 035 $a(DE-He213)978-3-658-09994-7 035 $a(MiAaPQ)EBC2094878 035 $a(PPN)186396317 035 $a(EXLCZ)993710000000422113 100 $a20150605d2015 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aFormal Modeling and Verification of Cyber-Physical Systems$b[electronic resource] $e1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 /$fedited by Rolf Drechsler, Ulrich Kühne 205 $a1st ed. 2015. 210 1$aWiesbaden :$cSpringer Fachmedien Wiesbaden :$cImprint: Springer Vieweg,$d2015. 215 $a1 online resource (324 p.) 300 $aDescription based upon print version of record. 311 $a3-658-09993-3 320 $aIncludes bibliographical references at the end of each chapters and index. 327 $aPreface -- Verification of Embedded Real-time Systems -- MARTE/CCSL for Modeling Cyber-Physical Systems -- An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis -- Model Checking and Model-Based Testing in the Railway Domain -- Modeling Unknown Values in Test and Verification -- Specification of Parametric Monitors: Quantified Event Automata versus Rule Systems -- Advances in Design Automation Techniques for Digital-Microfluidic Biochips -- Intuitive Interaction with Robots: Technical Approaches and Challenges -- Physical Safety in Robotics. 330 $aThis 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 directions. This is complemented by short papers submitted by the participating PhD students. The Contents -       Preface -       Verification of Embedded Real-time Systems -       MARTE/CCSL for Modeling Cyber-Physical Systems -       An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis -       Model Checking and Model-Based Testing in the Railway Domain -       Modeling Unknown Values in Test and Verification -       Specification of Parametric Monitors ? Quantified Event Automata versus Rule Systems -       Advances in Design Automation Techniques for Digital-Microfluidic Biochips -       Intuitive Interaction with Robots ? Technical Approaches and Challenges -       Physical Safety in Robotics The Target Groups -       Students and PhD students of computer science -       Scientists and lecturers in computer science The Editors Rolf Drechsler is the head of the Group of Computer Architecture at the University of Bremen, Germany. Since 2011 he is also the director of the Cyber-Physical Systems group at the German Research Center for Artificial Intelligence (DFKI). His research interests include the development and design of data structures and algorithms with a focus on circuit and system design. Ulrich Kühne is working as research associate and scientific coordinator of the Graduate School System Design at the University of Bremen. His research interests are in hardware design and verification of hybrid systems. 606 $aArchitecture, Computer 606 $aComputer hardware 606 $aComputer simulation 606 $aElectronic circuits 606 $aControl engineering 606 $aRobotics 606 $aMechatronics 606 $aAerospace engineering 606 $aAstronautics 606 $aComputer System Implementation$3https://scigraph.springernature.com/ontologies/product-market-codes/I13057 606 $aComputer Hardware$3https://scigraph.springernature.com/ontologies/product-market-codes/I1200X 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aCircuits and Systems$3https://scigraph.springernature.com/ontologies/product-market-codes/T24068 606 $aControl, Robotics, Mechatronics$3https://scigraph.springernature.com/ontologies/product-market-codes/T19000 606 $aAerospace Technology and Astronautics$3https://scigraph.springernature.com/ontologies/product-market-codes/T17050 615 0$aArchitecture, Computer. 615 0$aComputer hardware. 615 0$aComputer simulation. 615 0$aElectronic circuits. 615 0$aControl engineering. 615 0$aRobotics. 615 0$aMechatronics. 615 0$aAerospace engineering. 615 0$aAstronautics. 615 14$aComputer System Implementation. 615 24$aComputer Hardware. 615 24$aSimulation and Modeling. 615 24$aCircuits and Systems. 615 24$aControl, Robotics, Mechatronics. 615 24$aAerospace Technology and Astronautics. 676 $a003.3 676 $a004 676 $a621.3815 676 $a629.1 676 $a629.8 702 $aDrechsler$b Rolf$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aKühne$b Ulrich$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910299240303321 996 $aFormal Modeling and Verification of Cyber-Physical Systems$92516475 997 $aUNINA