Search academic texts

Information × Registration Number 0202U000908, 0100U000809 , R & D reports Title The methods of programing engineering for potential-dangerous modes objects control popup.stage_title Head Litvinov V. V., Registration Date 15-03-2002 Organization Institute of Mathematical Machines and System Problems NAS Ukraine. popup.description2 The object of researches is systems for potential-dangerous modes objects control. The purpose of work is creating of industrial technologies for potential-dangerous objects control software development. The methods of researches are: system analysis, control theory, theory of multitudes, theory of flow charts, theory of Petri's nets, mathematical logic, theory of formal languages. The methods of uninterruptedly-discretely systems functioning processes, distinction of reactive systems behavior, methods of formal specification for processes control, temporal and interval methods for description of potential-dangerous objects systems control properties, existing approaches to the verification of control programs, life cycle of software tools for potential-dangerous objects control describing, modeling problems in the control systems are researched. Product Description popup.authors popup.nrat_date 2020-04-02 Close