Module summary |
Antomation and Declarative Programming |
INFB350 |
Prof. Dr. Norbert Link |
6 ECTS points / 5 Contact hours |
3rd Semester |
Computer Engineering 2 |
none |
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. |
Written Exam 120 Min. (graded) |
Course Automation
| |
INFB351.a | Lecture |
Prof. Dr. Norbert Link | German |
2/2 | Module exam |
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) | |
Lecture notes, Literature:
| |
Seminar |
Course Automation Laboratory
| |
INFB352 | Laboratory |
Dipl. Inf. (FH) Oktavian Gniot | German |
2/1 | Exercise 1 Semester (not graded) |
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. | |
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. | |
Seminar-style teaching, practice, reporting |
Course Declarative Programming
| |
INFB351.b | Lecture |
Prof. Dr. Christian Pape | English |
2/2 | Module exam |