The goal of this grant project is to bridge area of control task's design and implementation in real-time operating system. Present difficulties of control system design techniques are based on fact that they were created for a computer hardware and software of the previous generation. Such design techniques necessarily cause a lot of implementation and design errors and produces malfunction system threating not only production itself but also humans. This project would like to develop automatic or semi-automatic system converting formal description of the control task into executable code running in 32-bits real-time operating system without human intervention. As a result, human resources will be concentrated more on the area of specification andverification than implementation; and this a way where todays area of informatics and cybernetics aims to go. (en)
Podstatou navrhovaného projektu je překlenout problematiku návrhu řídicí aplikace a její implementaci v operačním systému reálného času. Současný návrh řídicích systémů vychází z tradičních postupů vytvořených v minulosti, které však s ohledem na dnešní složitost cílového HW a jeho programového vybavení selhávají a přinášejí tak s sebou množství návrhových a zejména implementačních chyb; ty pak často vedou k nefunkčnosti daného zařízení a tím nejen k materiálním ztrátám, ale i k ohrožení osob. Tento projekt se bude zabývat problematikou návrhu řídicí aplikace pomocí vhodného formalismu a posléze automatickou nebo poloautomatickou implementací úlohy do 32-bitových operačních systémů reálného času, což povede k tomu, že lidské zdroje, které se podílí na vytváření systému, budou využívány více ve sféře specifikace a ověření projektu, než-li v jeho implementaci; a to je přesně směr, kterým se současná informatika a kybernetika ubírá. (cs)