Skip to main content
Skip header
Terminated in academic year 2020/2021

Modelling of Real Time Systems

Type of study Follow-up Master
Language of instruction Czech
Code 155-0380/05
Abbreviation MSRT
Course title Modelling of Real Time Systems
Credits 5
Coordinating department Department of Applied Informatics
Course coordinator Ing. Jan Ministr, Ph.D.

Subject syllabus

Lectures:
1. Process Management - the history, development and present process management
2. Development of Quality Management processes - Functional and process approach to management organization
3. The implementation of process management in the organization - Strategic Planning
4. The implementation of process management in the organization - the implementation phase of process management
5. ITIL-charaketristika basic methods and applications
6. Process Analysis - Process analysis and the foundations of process maps
7. Introduction to modeling real time systems - classification systems
8. Simulation - basic characterization and modeling

Exercise:
1. Introduction to Witness environment - familiarization with the environment Witness and individual controls
2. Creating the model - the phase of model building, definitions, and view details
individual elements
3. Creating the model - basic model includes
4. Creation of models - input and output rules, modeling downtime
5. Development of model - a random sampling numbers, workforce
6. Creating the model - conveyors
7. Creating the model - assembly parts, attributes and variables
8. Creating the model - Different operating times, packing into boxes, model shifts the priority of machinery and equipment
9. Creation of a model - modeling attributes and variables - Advanced Techniques

Literature

HUNT, V. D. Process Mapping : How to Reengineer Your Business Processes.
New York : John Willey & Sons, 1996. ISBN 0471-13281-0 .

Advised literature

JACHA, M. – KELLER, P. J. Business Process Mapping - Improving Customer
Satisfaction. 1st ed. New York: John Wiley & Sons, 2001. 326 p. ISBN 0-4710-7977-4 .
WAGNER, K.W. PQM – Processorientiertes Qualitäts Management. München: Carl Hanser Verlag, 2001. ISBN 3-446-21229-9 .