BC4011 Security in Cyber-Physical Systems Syllabus:
BC4011 Security in Cyber-Physical Systems Syllabus – Anna University PG Syllabus Regulation 2021
COURSE OBJECTIVES:
To learn about design of cyber-physical systems
To know about MATLAB usage
To learn about analysis of cyber-physical systems
How to implement safety assurance in these systems
To do the software analysis
To know basic security measures to take in Cyber-Physical Systems
UNIT I INTRODUCTION TO CYBER-PHYSICAL SYSTEMS
Cyber-Physical Systems (CPS) in the real world, Basic principles of design and validation of CPS, Industry 4.0, Auto SAR, IIOT implications, Building Automation, Medical CPS.
UNIT II CPS – PLATFORM COMPONENTS
CPS – Platform components: CPS HW platforms – Processors, Sensors, Actuators, CPS Network – Wireless Hart, CAN, Automotive Ethernet, CPS Sw stack – RTOS, Scheduling Real Time control tasks Principles of Automated Control Design: Dynamical Systems and Stability Controller Design Techniques, Stability Analysis: CLFs, MLFs, stability under slow switching, Performance under Packet drop and Noise
UNIT III USING MATLAB
Matlab toolboxes – Simulink, State flow CPS implementation: From features to software components, Mapping software components to ECUs, CPS Performance Analysis – effect of scheduling, bus latency, sense and actuation faults on control performance, network congestion
UNIT IV CPS SAFETY ASSURANCE AND SOFTWARE ANALYSIS
Formal Methods for Safety Assurance of Cyber-Physical Systems: Advanced Automata based modeling and analysis, Basic introduction, and examples, Timed and Hybrid Automata, Definition of trajectories, Formal Analysis: Flow pipe construction, reachability analysis Analysis of CPS Software: Weakest Pre-conditions, Bounded Model checking, CPS SW Verification: Frama-C, CBMC Secure Deployment of CPS: Attack models, Secure Task mapping and Partitioning, State estimation for attack detection Automotive Case study: Vehicle ABS hacking Power Distribution Case study: Attacks on Smart Grids
UNIT V CPS SECURITY
CPS vulnerabilities, threats, attacks & failures, CPS security threats, CPS vulnerabilities, Cyber physical system attacks, CPS failures, Evaluating risks, Securing CPS, CPS security challenges, CPS security solutions, CPS forensics, Limitations, CPS protection recommendations
COURSE OUTCOMES:
After the completion of this course, student will be able to
CO1: Understand the core principles behind CPS.
CO2: Identify safety specifications and critical properties.
CO3: Understand abstraction in system designs.
CO4: Express pre and postconditions and invariants for CPS models.
CO5: Identify CPS security threats and do the software analysis.
TOTAL: 45 PERIODS
REFERENCES
1. Raj Rajkumar, Dionisio De Niz , and Mark Klein, Cyber-Physical Systems, Addison-Wesley Professional
2. Rajeev Alur, Principles of Cyber-Physical Systems, MIT Press, 2015.
3. André Platzer, Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics., Springer, 2010. 426 pages, ISBN 978-3-642-14508-7.
4. Jean J. Labrosse, Embedded Systems Building Blocks: Complete and Ready-To-Use Modules in C, The publisher, Paul Temme, 2011.
5. Jean-Paul A. Yaacoub, Ola Salman, Hassan N. Noura, Nesrine Kaaniche, Ali Chehab, Mohamad Malli, “Cyber-physical systems security: Limitations, issues and future trends”, Microprocessors and Microsystems, Vol 77, 2020, ISSN 0141-9331 (Unit 5)
6. Sajal Das, Krishna Kant, and Nan Zhang, “Handbook on Securing Cyber-Physical Critical Infrastructure – Foundations & Challenges”, Morgan Kaufmann, 2012.
7. Awad, A.I., Furnell, S., Paprzycki, M., Sharma, S.K., Security in Cyber-Physical Systems Foundations and Applications, Springer International Publishing, 2021