Atanas Marinov Atanassov
ABSTRACT
This paper examines a program model of a processor, designed for execution of cyclograms for a spectrophotometic complex control. A practical approach is treated for cyclograms pseudoparallelization by the help of which a compact and effective model is created for real-time control. Attention is paid to the character and specificity of commands executed by the processor.
- {1} Alur R. Timed Automata. NATO-ASI 1998 Summer School on Verification of Digital and Hybrid Systems.Google Scholar
- {2} Alur R., Limor Fix, Thomas Henzinger, Event-Clock Automata: A Determinizable Class of Timed Automata. In: Proceedings of the Sixth Annual Conference on Computer-aided Verification, Lecture Notes in Computer Science 818, Springer-Verlag, 1994, pp. 1-13. Google Scholar
- {3} Alur R., D.L. Dill: Automata for modeling real-time systems. In: Proceedings of ICALP'90, Lecture Notes in Computer Science vol 443, pp 322-335, Berlin Heidelberg New York: Springer 1990. Google Scholar
- {4} Atanassov At., L. Bankov, K. Kanev, N. Petkov, G. Hristov. Measurement Control And Data Registration Applied To Photometric System For Atmospheric Investigation. Proceedings of Scientific Conference of the Technical University of Gabrovo, 14-15 October 1999, v.I, p.161-166., (bul).Google Scholar
- {5} Atanassov At., L. Bankov, K Kanev, N. Petkov, G. Hristov. Development of a Computer Model to Control a Scanning Photometric System for Atmospheric Investigations. IV General Conference of the Balkan Physical Union, 22-25 August 2000, Veliko Turnovo, Bulgaria.Google Scholar
- {6} Atanassov A., Development of a model for control of a photometric instruments complex. Proceedings of 7th National Conference: "Main Problems of the Solar-Terrestrial Interactions.", 23-24 November 2000, Sofia, pp.51-54.Google Scholar
- {7} Fishkowa L.M., Mid Latitude Night Emission of Earth Atmosphere., "Mecniereba", 1983, 271pp., (russian).Google Scholar
- {8} Henzinger T., Z. Manna, and A. Pnueli, "Timed transition systems," Real Time: Theory in Practice, Lecture Notes in Computer Science 600, Springer-Verlag, 1992, pp. 226-251. Google ScholarDigital Library
- {9} Kesten Y., Zohar Manna, Amir Pnueli, Verification of clocked and hybrid systems, Acta Informatica 36, 2000, pp. 837-912.Google ScholarCross Ref
- {10} Shepherd G. Spectral Imaging of the Atmosphete. International Geophysics Series, v. 82, p.Google Scholar
Index Terms
- Approach for software realization of processor for real time control model of photometric systems complex
Recommendations
Pipelined microprogrammed control of a real-time signal processor
MICRO 6: Conference record of the 6th annual workshop on MicroprogrammingThe design of a pipelined microprogrammed controller for a real-time signal processor is described. The signal processor has an arithmetic functional unit with four multipliers and four adders, eight general-purpose registers, 16 index registers, a ...
Responsive Multithreaded Processor for Distributed Real-Time Processing
IWIA '06: Proceedings of the International Workshop on Innovative Architecture for Future Generation High Performance Processors and SystemsResponsive MultiThreaded (RMT) Processor is a processor chip that integrates almost all functions for parallel/ distributed real-time systems such as robots, intelligent rooms/buildings, amusement systems, etc. Concretely, the RMT Processor integrates a ...
Time-Predictable Out-of-Order Execution for Hard Real-Time Systems
Superscalar out-of-order CPU designs can achieve higher performance than simpler in-order designs through exploitation of instruction-level parallelism in software. However, these CPU designs are often considered to be unsuitable for hard real-time ...
Comments