[Lecture Notes in Computer Science] Cyber Physical Systems. Model-Based Design Volume 11971 (9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers) ||

This book constitutes the proceedings of the 9th International Workshop on Model-Based Design of Cyber Physical Systems, CyPhy 2019 and 15th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2019, held in conjunction with ESWeek 2019, in New York City, NY, USA, in October 2019. The 13 full papers presented together in this volume were carefully reviewed and selected from 24 submissions. The conference presents a wide range of domains including models and design; simulation and tools; formal methods; embedded and cyber-physical systems education. Preface Organization Contents Models and Design A Modular SystemC RTOS Model for Uncertainty Analysis 1 Introduction 2 Related Works 3 Real Time Operating System Model Architecture 3.1 Scheduler Model 3.2 Kernel Model 3.3 Functional and Timing Task Model 3.4 ARINC 653 Model Interface 4 Uncertainty Analysis 4.1 Forward Uncertainty Quantification 4.2 Statistical Model Checking 5 ARINC 653 Application Model: Data Acquisition System 5.1 Application Stochastic Task Model 6 Results 6.1 Forward Uncertainty Propagation 6.2 Statistical Model Checking 7 Conclusions and Future Work References Multicore Models of Communication for Cyber-Physical Systems 1 Introduction 2 The Software View 2.1 Communicating Sequential Processes 2.2 Multithreading 2.3 Actors and Message Passing 3 Communication Hardware 3.1 Shared Main Memory 3.2 Network-on-Chip 3.3 Shared Scratchpad Memory 3.4 Scratchpad Memory with Ownership 3.5 Distributed Shared On-Chip Memory 3.6 Direct Links and Memory Between Cores 3.7 One-Way Shared Memory 3.8 Additional Hardware Support for Message Passing 4 Evaluation 4.1 Experimental Setup 4.2 Benchmark 4.3 Measured Throughput 4.4 Resource Consumption 4.5 Discussion 5 Conclusion References Towards Creating a Deployable Grasp Type Probability Estimator for a Prosthetic Hand 1 Introduction 2 Prosthetic Hand 3 Selecting Efficient Transfer Architectures 4 Transfer Learning 4.1 Dataset 4.2 Details on Transferring and Network Topology 4.3 Training Setup 4.4 Evaluation Metric 5 Results 6 Conclusion References Reactors: A Deterministic Model for Composable Reactive Systems 1 Introduction 1.1 The Case for Determinism 1.2 Outline 2 Reactors 2.1 Runtime API 2.2 Example: Drive-by-Wire System 3 Formalization 3.1 Notions of Time 3.2 Reactors 3.3 Reactions 3.4 Mutations 3.5 Event Generation 3.6 Dependencies 3.7 Initialization and Termination 3.8 Execution 4 Distributed Execution of Reactors 5 Related Work 6 Conclusions A Summary of the Reactor model References Simulation and Tools Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems 1 Introduction 2 System with Integral Constraint over the State 3 Interval Analysis and Guaranteed Numerical Integration 3.1 Interval Analysis 3.2 Validated Numerical Integration Methods 4 Dynamical Systems with Integral Constraints 4.1 Extended System 4.2 Bounds over w 4.3 Integral Constraint Propagation 5 Examples 5.1 Tank System 5.2 Delayed System with Integral Quadratic Constraint 5.3 Discussion 6 Conclusion References Advanced Hazard Analysis and Risk Assessment in the ISO 26262 Functional Safety Standard Using Rigorous Simulation 1 Introduction 2 Hazard Analysis and Risk Assessment (HARA) in the ISO 26262 Standard 3 An Intersection Collision Avoidance (ICA) Scenario 3.1 Critical Warning Distance and Critical Breaking Distance 3.2 Time-to-Collision (TTC) 4 Vehicle and Collision Models 4.1 Definition of Vehicle Dynamics (Pre-Collision) 4.2 Calculating Time-to-Collision 4.3 The ICA System 5 Simulation Results and Discussion 5.1 Computing the Severity Class Using Simulation 5.2 Remarks About Our Developing the Model Using Acumen 6 Related Work 7 Conclusions and Future Work References Practical Multicore Extension of Functionally and Temporally Correct Real-Time Simulation for Automotive Systems 1 Introduction 2 Related Works 3 Overview of Single Core Simulation 4 Empirical Analysis for Deriving a Practical Approach for Multicore Simulator 5 Proposed Heuristic for Task Partitioning 5.1 Finding the Expected Earliest Start Time at the Simulator 5.2 Finding the Expected Latest Finish Time at the Simulator 5.3 Weighting the [EESTij, ELFTij] Intervals 5.4 Task Partitioning Heuristic Using Pairwise Blocking 6 Evaluation 7 Conclusion References Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI 1 Introduction 1.1 HydLa by Example 1.2 HyLaGI and WebHydLa 1.3 Purpose and Outline of the Paper 2 The Constraint-Based Language HydLa 2.1 Syntax 2.2 Semantics: Overview 3 HyLaGI: A Symbolic Implementation of HydLa 3.1 Assertion 3.2 Epsilon Mode 3.3 Hybrid Automaton Mode 4 Experiences with Constraint-Based Modeling 4.1 Discrete Asks and Continuous Asks 4.2 Common Mistakes in Modeling 5 Solving Inverse Problems 5.1 A Simple Example 5.2 Examples with Persistent Consequents 6 Conclusion A Appendix References Formal Methods Guaranteed Optimal Reachability Control of Reaction-Diffusion Equations Using One-Sided Lipschitz Constants and Model Reduction 1 Introduction 1.1 Guaranteed Reachability Analysis 1.2 Guaranteed Optimal Control 1.3 Reaction-Diffusion Equations 1.4 Model Reduction 2 Optimal Reachability Control of Reaction-Diffusion Equations 2.1 Domain Discretization 2.2 Explicit Euler Time Integration 2.3 Finite Horizon Control Problems 2.4 Error Upper Bound 2.5 Model Reduction 3 Final Remarks References Towards Formal Co-validation of Hardware and Software Timing Models of CPSs 1 Introduction 2 Preliminaries 3 Co-validation of Timing Models: General Approach 3.1 Motivations: Consistency of Timings 3.2 Building Timing Models 3.3 Verifying Timing Invariants 4 Case Study: Lipsi Processor 4.1 Overview 4.2 Formal SW Model 4.3 Formal HW Model 5 Evaluation Results 6 Related Work 7 Conclusion and Future Work References Workshop on Embedded and Cyber-Physical Systems Education A Remote Test Environment for a Large-Scale Microcontroller Laboratory Course 1 Introduction 2 Remote Access 2.1 User Scheduling 2.2 Remote Control 3 Embedded Hardware 3.1 DAV6 Board 3.2 Button Board 3.3 JTAG and Supply Board 4 Interface 4.1 Touchscreen Experiment 4.2 ATmegaRemote 4.3 IOModule 4.4 Remote Board Software 5 Evaluation 6 Conclusion References An Embedded Graduate Lab Course with Spirit 1 Motivation 2 Automated Control of Distilling Spirit 2.1 Structure of the Lab Course 2.2 Offered Hardware 2.3 Regulatory Affairs 3 Blended Learning Aspects 4 Control Engineering Aspects 5 Evaluation 5.1 Survey 6 Conclusion References Competence Networks in the Era of CPS – Lessons Learnt in the ICES Cross-Disciplinary and Multi-domain Center Abstract 1 Introduction and Motivation 2 State of the Art and Other Networks 2.1 Competence Networks: State of the Art 2.2 Other Related Initiatives/Networks 3 The ICES Competence Network 4 Lessons Learnt 5 Challenges 6 Discussion 6.1 Relating ICES to the Discourse on Learning Networks 6.2 Generality of Findings 7 Conclusions and Ways Forward Acknowledgments References Author Index