Wyniki wyszukiwania - BazTech

1

Mikrosystemy cyfrowe stosowane w pojazdach szynowych i złożoność obliczeniowa półgrupy charakterystycznej automatu asynchronicznego spójnego

Bocian S.

TTS Technika Transportu Szynowego

|

2013

|

R. 20, nr 10

1701--1708, CD

PL

W artykule omówiono mikrosystemy cyfrowe stosowane w pojazdach szynowych. Umożliwiają one programowanie w oparciu o zaimplementowane bloki funkcjonalne wejść i wyjść oraz funkcje przejścia (maszyna stanowa - automat) w oparciu o sporządzony wcześniej graf automatu. Przedstawiono także twierdzenie i przeprowadzono dowód na złożoność obliczeniową półgrupy charakterystycznej automatu asynchronicznego spójnego.

EN

The article discusses the digital microsystems used in the rail vehicles. They allow to program based on the functional implemented blocks of the input and outputs and the transfer functions (state machine - automation) based on the previously drawn graph of the automation. The theorem is also presented and the evidence of the computational complexity of the characteristic semigroup of the asynchronous consistent automaton is also carried out.

2

Zasotosowanie maszyny stanowej do projektowania układów wejściowych wykorzystując mikrosystem cyfrowy firmy Cypress z Programem PSoC Express

Bocian S., Iwanowski J.

Logistyka

|

2010

|

nr 6

PL

W artykule zaprezentowano przykładową realizację maszyny stanowej (automatu cyfrowego) z wykorzystaniem programu narzędziowego dla procesorów PSoC firmy Cypress - PSoC Express. Zamieszczono bloki logiczne programu wraz z komentarzami.

EN

The exemplary realization of the finite state machine (the digital automaton) with using the tool program for PSoC processors of Cypress company - PSoC Express is presented in this article. The logical blocks of program with the comments are included in it.

3

Optymalizacja realizacji układowej hierarchicznych sieci Petriego

Stasiak A.

Pomiary Automatyka Kontrola

|

2007

|

R. 53, nr 5

108-110

PL

Projektowanie wysokiego poziomu systemów cyfrowych dotyczy szeregu aspektów związanych bezpośrednio z wybraną metodologią projektowania, modelem formalnym, algorytmami syntezy sprzętowej i programowej opisu behawioralnego. Rozważając sieci Petriego jako model formalny projektowanego systemu, szczególnie interpretowane hierarchiczne sieci Petriego, projektant ma do dyspozycji bogaty zbiór algorytmów analizy formalnej, metod syntezy programowej i sprzętowej. Jednak znane rozwiązania dotyczą przede wszystkim opisu zachowania funkcjonalnego sterowników logicznych, gdzie miejsce sieci reprezentuje logiczną operację przypisania poziomu '0' lub '1' do wyjścia układu (jeden bit lub wektor). Zauważalny jest jednak brak propozycji naukowych wspierających projektowanie systemu opisanego sieciami Petriego, gdzie w miejscu sieci realizowane są złożone instrukcje arytmetyczne lub logiczne. Przykładem sieci Petriego wspierającej w pełni projektowanie systemu sprzętowo-programowego jest siec PNHSDM (ang. Petri Net for Hardware So-ftware Digital Microsystem). Artykuł w sposób ogólny przedstawia model formalny sprzętowo-programowych sieci Petriego PNSHDM, skupiając się szczególnie na metodzie optymalizacji algorytmu syntezy sprzętowej sieci PNHSDM do reprogramowalnych układów FPGA. W pracy podjęto tematykę szeregowania zadań (ASAP, ALAP). Rozwiązano problem systemu przełączania sprzętowych modułów wykonawczych w kontekście planowanych do wykonania zadań. Wyznaczono wzór pozwalający na oszacowanie kosztów realizacji sprzętowej systemu przełączania, który zależny jest od liczby instancjacji i złożoności harmonogramowanej instrukcji.

EN

