Metody walidacji i weryfikacji specyfikacji funkcjonalnej mikrosystemu cyfrowego

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

Warianty tytułu

EN

Validation and verification methods of the digital microsystem functional specification

• Języki publikacji: PL

Abstrakty

PL

Proces projektowy systemów cyfrowych, a w szczególności zintegrowanych sprzętowo-programowych mikrosystemów cyfrowych realizowanych z wykorzystaniem platformy SOPC, nie może być zakończony pomyślnie bez przeprowadzenia sprawdzenia i korekcji ewentualnych błędów projektowych. Do tego celu stosuje się metody walidacji zapisu specyfikacji funkcjonalnej zachowania systemu oraz metody weryfikacji funkcjonalnej projektowanego modelu. W artykule scharakteryzowano oraz omówiono opracowane na Uniwersytecie Zielonogórskim metody i oprogramowanie do walidacji i weryfikacji funkcjonalnej specyfikacji funkcjonalnej modelu opisanej sieciami Petriego.

EN

The design process of the today digital systems, especially integrated hardware-software digital microsystems for SOPC platform, can not be finalized successfully without the verification and debug process. To meet the product requirements, like: system functionality, system stability, time-to-market, project costs, etc; there has to be performed several validation and/or verification tasks to confirm the finale model behaviour with initial/input functional specification. This paper describes validation and verification methods as well as software/tools elaborated and developed at University of Zielona Góra, by the Computing and Engineering Department.

Słowa kluczowe

PL

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

EN

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

• Wydawca: Wydawnictwo PAK
• Czasopismo: Pomiary Automatyka Kontrola
• Rocznik: 2007
• Tom: R. 53, nr 5
• Strony: 111--113
• Opis fizyczny: Bibliogr. 12 poz., rys.

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] Murata T.: Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, Vol. 77, nr 4, April 1989.
• [3] Z. Skowroński, Translacja specyfikacji funkcjonalnej układów cyfrowych na sieci Petriego dla potrzeb syntezy systemowej, PhD, Politechnika Szczecińska, Szczecin 2000.
• [4] Stasiak A.: Zintegrowany mikrosystem sprzętowo-programowy jako główna jednostka przetwarzania w systemach SOPC, KICE04, Kołobrzeg, Polska, 2004.
• [5] A. Stasiak, Automatyczna dekompozycja specyfikacji behawioralnej sprzętowo-programowego mikrosystemu cyfrowego, Rozprawa Doktorska, Uniwersytet Zielonogórski, Zielona Góra, 2007.
• [6] Stasiak A., Adamski M.: System Petri Net Format, PDS'2006, Brno, Czechy, 2006.
• [7] Z. Skowroński, A. Stasiak, The intermediate model for hardware/software Microsystems based on Petri nets, DESDes'04, Wydawnictwo Uniwersytetu Zielonogórskiego, Dychów 2004, ISBN 83-89712-16-4.
• [8} http://www.xilinx.com
• [9] http://www.modelsim.com
• [10] http://www.aldec.com, http://www.alatek.com
• [11] http://www.altera.com
• [12] http://www.intel.com