Title Cyber physical systems : design, modeling, and evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised selected papers / Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski (eds.)

Published Cham, Switzerland : Springer, 2017

Click on the following:
Springer eBooks

Copies

Description 1 online resource (xi, 127 pages) : illustrations Series Lecture notes in computer science, 0302-9743 ; 10107 LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI Lecture notes in computer science ; 10107. 0302-9743 LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI. Contents Intro; Preface; Organization; Formal Methods for Cyber-Physical Systems in the Automotive Domain (Extended Abstract); Contents; A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications; 1 Introduction; 2 Related Work; 3 The Model-Driven Framework; 3.1 Model-Driven Engineering; 3.2 Overview of Model-Driven Framework; 3.3 Tooling Choices; 4 Details of the Model-Driven Framework; 4.1 SDF Graphs; 4.2 Platform Application Models; 4.3 Allocation Models; 4.4 Common Metamodel; 4.5 Priced Timed-Automata Models; 5 Case Study and Evaluation; 5.1 Case Study; 5.2 Evaluation 5.3 Timing Performance6 Conclusions and Future Work; References; Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection; 1 Introduction; 1.1 Sliding Mode; 2 Proposed Method; 2.1 Loop Detection; 2.2 Establishing Loop Invariant; 2.3 Termination Check; 2.4 Deducing Model Specification; 3 Experiment; 4 Related Work; 5 Conclusion; References; SysML to NuSMV Model Transformation via Object-Orientation; 1 Introduction; 2 Preliminaries; 3 The Intermediate Model; 4 Transformations to NuSMV Input; 5 SysMV-Ja at Work; 5.1 Case Study: A Railway System 5.2 Case Study: An Airbag System6 Conclusions; References; CyFuzz: A Differential Testing Framework for Cyber-Physical Systems Development Environments; 1 Introduction; 2 Background: Model-Based CPS Design and Simulink; 2.1 CPS Model Elements; 2.2 Example CPS Development Environment: Simulink; 3 Study of Existing Bugs: Incorrect Code Generation; 4 Differential Testing of CPS Development Tool Chains; 4.1 Conceptual Random Model Generator; 4.2 Conceptual Comparison Framework; 5 CyFuzz Prototype Implementation for Simulink; 6 Experience with CyFuzz 6.1 Research Questions (RQ), Experimental Setup, and Results6.2 Interesting Comparison Framework Findings; 7 Future Work and Discussion; 8 Related Work; 9 Conclusions; References; Ardán: Using 3D Game Engines in Cyber-Physical Simulations (Tool Paper); 1 Introduction; 2 Ardán; 2.1 Features; 2.2 Design; 3 The Corridor: A Case Study; 3.1 Corridor Setup; 3.2 Lighting Algorithm; 3.3 Testing with ̀̀What if?'' Scenarios; 3.4 Crowd Control; 3.5 Performance; 4 Related Work; 5 Conclusion; References; Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow; 1 Introduction 2 Background2.1 Simulink; 2.2 Proving Transformation Correctness for Discrete and Continuous Simulink Models; 3 Proving Correctness of Refactorings for Hybrid Models with Control Flow; 4 Denotational Abstract Representation of Hybrid Simulink Models with Control Flow; 5 Observing the Inner Behaviour of Regular Hybrid Control Flow Simulink Models; 6 Proof Obligations for Behavioural Equivalence of Regular Hybrid Simulink Models with Control Flow; 7 Related Work; 8 Conclusion and Future Work; References; Automated Verification of Switched Systems Using Hybrid Identification; 1 Introduction Summary This book constitutes the proceedings of the 6th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2016, held in conjunction with ESWeek 2016, in Pittsburgh, PA, USA, in October 2016. The 19 papers presented in this volume were carefully reviewed and selected from 14 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, simulation, and evaluation of cyber-physical systems with a particular focus on techniques and components to enable and support virtual prototyping and testing Bibliography Includes bibliographical references and author index Notes Online resource; title from PDF title page (SpringerLink, viewed January 23, 2017) Subject Cooperating objects (Computer systems) -- Congresses Automatic control -- Congresses Sensor networks -- Congresses Computer systems -- Verification -- Congresses Cybernetics -- Congresses Network hardware. Software Engineering. Computer programming -- software development. Algorithms & data structures. Artificial intelligence. Information retrieval. Computers -- Hardware -- Network Hardware. Computers -- Software Development & Engineering -- General. Computers -- Programming -- General. Computers -- Programming -- Algorithms. Computers -- Intelligence (AI) & Semantics. Computers -- Information Technology. Automatic control Computer systems -- Verification Cooperating objects (Computer systems) Cybernetics Sensor networks Genre/Form Conference papers and proceedings Form Electronic book Author Berger, Christian (Professor of Software Engineering), editor. Mousavi, Mohammad Reza, 1978- editor. Wisniewski, Rafael, editor ISBN 9783319517384 3319517384

Other Titles CyPhy 2016

  Permalink