Description |
1 online resource (289 pages) |
Series |
Lecture Notes in Computer Science ; 11971 |
|
LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI |
|
Lecture notes in computer science ; 11971.
|
|
LNCS sublibrary. SL 3, Information systems and applications, incl. Internet/Web, and HCI.
|
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 |
Summary |
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 |
Notes |
2 Hazard Analysis and Risk Assessment (HARA) in the ISO 26262 Standard |
|
Includes author index |
Bibliography |
Includes bibliographical references and author index |
Notes |
Print version record |
Subject |
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
|
Genre/Form |
proceedings (reports)
|
|
Conference papers and proceedings
|
|
Conference papers and proceedings.
|
|
Actes de congrès.
|
Form |
Electronic book
|
Author |
Chamberlain, Roger.
|
|
Grimheden, Martin Edin
|
|
Taha, Walid, 1972-
|
|
Workshop on Embedded and Cyber-Physical Systems Education (15th : 2019 : New York, N.Y.), jointly held conference.
|
ISBN |
9783030411312 |
|
3030411311 |
|