Interpretowane sieci Petriego - model formalny w zintegrowanym projektowaniu mikroprpcesorowych systemów sprzętowo-programowych

• Autorzy: Adamski M. , Skowroński Z.

Warianty tytułu

EN

Interpreted Petri nets as a formal model in hardware/software codesign

• Języki publikacji: PL

Abstrakty

PL

Podejście systemowe do projektowania urządzeń o niejednorodnym charakterze wymaga stosowania formalnych metod specyfikacji, syntezy i analizy. Metody i narzędzia projektowe z kolei bazują na formalnym modelu obliczeniowym. Z tego względu dobór właściwego modelu ma fundamentalne znaczenie dla efektywności całego procesu projektowania. W pracy zaproponowano środowisko projektowe dla potrzeb zintegrowanego projektowania, w którym części sprzętowe systemu specyfikowane sa w języku VHDL, część programowa w języku C, a modelem formalnym są interpretowane sieci Petriego. Prezentowane wyniki prac znajdują również zastosowanie w projektowaniu mikrosystemów cyfrowych, zawierających układy FPGA.

EN

In order to model heterogeneous systems some common representation vehicle is needed. The model should have several features, the most important of wchich are : to be well suited both for software and hardware representation, allow for different manipulations (including partitioning) and be able to cope explicitly with parallelism. Interpreted Petri nets can meet all three requirements. The paper analyses the suitability of the petri nets for a representation of heterogeneous systems and outlines some practical aspects of the application of petri nets in modelling such systems.

Słowa kluczowe

PL

sieci Petriego; programowanie zintegrowane; mikroprocesorowe systemy sprzętowo-programowe

EN

Petri nets; formal model in hardware/sofrware codesign

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2003
• Tom: R. 49, nr 2/3
• Strony: 17--20
• Opis fizyczny: Bibliogr. 15 poz., rys.

Twórcy

autor

Adamski M.

• Instytut informatyki i Elektroniki, Uniwersytet Zielonogórski

autor

Skowroński Z.

• Instytut informatyki i Elektroniki, Uniwersytet Zielonogórski

Bibliografia

• [1] A. A. Jerraya, M. Romdhani, C. A. Valderrama, P. Le Marrec, F. Hessel, G. F. Marchioro, J. M. Daveau: Languages for System-Level Specification and Design; in: [5], pp. 235-262
• [2] B. Kleinjohann, J. Tacken, C. Tahedl: Towards a Complete Design Method for Embedded Systems Using Predicate/Transition-Nets; Proc. of the International Conference on Computer Hardware Design Languages CHDL`97, Toledo, Spain, March 1997
• [3] D. Drusinsky, D. Harel: Using Statecharts for hardware description and synthesis, IEEE Transactions on Computer Aided Design, 1989
• [4] E. Stoy: A Petri Set Based Unified Representation for Hardware/Software Co-Design, Licentiate Thesis No. LiU-Tek-Lic 1995: 21, Linköping University, Linköping, Sweden, 1995
• [5] Edited by J. Saunstrup, W. Wolf: Hardware/Software Co-Design Principles and Practice, Kluwer Academic Publishers, 1997, ISBN 0-7923-8013-4
• [6] J. Mirkowski, A. Yakovlev: A Petri Set Model for Embedded Systems: Proc. of the 2nd International Conf. Design A Diagnostics of Electronic Circuits and Systems DDECS`98, Szczyrk, Poland, 2-4 Sept. 1998, pp. 313-321, ISBN 83-908409-6-0
• [7] J. Mirkowski, Z. Skowroński: Interpreted Petri Sets as a Formal Representation of Hardware/Software Systems, Proceedings of 4th International Workshop Mixed Design of Integrated Circuit and Systems, Poznań, 12-14 June 1997, pp. 173-178, ISBN 83-87202-4O-1
• [8] J. Mirkowski, Z. Skowroński: Translation of C and VHDL specifications into interpreted Petri Sets for Hardware/Software Codesign. Mixed Design of Integrated Circuits and Systems, pp. 163-168. Kluwer Academic Publishers, 1998, ISBN 0-7923-8116-7
• [9] R. J. Machado, J. M. Femandes, A. J. Proença: Specification of Industrial Digital Controllers with Object-Oriented Petri Nets; Proc. IEEE International Symposium on Industrial Electronics ISIE`97, Guhnarães, Portugal, July 1997
• [10] T. Murata: Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, vol. 77, No 4. April 1989, pp. 548-580
• [11] V. M. T. Sakamoto, G. De Micheli: Run-time scheduler synthesis for hardware-software systems and application to robot control design: in Proceedings of the CHDL`97, pp. 95-99, March 1997
• [12] Z. Skowroński, J. Mirkowski: Zintegrowane projektowanie systemów mikroprocesorowych ze specjalizowanymi układami cyfrowymi, II Konferencja Informatyka na wyższych uczelniach dla gospodarki narodowej, Gdańsk, 22-24 listopada 1996 r., tom I, str. 123-126
• [13] Z. Skowroński: Dekompozycja systemów mikroprocesorowych współpracujących ze specjalizowanymi układami cyfrowymi na część sprzętową i programową, Materiały I Krajowej Konferencji Naukowej – Reprogramowalne Układy Cyfrowe, Szczecin, 12-13 Marzec 1998, str. 75- 82, ISBN 83-87362-07-7
• [14] Z. Skowroński: Translacja specyfikacji funkcjonalnej układów cyfrowych na sieć Petriego dla potrzeb syntezy systemowej, Praca doktorska, Politechnika Szczecińska, Wydział Informatyki, 2000
• [15] G. Andrzejewski: Programowy model interpretowanej sieci Petriego dla potrzeb projektowania mikrosystemów cyfrowych, Praca doktorska, Politechnika Szczecińska, Wydział Informatyki, 2002