|
|
TTE-5406 FORMAL METHODS IN FACTORY AUTOMATION, 5 cr
|
Courses persons responsible
Jose Martinez Lastra
Lecturers
Jose Martinez Lastra
Objectives
Students will learn formal languages and methods that can be applied in factory automation in areas such as: control modeling, verification, validation, and manufacturing planning.
Content
| Content | Core content | Complementary knowledge | Specialist knowledge |
| 1. | General introduction to formal languages and methods and their utilization in dynamic discrete systems. | ||
| 2. | Formal languages for modeling factory automation systems | Petri Nets, Finite Automaton | |
| 3. | Application of formal methods in factory automation systems | ||
| 4. | Formal verification and validation of factory automation systems:
Requirements specification languages, Model-checking, Theorem proving |
Requirements for completing the course
Written Exam AND Laboratory exercises AND course assignment(s)
Evaluation criteria for the course
Study material
| Type | Name | Auhor | ISBN | URL | Edition, availability... | Exam material | Language |
| Book | Discrete, Continuous, and Hybrid Petri Nets | David, R.; Alla, H. | 3-540-22480-7 | No | English | ||
| Book | Modeling, Simulation, and Control of Flexible Manufacturing Systems | Zhou, M; Venkatesh, K. | 981-02-3029-X | No | English | ||
| Book | Software Verification and Validation for Practitioners and Managers | Rakitin, S. | 1-58053-296-9 | No | English | ||
| Other literature | An Approach to the Formal Verification of Automated Manufacturing Systems with Programmable Control | Lobov, A. | TUT Library | No | English | ||
| Book | Development and Implementation of Hierarchical Control Structures of Flexible Production Systems Using High-Level Petri Nets | Colombo, A.W. | 3-87525-109-1 | No | English |
Prerequisites
| Code | Course | Credits | M/R |
| MAT-41176 | MAT-41176 Theory of Automata | 5 | Recommendable |
| MAT-41180 | MAT-41180 Formal Languages | 6 | Recommendable |
Prequisite relations (Sign up to TUT Intranet required)
Remarks
The course gives an introduction to the utilization of formal methods in the domain of factory automation. Different perspectives of factory artifacts modeling are given to students. Students learn how and where to apply formal methods. The course is implemented every second year
Scaling
| Methods of instruction | Hours |
| Lectures | 60 |
| Exercises | 24 |
| Assignments | 28 |
| Laboratory assignments | 11 |
| Other contact teaching | 5 |
| Other scaled | Hours |
| New tools and study methods | 4 |
| Preparation for exam | 4 |
| Exam/midterm exam | 3 |
| Total sum | 139 |
| Last modified | 22.10.2007 |
| Modified by | Virpi Hämäläinen |