Cyber Physical Systems : model-based design : 9th International Workshop, Cyphy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers /: model-based design : 9th International Workshop, Cyphy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers. (2020)

• Record Type: Book
• Further Information: Note: Roger Chamberlain, Martin Edin Grimheden, Walid Taha (eds.).
• Other Names: Chamberlain, Roger; Grimheden, Martin Edin; Taha, Walid, 1972-; CyPhy (Workshop), 9th; Workshop on Embedded and Cyber-Physical Systems Education, 15th
• Contents: Intro -- 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
• Publisher Details: Cham : Springer
• Publication Date: 2020
• Extent: 1 online resource (289 pages)
• Subjects: 004.6; Cooperating objects (Computer systems) -- Congresses; Automatic control -- Computer programs -- Congresses; Cybernetics -- Congresses; Systems software -- Congresses; Computer systems -- Verification -- Congresses; Automatic control -- Computer programs; Computer systems -- Verification; Cooperating objects (Computer systems); Cybernetics; Systems software; Electronic books; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783030411312; 3030411311; 3030411303; 9783030411305; 9783030411329
• Related ISBNs: 9783030411305; 303041132X
• Notes: Note: Print version record.
• 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.