Model formalny sprzętowo-programowych systemów cyfrowych

Stasiak, A.; Skowroński, Z.

Artykuł - szczegóły

Tytuł artykułu

Model formalny sprzętowo-programowych systemów cyfrowych

Autorzy

Stasiak A. , Skowroński Z.

Identyfikatory

Warianty tytułu

The formal model for hardware-software digital systems

Konferencja

Konferencja Informatyka - Sztuka czy Rzemiosło (19-22 czerwca 2006; Złotniki Lubańskie; Polska)

Języki publikacji

Abstrakty

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.

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.

Słowa kluczowe

projektowanie zintegrowane sieci Petriego model formalny systemy osadzone systemy cyfrowe mikrosystemy cyfrowe FPGA

hardware-software codesign Petri nets formal model embedded system digital systems digital microsystems FPGA PLD

Wydawca

Wydawnictwo PAK

Czasopismo

Pomiary Automatyka Kontrola

Rocznik

2006

Tom

R. 52, nr 6 bis

Strony

17--19

Opis fizyczny

Bibliogr. 11 poz.

Twórcy

autor

Stasiak A.

autor

Skowroński Z.

Instytut Informatyki i Elektroniki, Uniwersytet Zielonogórski, A.Stasiak@iie.uz.zgora.pl

Bibliografia

[1] Adamski M., Skowroński Z.: Interpretowane sieci Petriego - model for-malny w zintegrowanym projektowaniu mikroprocesorowych systemów sprzętowo-programowych, Pomiary Automatyka Kontrola, 2003, nr 2-3, wyd. spec., s. 17-20
[2] De Micheli, G.: Computer-Aided Hardware/ Software Codesign, In: IEEE Micro, vol. 14, No. 4, pp. 10-16
[3] Gajski D. D., Vahid F., Narayan S., Gong J.: Specification and Design of Embedded Systems; Prentice Hall, Englewood Cliffs, NJ, 1994
[4] Kozlowski, T., Dagless E. L., Saul J. M., Adamski M., Szajna J.: Parallel controller synthesis using Petri nets, In: IEE Proc. - Comput. Digit. Tech., vol. 142, No. 4
[5] Mirkowski J., Yakovlev A.: A Petri Net Model for Embedded Systems, Proc. of the 2nd International Conf. Design & Diagnostics of Electronic Circuits and Systems DDECS'98, Szczyrk, Poland, 2-4 Sept. 1998, pp. 313-321, ISBN 83-908409-6-0
[6] Murata T.: Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, Vol. 77, nr 4, April 1989
[7] Skowroński Z.: Interpretowane sieci Petriego jako formalny model pośredni w syntezie systemowej, Reprogramowalne Układy Cyfrowe – RUC 2000, Materiały III Krajowej Konferencji Naukowej, Szczecin, Polska, s. 155-164
[8] Stasiak A.: Zintegrowany mikrosystem sprzętowo-programowy jako główna jednostka przetwarzania w systemach SOPC, KKE04, Kołobrzeg, Polska, 2004
[9] Stasiak A., Adamski M.: System Petri Net Format, PDS’2006, Brno, Czechy, 2006
[10] Wolf W.: Hardware/Software Co-Design of Embedded Systems, In: Proceedings of the IEEE, vol. 82, No. 7, pp. 967-989
[11] Organization for the Advancement of Structured Information Standards (OASIS), http://www.oasis-open.org/home/index.php

Typ dokumentu

Bibliografia

Identyfikator YADDA

bwmeta1.element.baztech-article-BSW4-0026-0004