MEI-51506 Formal Methods for Digital Manufacturing, 5 cr
Lisätiedot
Course is NOT lectured in Academic year 2019-2020.
Suitable for postgraduate studies.
Ei toteuteta lukuvuonna 2019-2020.
Vastuuhenkilö
Andrei Lobov
Opetus
| Toteutuskerta | Periodi | Vastuuhenkilö | Suoritusvaatimukset |
| MEI-51506 2019-01 | - |
Minna Lanz |
Course is NOT lectured in Spring 2020. |
Osaamistavoitteet
The integration of various information models and handling of information models supporting co-development of products and production systems requires different computational methods and tools to evaluate various parameters of products and production systems. In order to get a holistic picture for manufacturing systems and products, one may need to be able continuously extend and improve models and tools. During the course, students will learn how to build formal models of products and productions systems for automated verification and integrate these with existing tools.
Sisältö
| Sisältö | Ydinsisältö | Täydentävä tietämys | Erityistietämys |
| 1. | Formal languages | ||
| 2. | Product (formal) modelling. | ||
| 3. | Production system (formal) modelling. | ||
| 4. | Integration APIs for models/tools extension. | ||
| 5. | On-demand computing, e.g. use of cloud-based resources for computationally demanding tasks. | ||
| 6. | Automated verification and validation. |
Vastaavuudet
Opintojakso ei vastaan mitään toista opintojaksoa