Cyber Physical Systems. Design, Modeling, and Evaluation

Name: Cyber Physical Systems. Design, Modeling, and Evaluation | 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers
Brand: Springer
Price: 53.49 EUR
Availability: OnlineOnly

6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers

Christian Berger Mohammad Reza Mousavi Rafael Wisniewski(Herausgeber*in)

Springer (Verlag)

Erschienen am 11. Januar 2017

XI, 127 Seiten

E-Book

PDF mit Wasserzeichen-DRM

Systemvoraussetzungen

978-3-319-51738-4 (ISBN)

53,49 €inkl. 7% MwSt.

Systemvoraussetzungen

für PDF mit Wasserzeichen-DRM

E-Book Einzellizenz

Als Download verfügbar

Beschreibung

Weitere Details

Weitere Ausgaben

Inhalt

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

Systemvoraussetzungen

Als PDF speichern Als Link merken