Visualization design and verification of Ada tasking using timing diagrams

The use of timing diagrams is recommended in the design and testing of multi-task Ada programs. By displaying the task states vs. time, timing diagrams can portray the simultaneous threads of data flow and control which characterize tasking programs. This description of the system's dynamic behavior from conception to testing is a necessary adjunct to other graphical techniques, such as structure charts, which essentially give a static view of the system. A series of steps is recommended which incorporates timing diagrams into the design process. Finally, a description is provided of a prototype Ada Execution Analyzer (AEA) which automates the production of timing diagrams from VAX/Ada debugger output

Microprocessor based drive shaft position controller

Powszechnie występująca tendencja związana z wykorzystywaniem w obszarze automatyki przemysłowej (do sterowania i nadzoru) systemów mikroprocesorowych wymusza potrzebę badań i testów tego typu urządzeń. Przedstawiony w pracy mikroprocesorowy układu pozycjonowania wału silnika oparty jest o algorytm dyskretnego regulatora PID. Cechą odróżniającą go od spotykanych na rynku rozwiązań jest wykorzystanie prostego 8-bitowego mikrokontrolera o niewielkiej mocy obliczeniowej i otwarta struktura oprogramowania umożliwiająca swobodne zmiany parametrów a także komunikację z dedykowanym oprogramowaniem monitorującym umieszczonym na komputerze klasy PC.Thanks to the microelectronic technique rapid growth it is possible to use the popular microprocessor and it's components as universal and powerful controllers. Referring to the common idea of microprocessor based controller the conception of easy and cheap structure for drive shaft position control is presented in this paper. The digital PID algorithm (slightly simplified) was implemented into controller. The communication with PC for effective data acquisition was established. Some basic theory was slightly illuminated as well

Analysis and Decomposition of Complex Real-Time Processes with a Real-Time Schemata Model

International Telemetering Conference Proceedings / September 28-30, 1976 / Hyatt House Hotel, Los Angeles, CaliforniaIn this paper a formal model for real-time processes is expanded to analyze structured, complex algorithms. Structured forms have inherent modularity and the authors discuss advantages of mapping such processes on distributed micro or mini processor networks. Processes under consideration are subject to random interrupts by independent I/O demands. Degradation of total system performance due to these demands is discussed. Extentions and ongoing research are mentioned.International Foundation for TelemeteringProceedings from the International Telemetering Conference are made available by the International Foundation for Telemetering and the University of Arizona Libraries. Visit http://www.telemetry.org/index.php/contact-us if you have questions about items in this collection