W ramach tego etapu opracowano metodę adaptacji technik walidacyjnych systemów wbudowanych na platformę programistyczną opartą o technologię Web-Services i BPEL, tzw. metodę sprawdzania ścieżek. ... więcej

W ramach tego etapu opracowano metodę adaptacji technik walidacyjnych systemów wbudowanych na platformę programistyczną opartą o technologię Web-Services i BPEL, tzw. metodę sprawdzania ścieżek. Metoda ta korzysta z pewnych analogii pomiędzy systemem zamkniętym, a procesem BPELa. Wynikiem zastosowania wspomnianej metody jest zestaw scenariuszy testowych. Sformułowano tutaj warunki, jakie muszą zostać spełnione, by proces BPELa przypominał system zamknięty, w którym komunikacja między zadaniami (przepływ danych) odbywa się za pomocą i przy udziale koordynatora działającego zgodnie z grafem zadań systemu, a zadania odpowiadają funkcjom koordynatora. W pracy opracowano również rafinacyjny algorytm kosyntezy wieloprocesorowych, dynamicznie rekonfigurowalnych systemów wbudowanych. Jest to pierwszy algorytm wykorzystujący informacje o zadaniach wzajemnie się wykluczających (ZWW) do optymalizacji systemów dynamicznie rekonfigurowalnych. Specyfikacja takich zadań jest możliwa przy pomocy warunkowych grafów zadań. Wykorzystując dynamiczną rekonfigurację systemu możliwe jest przyporządkowanie zadań ZWW do tych samych zasobów sprzętowych. W ten sposób można zmniejszyć powierzchnię, a w wolnej przestrzeni alokować inne zadania sprzętowe, co również może prowadzić do zwiększenia szybkości systemu.

The method of adapting of validation techniques of embedded systems, for programming platform based on Web-Services and BPEL, so-called checking paths method, was developed. This method uses certain analogy ... więcej

The method of adapting of validation techniques of embedded systems, for programming platform based on Web-Services and BPEL, so-called checking paths method, was developed. This method uses certain analogy among embedded systems and BPEL processes. The result of usage of this method is the set of test scenarios. It was shown that under some assumptions BPEL process may be considered as an embedded system, in which communication between tasks is like a coordination of services according to a task graph of the system and tasks are like functions of the coordinator. In this work a co-synthesis method, which allows for optimization of dynamically reconfigurable multiprocessor SOPC system architecture, was also developed. To our best knowledge, this is the first algorithm that takes into consideration mutually exclusive tasks in optimization of dynamically reconfigurable systems. Such tasks are presented using conditional task graphs. Partially reconfigurable FPGAs let reuse of the same hardware resources for mutually exclusive tasks. In this way the area occupied by embedded system can be decreased and free space can be used for other hardware tasks. It can also increase SOPC's performance.