PPT-Compositional Verification of Self-Adaptive Cyber-Physical Systems

Author : beatever | Published Date : 2020-08-03

Aimee Borda Lero amp Trinity College Dublin Liliana Pasquale Lero amp University College Dublin Vasileios Koutavas Lero amp Trinity College Dublin Bashar Nuseibeh

Presentation Embed Code

Download Presentation

Download Presentation The PPT/PDF document "Compositional Verification of Self-Adapt..." is the property of its rightful owner. Permission is granted to download and print the materials on this website for personal, non-commercial use only, and to display it on your personal computer provided you do not modify the materials and that you retain all copyright notices contained in the materials. By downloading content from our website, you accept the terms of this agreement.

Compositional Verification of Self-Adaptive Cyber-Physical Systems: Transcript

Aimee Borda Lero amp Trinity College Dublin Liliana Pasquale Lero amp University College Dublin Vasileios Koutavas Lero amp Trinity College Dublin Bashar Nuseibeh . and Actuator Networks . with Packet . Loss. Ahmed . Alhafdhi. Feng. Xia*, . Xiangjie. Kong, and . Zhenzhen. . Xu. School. of Software, Dalian University of Technology, Dalian 116620, China. Agenda. Componen. t-. Based Information Systems. Jan Martijn van der Werf. Organizations cooperate. Bob. Charley. Alice. “Who-knows-who” not transitive!. Dave. Organizations deliver services. Bob. Charley. Abhilash Thekkilakattil. 1. , . Gordana. Dodig-. Crnkovic. 1,2. 1. Mälardalen University, Sweden. 2. Chalmers . Technical . University, Sweden. 2. University . of Gothenburg. , Sweden. Motivation. Google’s latest self-driving car prototype, 2015. Schedulabiltiy. of Arbitrary-Deadline Sporadic Tasks upon Periodic Resources. Farhana. . Dewan. Nathan Fisher. Wayne State University. RTCSA, August 22. nd. , 2012. . CoPaRTS. Compositional & Parallel Real Time Systems. Brian Connett, LCDR, USN. US NAVAL ACADEMY. Cyber. “A failure by the Department to secure its systems in cyberspace would pose a fundamental . risk . to our ability to accomplish defense missions today and in the future.” . Christine Hasha. Matt Mereness. April 2015. At the end of this presentation you will be able to:. Explain why the electricity industry is under federal regulation for physical and cyber protection. Describe some of the physical and cyber risks to the electric grid. David Garlan . Ivan Ruchkin. Carnegie Mellon University. Pittsburgh, PA, USA. December 2014. Acknowledgements. Joint work with faculty. Bruce Krogh (Electrical Engineering). Andre . Platzer. (Computer Science). of Cyber-Physical . Systems. Akshay . Rajhans, . Shang-Wen . Cheng, . Bradley . Schmerl, . David . Garlan, Bruce H. . . Krogh, . Clarence . Agbi and . Ajinkya Bhave. Dept. of Electrical and Computer Engineering. Good News, Bad News and . Looking Forward. Haibo Chen. What is CPCC?. A . cloudy. definition by NIST of US . “a . system environment that can rapidly build, modify and provision cyber-physical systems composed of a set of cloud computing based sensor, processing, control, and data . Computing Generations. 1. st. Generation: 1945-1955. Vacuum tube computers. Used magnetic drums. Almost impossible to program, very slow. 2. nd. Generation: 1955-1965. Programming languages, assembly language. Security and Privacy in Cyber-Physical Systems. Spring 2018. CS 599.. Instructor: Jyo Deshmukh. Acknowledgment: Some of the material in these slides is based on the lecture slides for CIS 540: Principles of Embedded Computation taught by Rajeev Alur at the University of Pennsylvania. http://www.seas.upenn.edu/~cis540/. Peter . Marwedel. Technische. . Universitat. Dortmund, Dortmund, Germany. Presented by:. Yogesh. Sur. CS ID: ysur@cs.odu.edu . Prof. Dr. Peter . Marwedel. - Head of Design Automation for Embedded Systems . of Cyber-Physical . Systems. Akshay . Rajhans, . Shang-Wen . Cheng, . Bradley . Schmerl, . David . Garlan, Bruce H. . . Krogh, . Clarence . Agbi and . Ajinkya Bhave. Dept. of Electrical and Computer Engineering. Systems . of Systems (. CPSoSs. ). Bernhard Fr. ömel. . <. froemel@vmars.tuwien.ac.at. >. Institute of Computer Engineering, Vienna University of Technology. Outline. Introduction and Objectives.

Download Document

Here is the link to download the presentation.
"Compositional Verification of Self-Adaptive Cyber-Physical Systems"The content belongs to its owner. You may download and print it for personal use, without modification, and keep all copyright notices. By downloading, you agree to these terms.