Cyber physical systems : design, modeling, and evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised selected papers /: design, modeling, and evaluation : 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised selected papers. (2017)

• Record Type: Book
• Other Titles: CyPhy 2016
• Further Information: Note: Christian Berger, Mohammad Reza Mousavi, Rafael Wisniewski (eds.).
• Editors: (Professor of Software Engineering), Berger, Christian; Mousavi, Mohammad Reza, 1978-; Wisniewski, Rafael
• Other Names: CyPhy (Workshop), 6th
• 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
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2017
• Extent: 1 online resource (xi, 127 pages), illustrations
• Subjects: 629.8; Computer science; Cooperating objects (Computer systems) -- Congresses; Automatic control -- Congresses; Sensor networks -- Congresses; Computer systems -- Verification -- Congresses; Cybernetics -- Congresses; Automatic control; Computer systems -- Verification; Cooperating objects (Computer systems); Cybernetics; Sensor networks; Computer Science; Information Systems Applications (incl. Internet); Computer Communication Networks; Software Engineering; Logics and Meanings of Programs; Algorithm Analysis and Problem Complexity; Artificial Intelligence (incl. Robotics); Computers -- Hardware -- Network Hardware; Computers -- Software Development & Engineering -- General; Computers -- Programming -- General; Computers -- Programming -- Algorithms; Computers -- Intelligence (AI) & Semantics; Network hardware; Software Engineering; Computer programming / software development; Algorithms & data structures; Artificial intelligence; Computer Communication Networks; Software engineering; Logic design; Computer software; Artificial intelligence; Computers -- Information Technology; Information retrieval; Electronic books; Conference papers and proceedings; Electronic books
• Languages: English
• ISBNs: 9783319517384; 3319517384
• Related ISBNs: 9783319517377; 3319517376
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed January 23, 2017).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.