Title :
Dependable SoPC-Based On-board Ice Protection System: From Research Project to Implementation
Author :
Prokhorova, Yuliya ; Kharchenko, Vyacheslav ; Ostroumov, Sergey ; Yatsenko, Stanislav ; Sidorenko, Mykola ; Ostroumov, Boris
Author_Institution :
Dept. of Comput. Syst. & Networks, Nat. Aerosp. Univ., Kharkov
Abstract :
Both dependability of computer on-board systems (CBS), and the size and the weight limitations are very important characteristics. Basic aviation and aerospace CBSs requirements and some development principles are considered. The multi-version lifecycle of FPGA-based CBS as system-on-programmable-chip (SoPC) is described. The several dependable SoPC architectures are researched and assessed: one-version two-channel, two-version two-channel and two-version four-channel systems. The method of the architectural adaptation is considered as the means for physical and design faults tolerating. Itpsilas based on composition of a few versions embedded to the chip. The checking and reconfiguration block as intellectual property core and elements ofice protection system development and implementation process are given as the practical example of application of proposed technique.
Keywords :
field programmable gate arrays; formal verification; software architecture; system-on-chip; CBS; FPGA; SoPC architectures; computer on-board systems; intellectual property core; on-board ice protection system; reconfiguration block; system-on-programmable-chip; Application software; Computer architecture; Computer networks; Data communication; Fault tolerance; Ice; Intellectual property; Protection; Redundancy; Wireless sensor networks; Multi-version technique; ice protection system; life cycle;
Conference_Titel :
Dependability of Computer Systems, 2008. DepCos-RELCOMEX '08. Third International Conference on
Conference_Location :
Szklarska Poreba
Print_ISBN :
978-0-7695-3179-3
DOI :
10.1109/DepCoS-RELCOMEX.2008.43
