Module Antomation and Declarative Programming, Bachelor Course Computer Science (ER 5)

Module summary
Module name Antomation and Declarative Programming
Internal number INFB350
Coordinator Prof. Dr. Norbert Link
Extent 6 ECTS points / 5 Contact hours
Semester 3rd Semester
Pre-requisites with regard to content Computer Engineering 2
Pre-requisites according to the examination regulations none
Competencies The students obtain fundamental and specific technological skills in the field of computer aided automation in computer science. The course features special hardware components, and particularly real time programming techniques as well as the corresponding programming languages. Hands-on lab exercises will foster the essential topics.
Assessment Written Exam 120 Min. (graded)

Course Automation
Internal number INFB351.a	Type/mode Lecture
Lecturer Prof. Dr. Norbert Link	Language of instruction German
Extent (ECTS/SWS) 2/2	Assessment Module exam
Content Examples of automation, special requirements for automation technology in computer science, closed loop controller (PID controller, Fuzzy controller), computers in automation, communication between computers in automation technology (industrial bus systems), process signals and interfaces, sensors and actors, Auto-ID-Systems (bar codes, RFID), software for automation systems, introduction to programmable logic controllers (PLC)
Recommended reading Lecture notes, Literature: Rembold, U., Levi, P. : Realzeitsysteme zur Prozeßautomatisierung, Carl Hanser Verlag, München Wien, 1994 MANN, H., SCHIFFELGEN, H., FRORIEP, R. : Einführung in die Regelungstechnik, Carl- Hanser Verlag, München, Wien, 2000 Etschberger, K. (Hrsg) : CAN, Controller Area Network, Hanser-Verlag, München, 2001 Tietze, U. , Schenk, Ch. : Halbleiter-Schaltungstechnik, Springer-Verlag, Berlin, 2005 DATA LOGIC : Der Strichcode-Fibel, Firmenprospekt, 2008 FINKENZELLER,K.: RFID-Handbuch, Hanser Verlag, München, Wien, 2006
Comments Seminar

Course Automation Laboratory
Internal number INFB352	Type/mode Laboratory
Lecturer Dipl. Inf. (FH) Oktavian Gniot	Language of instruction German
Extent (ECTS/SWS) 2/1	Assessment Exercise 1 Semester (not graded)
Content Practice of development processes for industrial, reactive systems with co-operating handling systems: modelling of system dynamics by means of state charts or Petri networks, implementation of the formal software models in PLC software (via AWL/FUP/KOP and STEP7-Graph), process visualisation on an control center PC (via WinCC), system communication via TCP/IP and real time channels, system co-operation.
Recommended reading Lecture notes, task descriptions, project guidelines and FAQs, all accessible via the internet. Handbooks and relevant literature is available on site and for homework in the library.
Comments Seminar-style teaching, practice, reporting

Course Declarative Programming
Internal number INFB351.b	Type/mode Lecture
Lecturer Prof. Dr. Christian Pape	Language of instruction English
Extent (ECTS/SWS) 2/2	Assessment Module exam
Content
Recommended reading