455-0505/01 – Real Time Control Systems (SRvRC)

Gurantor departmentDepartment of Measurement and ControlCredits6
Subject guarantordoc. RNDr. Jindřich Černohorský, CSc.Subject version guarantordoc. RNDr. Jindřich Černohorský, CSc.
Study levelundergraduate or graduate
Study languageCzech
Year of introduction2003/2004Year of cancellation2003/2004
Intended for the facultiesFEIIntended for study typesBachelor
Instruction secured by
LoginNameTuitorTeacher giving lectures
C1E65 doc. RNDr. Jindřich Černohorský, CSc.
KRE15 doc. Ing. Ondřej Krejcar, Ph.D.
WIS005 Ing. Tomáš Wiszczor
Extent of instruction for forms of study
Form of studyWay of compl.Extent
Full-time Credit and Examination 3+3
Combined Credit and Examination 3+3

Subject aims expressed by acquired skills and competences

The course represents the introduction to the real time systems, namely with respect to the control and information systems development. Students will be aquainted with rudimental general theoretical principles applicable in design and implementation of control real-time systems and gain practical skill in programming of such applications with help of programming lanquage C#.

Teaching methods

Lectures
Individual consultations
Tutorials
Project work

Summary

The course presents fundamental theoretical concepts and paradigms within the real time computing and control systems implementation fields : concept of real time, concurrency, parallelism, synchronisation and communication of concurrent processes, low-level programming, software safety, system safety, modularization, using of OOP, process management in critical RT systems, software engineering life cycle.

Compulsory literature:

Burns, A.-Wellings, A.: Real-Time Systems and their Programming Lanquages, Adison Wesley, 1994

Recommended literature:

Buttazo, G. : Hard Real Time Computing Systems, Kluwre Academic Publishers, 1997 Bennet S. : Real-Time Computer Control, Prentice Hall 1988 Schiper A.: Concurrent Programming, North Oxford Academic, 1989 Burns, A.-Wellings, A.: Real-Time Systems and their Programming Lanquages, Adison Wesley, 1994

Way of continuous check of knowledge in the course of semester

Verification of study: Tutorials Conditions for credit: Three tasks based on usage PC ports for 5 points each, one task using decomposition to concurrent processes for 10 points, in total 25 maximum

E-learning

Další požadavky na studenta

Prerequisities

Subject has no prerequisities.

Co-requisities

Subject has no co-requisities.

Subject syllabus:

