Symulacyjna weryfikacja algorytmów w środowisku Ptolemy II

Praca prezentuje domeny systemu PTOLEMY II, a bardziej szczegółowo przedstawiono w niej wybrane możliwości domeny Synchronous Data Flow (SDF) do weryfikacji algorytmów metodą symulacyjną. Pozytywny wynik symulacji decyduje o implementacji symulowanego algorytmu na przykład w systemach wbudowanych. Zaprezentowne rozwiązanie pozwala na szybsze uzyskanie prototypu, a także prowadzi do obniżenia kosztów projektowania.

---

The paper presents Ptolemy II domain. Selected Synchronous Data Flow domain capabilities applicable to verification of algorithms using simulation methods are presented in detail. Positive simulation result can determine the implementation of the simulated algorithm, for example, in embedded systems. Presented solution allows to speed-up the process of creating the prototype, and leads to lowering development costs.