455-0044/01 – Control Systems Using Computers I (RSP1)
Gurantor department | Department of Measurement and Control | Credits | 8 |
Subject guarantor | doc. RNDr. Jindřich Černohorský, CSc. | Subject version guarantor | doc. RNDr. Jindřich Černohorský, CSc. |
Study level | undergraduate or graduate | Requirement | Compulsory |
Year | 3 | Semester | winter |
| | Study language | Czech |
Year of introduction | 1992/1993 | Year of cancellation | 2008/2009 |
Intended for the faculties | FEI | Intended for study types | Master |
Subject aims expressed by acquired skills and competences
The subject 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 Modula-2.
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 Modula-2.
Teaching methods
Summary
The subject 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 Modula-2.
Subject 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:
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
Buttazo, G. : Hard Real Time Computing Systems, Kluwre Academic Publishers, 1997
Recommended literature:
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
Other requirements
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 concerning ports
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
Occurrence in study plans
Occurrence in special blocks
Assessment of instruction
Předmět neobsahuje žádné hodnocení.