Lectures: Control systems vrs. Real-time (RT systems). RT systems classification -Hard", "Soft", embedded. Industrial interface for communication with technical environmnet, data transfer techniques. Centralized,hierarchical and distributed systems. Fundamental concepts of computer control, sequential control, DDC, monitoring, man-machine communication Low-level programming. Data typea SET, BITSET. Low-level data types: WORD, BYTE, LONGWORD, ADDRESS, ADR, In, Out, InW, OutW. Measurement and control throuhg standard PC ports. Serial port paralel port, game port. Object oriented features of Top Speed Modula-2 and their use. Encapsulation, inheritance, polymorfism. Virtual and a static methods. Type compatibility. Concurrent processes, process synchronisation. Computation process: sequential process, parallel process, virtual processor. Context, context switching. Process dependability, Bernstein condition. Methods of process synchronization. Critical section, critical region, path of process progress. Mutual exlusion problem. Concept of general synchronisation tool. Techniques of passive and active waiting and their implementation: interrupt masking, process locking, delay operation. Semaphors, signals and monitors. Message passing. Implemetation of concurrency in Modula-2. Quasiparallism and pseudopralelism. Module Process. Process scheduling, priority strategy, cyclical scheduling. Process overaging. Quasiparalelism - process SYSTEM. Coroutines a interrupt processing. Procedures TRANSFER and IOTRANSFER. Petri nets. Rudimental concepts of the theory, types of Petri nets, their use. Modelling of typical synchronizaito tasks by means of Petri nets: Mutual exclusion problem, Producer-consumer task, readers-writers, rendezvous. Synchronous vrs. asynchronous communication. Safety of control systems. Error handling in control systems. Falult vrs. error. HW and SW falults. Software safety. Safety programming. Traditional handling of SW faults. Structural and non-structural error treatment. Exceptions. Types of exceptions in Modula-2. Module FloatExc. Exceptions in programming lannquages (Java, Delphi ). RT control systems.RT-operating systems, structure and functionality of operating system. Types of operating systems. OS kernel, control system based entirely on kernel. Memory management. File management system. Peripheral control system. Operating system examples. Kritical RT-systems.Timing constraints, precendence constraints, resource constraints. Classification of scheduling algorithms, Guarantee-based algorithms,best-effort algorithms, algorithms based on unprecise computation Scheduling in critical RT systems. Aperiodic task scheduling: Jackson´s algorith,Horn´s algorithm, Non-preemptive scheduling, Scheduling with precendence constraints, Algorithm EDF. Periodic tasks scheduling: Process utilisation factor , RMS - Rate monotonic scheduling, EDF scheduling (earliest deadline first), DMS - deadline monnotonic scheduling Buses, nets, distributed systems. Bus, logical and physical concept. Synchronous and asynchronous bus. Master-Slave. Bus allocation.Architecture ISO OSI. Industrial buses - Fieldbus, Profibus, CAN, FIP, ASI Introduction to software engineering- Analysis Life cycle model, spiral model, waterfall model . Design concepts - concurrent processing, encapsulation, object concepts, state diagrams. Requirements analysis, system specification Design. Design techniques, stepwise refinement, data flow structuring, modular design, verification, design methods for RT systems: Ward-Mellor, Mascot, DARTS. Implementation, testing and maintanace. Methods of testing: statical, dynamical, black-box vrs.and white-box testing, topp-down vrs. bottom-up testing. Test planing and preparation. Laboratories: Serial port: direct digital inputs, direct digital outputs, simple A/D converters, frequency measurement, serial data transfer Parallel port: parallel data output , 32-bit port extension, PC-bus Game port : voltage measurement, checking of limit values switching output, counters Projects: Projects - from every group of tasks elaborates student one task Serial port: direct digital inputs, direct digital outputs, simple A/D convertors, frequency measurement, serial data transfer Parallel port: parallel data output , 32-bit port extension, PC-bus Game port : voltage measurement, checking of limit values switching output, counters A task using decomposition to concurrent procesess working in pseudo- or quasi- parallel mode Computer labs: Modularization. Using dynamic data structures generating by NEW/DISPOSE procedures or by ALLOCATE/DEALLOCATE procedures. Mutual comparing. Programming tasks by low-level means. Tutorial concerninng porttsks OOP, Inheritance. OOP, Polymorphism. Concurrent tasks based on pseudo-parallelism. Module Process. Concurrent tasks based on on quasi-parallelism. Modul SYSTEM. Interrupt handling - IOTRANSFER. Module SYSTEM. Exception handling using module FloatExc a exception handling by MATHLIB library. Semestral project elaboration Semestral project elaboration CASE SELECT YOURDON - introduction to the CASE subsystem DFD charts State transition charts Documentation and software maintanance. User documentation, system documentation, project documentation Maintanace process. Project management: Planning, organization, Technical management, economical management. Project team management.

Conditions for subject completion

Full-time form (validity from: 1960/1961 Summer semester)
Task nameType of taskMax. number of points
(act. for subtasks)
Min. number of points
Exercises evaluation and Examination Credit and Examination 100 (145) 51
        Examination Examination 100  0
        Exercises evaluation Credit 45  0
Mandatory attendence parzicipation:

Show history
Combined form (validity from: 1960/1961 Summer semester)
Task nameType of taskMax. number of points
(act. for subtasks)
Min. number of points
Exercises evaluation and Examination Credit and Examination 100 (145) 51
        Examination Examination 100  0
        Exercises evaluation Credit 45  0
Mandatory attendence parzicipation:

Show history

Occurrence in study plans

Academic yearProgrammeField of studySpec.FormStudy language Tut. centreYearWSType of duty
2003/2004 (B2645) Electrical Engineering, Communication and Computer Systems (2612R041) Control and Information Systems P Czech Ostrava 3 Compulsory study plan
2003/2004 (N2645) Electrical Engineerong, Communication and Computer Systems (2612T041) Control and Informatics Systems P Czech Ostrava 1 Compulsory study plan
2003/2004 (B2645) Electrical Engineering, Communication and Computer Systems (2612R041) Control and Information Systems K Czech Ostrava 2 Compulsory study plan
2003/2004 (N2645) Electrical Engineerong, Communication and Computer Systems (2612T041) Control and Informatics Systems K Czech Ostrava 1 Compulsory study plan

Occurrence in special blocks

Block nameAcademic yearForm of studyStudy language YearWSType of blockBlock owner