În lucrare este propusă o metodologie CAD pentru proiectarea sistemelor de control complexe. La descrierea sistemului se utilizează modele în baza reţelelor Petri. După analiza proprietăţilor comportamentale ale modelului (accesibilitate, siguranţă, viabilitate şi reversibilitate) se efectuează trecerea la descrierea hard a sistemului prin intermediul modelului analitic propus. Utilizând produse program specializate şi standarde se efectuează compilarea codului de configurare a circuitului FPGA care îndeplineşte funcţiile de sistem de control.
This paper presents a CAD methodology for complex control system design. The behavioral description of the system is based on Petri net models. After behavioral properties analyzing (reachability, safeness, liveness and reversibility), the hardware description of the system is done, using the proposed analytical model. The specialized and standard programs are used to obtain the configuration code of the FPGA circuit that realized the function of the control system.
Dans l’article on présente une méthodologie CAO pour la conception des systèmes de contrôle complexe. Le comportement du système est décrit par des modèles de réseaux de Petri. Après l’analyse des propriétés (accessibilité, sauve, viabilité et réversibilité) du fonctionnement des modèles analytiques proposés on effectue la synthèse hardware du système. En utilisant des logiciels spécialisés standard on obtient la configuration du code du circuit FPGA qui réalise les fonctions de contrôle du système.
В работе предложен метод автоматизированного проектирования сложных систем управления. Описание системы управления производится на основе моделей сетей Петри. После анализа функциональных свойств модели (достижимость, безопасность, живость и обратимость) осуществляется автоматический переход, к аппаратному описанию системы управления используя аналитическую модель сети Петри. Используя стандартное и специализированное программное обеспечение, осуществляется синтез кода и конфигурация системы управления на базе ПЛИС.