The high level designing concerns several aspects that are directly related to the designing methodology as well as formal model definition, hardware/software synthesis algorithms, etc. When a Petri nets are considered as a formal model of developing system, especially hierarchical interpreted Petri nets, then a designer has a lot of ready to use and very well documented algorithms dedicated for formal verification, hardware and software synthesis, transformations, etc. However, most of the know solutions for Petri nets concerns designing logic controllers, where a one net place implements simple assigning operation of logical state to the output. There is lack of solutions that use a Petri nets to formalize and describe really system, where a place implements complex algebraic or logic functions. A formal model based on Petri nets for hardware-software digital microsystems (PNHSDM) has been elaborated to eliminate this gap. This paper shortly describes PNHSDM model, but author have concentrate on optimization of hardware Petri nets synthesis algorithm that is responsible to translate functional description into VHDL-RTL language. This approach takes into consideration task scheduling (ASAP, ALAP), presents elaborated solution of switching system for PNHSDM Petri nets as well as provides static hardware cost estimations of the switching system.

4

Metody walidacji i weryfikacji specyfikacji funkcjonalnej mikrosystemu cyfrowego

Stasiak A., Skowroński Z.

Pomiary Automatyka Kontrola

|

2007

|

R. 53, nr 5

111-113

PL

Proces projektowy systemów cyfrowych, a w szczególności zintegrowanych sprzętowo-programowych mikrosystemów cyfrowych realizowanych z wykorzystaniem platformy SOPC, nie może być zakończony pomyślnie bez przeprowadzenia sprawdzenia i korekcji ewentualnych błędów projektowych. Do tego celu stosuje się metody walidacji zapisu specyfikacji funkcjonalnej zachowania systemu oraz metody weryfikacji funkcjonalnej projektowanego modelu. W artykule scharakteryzowano oraz omówiono opracowane na Uniwersytecie Zielonogórskim metody i oprogramowanie do walidacji i weryfikacji funkcjonalnej specyfikacji funkcjonalnej modelu opisanej sieciami Petriego.

EN

The design process of the today digital systems, especially integrated hardware-software digital microsystems for SOPC platform, can not be finalized successfully without the verification and debug process. To meet the product requirements, like: system functionality, system stability, time-to-market, project costs, etc; there has to be performed several validation and/or verification tasks to confirm the finale model behaviour with initial/input functional specification. This paper describes validation and verification methods as well as software/tools elaborated and developed at University of Zielona Góra, by the Computing and Engineering Department.

5

Model formalny sprzętowo-programowych systemów cyfrowych

Stasiak A., Skowroński Z.

Pomiary Automatyka Kontrola

|

2006

|

R. 52, nr 6 bis

17-19

PL

Projektowanie sprzętowo-programowych zintegrowanych systemów cyfrowych jest jedną z najnowszych i wciąż rozwijanych technologii projektowania systemów osadzonych. Innowacja polega na zmianie punktu decyzyjnego w procesie projektowym, tj. punktu podziału systemu na dwie części: sprzęt i program. Podczas procesu projektowego, który operuje na modelu pośrednim systemu, decyzja podziału jest opóźniana tak długo jak to możliwe. W chwili, gdy znane są wszelkie aspekty dotyczące wydajności i ograniczeń analizowanego systemu (takich jak: czas, koszty, interfejs wewnętrzny, i inne), wówczas możliwy jest właściwy podział systemu na część programową i sprzętową. Projektowanie heterogenicznych systemów z wykorzystaniem metodologii projektowania zintegrowanego, wymaga posługiwania się sformalizowanym, matematycznym modele formalnym, który jest pryzmatem budowy modelu pośredniego systemu. Artykuł prezentuje nowy model formalny bazujący na sieciach Petriego, dedykowany dla heterogenicznych systemów zintegrowanych.

EN

The hardware/software co-design is the one of a few newest and still under development design technologies dedicated for embedded systems. The innovation depends on change of the point decision in the design flow, which the design flow concerns system partitioning process. The partitioning decision is delayed as long as it is possible while processing decomposition operations on permanently integrated design. The decision is taken, when there are known all detailed data about possibilities and limitations of analyzed system, e.g.: time, costs, interconnections, etc. To design heterogonous system using hardware-software co-design methodology, there is required (good) formulated, mathematic model that describes complete system functionality, its properties and configuration. This paper presents a new formal model for hardware-software digital systems based on Petri nets.