Model formalny oraz format specyfikacji sprzętowo-programowych mikrosystemów cyfrowych

• Autorzy: Stasiak A. , Skowroński Z.

Warianty tytułu

EN

The formal model and format specification for hardware-software digital microsystems

• Konferencja: Reprogramowalne Układy Cyfrowe (18-19 maja 2006; Szczecin; Polska)
• Języki publikacji: PL

Abstrakty

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 miejsca decyzji w procesie projektowym, dotyczącej podziału systemu na dwie części: sprzęt i program. Decyzja ta jest opóźniana tak długo w procesie projektowym, jak to tylko możliwe. W chwili, gdy znane są wszelkie aspekty dotyczące wydajności i ograniczeń analizowanego systemu (np.: czas, koszt, interfejs wewnętrzny i inne), 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. Artykuł prezentuje nowy model formalny bazujący na sieciach Petriego, dedykowany dla heterogenicznych systemów zintegrowanych oraz format jego specyfikacji.

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 microsystems based on Petri nets and a format of its specification.

Słowa kluczowe

PL

model formalny; mikrosystemy cyfrowe; format specyfikacji sprzętowo-programowych

EN

formal model; format specification for hardware-software digital microsystems

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2006
• Tom: R. 52, nr 7 bis
• Strony: 56--58
• Opis fizyczny: Bibliogr. 12 poz.

Twórcy

autor

Stasiak A.

autor

Skowroński Z.

• Instytut Informatyki i Elektroniki, Uniwersytet Zielonogórski,

Bibliografia

• [1] Adamski M., Skowroński Z.: Interpretowane sieci Petriego - model formalny 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] Kozłowski, 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, str. 279-284, Kołobrzeg, Polska, 2004
• [9] Stasiak A.: System zrównoleglenia pracy mikrokontrolera sekwencyjnego dla sprzętowo-programowej architektury systemu osadzonego, KKE03, str. 275-280, Kołobrzeg, Polska, 2003
• [10] Stasiak A., Adamski M.: System Petri Net Format, PDS'2006, Brno, Czechy, 2006
• [11] Stasiak A., Skowroński Z.: Model formalny sprzętowo-programowych systemów cyfrowych, KNWS'06, PAK, nr 6bis, 2006, artykuł przyjęty do publikacji
• [12] Wolański, P.: Modelowanie układów cyfrowych z wykorzystaniem sieci Petriego i języka VHDL RTL, PhD, Politechnika Warszawska, Warszawa