COURSE UNIT TITLE

Offered By

Graduate School of Natural and Applied Sciences

Level of Course Unit

Second Cycle Programmes (Master's Degree)

Course Coordinator

Offered to

Computer Science
Ph.D. in Computer Science

Course Objective

This course aims to provide a wide perspective in the design and analysis of complex computational systems that are integrated with physical processes.

Learning Outcomes of the Course Unit

Mode of Delivery

Face -to- Face

Prerequisites and Co-requisites

None

Recomended Optional Programme Components

None

Course Contents

Recomended or Required Reading

Textbook(s): P. Marwedel, Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems, Springer, 2nd edition, 2011.
Supplementary Book(s): CPS Public Working Group, Framework for Cyber-Physical Systems Release 1.0, US National Institute of Standards and Technology (NIST), 2016.
E.A. Lee, and S.A. Seshia, Introduction to Embedded Systems: A Cyber Physical Systems Approach, LeeSashia, 2nd edition, 2015.
C. Baier, and J.P. Katoen, Principles of Model Checking, MIT Press, 2008.

Planned Learning Activities and Teaching Methods

The course is taught in a lecture, class presentation and discussion format. Besides the taught lecture, group presentations are to be prepared by the groups assigned and presented in a discussion session. In some weeks of the course, results of the homework given previously are discussed.

Assessment Methods

Further Notes About Assessment Methods

None

Assessment Criteria

To be announced.

Language of Instruction

English

Course Policies and Rules

To be announced.

Contact Details for the Lecturer(s)

ugur.eliiyi@deu.edu.tr

Office Hours

To be announced.

Work Placement(s)

None

Workload Calculation

Contribution of Learning Outcomes to Programme Outcomes