Cyber Physical Systems. Design, Modeling, and Evaluation
6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Published on 11. January 2017
XI, 127 pages
978-3-319-51738-4 (ISBN)
Description
This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2016, held in conjunction with ESWeek 2016, in Pittsburgh, PA, USA, inOctober 2016.
The 9 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.
The 9 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.
More details
Series
Edition
1st ed. 2017
Language
English
Place of publication
Cham
Switzerland
Publishing group
Springer International Publishing
Product notice
Reflowable
Illustrations
XI, 127 p. 47 illus.
File size
8,81 MB
ISBN-13
978-3-319-51738-4 (9783319517384)
DOI
10.1007/978-3-319-51738-4
Schweitzer Classification
Other editions
Additional editions
Christian Berger | Mohammad Reza Mousavi | Rafael Wisniewski
Cyber Physical Systems. Design, Modeling, and Evaluation
6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Book
01/2017
Springer
€53.49
Shipment within 10-15 days
Content
- 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 Performance
- 6 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 System
- 6 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 Results
- 6.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 Background
- 2.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
- 2 Formal Specification
- 2.1 Example
- 3 Identification of the SUT
- 4 Comparison of SUT and Specification
- 4.1 Automatic Comparison
- 4.2 Example
- 5 Conclusions and Future Work
- 5.1 Conclusions
- 5.2 Future Work
- References
- Ontological Reasoning as an Enabler of Contract-Based Co-design
- 1 Introduction
- 2 Related Work
- 3 The Power Window as a Running Example
- 4 Overview of the State-of-the-Art Contract Operators
- 5 Applicability of the Current Methodologies on a Co-Design Engineering Problem
- 6 A Contract-Based Co-design Methodology
- 7 Conclusions and Future Work
- References
- CPS Specifier -- A Specification Tool for Safety-Critical Cyber-Physical Systems
- 1 Introduction
- 2 Working Example and CPS Contracts Theory
- 3 CPS Specifier Design and Integration
- 4 Using CPS Specifier
- 5 Conclusion
- References
- Author Index
