Share Email Print
cover

Proceedings Paper

Petri net-based dependability modeling methodology for reconfigurable field programmable gate arrays
Author(s): Rafał Graczyk; Piotr Orleański; Krzysztof Poźniak
Format Member Price Non-Member Price
PDF $14.40 $18.00

Paper Abstract

Dependability modeling is an important issue for aerospace and space equipment designers. From system level perspective, one has to choose from multitude of possible architectures, redundancy levels, component combinations in a way to meet desired properties and dependability and finally fit within required cost and time budgets. Modeling of such systems is getting harder as its levels of complexity grow together with demand for more functional and flexible, yet more available systems that govern more and more crucial parts of our civilization's infrastructure (aerospace transport systems, telecommunications, exploration probes). In this article promising method of modeling complex systems using Petri networks is introduced in context of qualitative and quantitative dependability analysis. This method, although with some limitation and drawback offer still convenient visual formal method of describing system behavior on different levels (functional, timing, random events) and offers straight correspondence to underlying mathematical engine, perfect for simulations and engineering support.

Paper Details

Date Published: 11 September 2015
PDF: 11 pages
Proc. SPIE 9662, Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2015, 96623Y (11 September 2015); doi: 10.1117/12.2205980
Show Author Affiliations
Rafał Graczyk, Centrum Badań Kosmicznych PAN (Poland)
Piotr Orleański, Centrum Badań Kosmicznych PAN (Poland)
Krzysztof Poźniak, Warsaw Univ. of Technology (Poland)


Published in SPIE Proceedings Vol. 9662:
Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2015
Ryszard S. Romaniuk, Editor(s)

© SPIE. Terms of Use
Back to Top