Show simple item record

dc.contributor.authorPattnaik, Alivaen_US
dc.date.accessioned2012-02-17T19:25:32Z
dc.date.available2012-02-17T19:25:32Z
dc.date.issued2011-11-16en_US
dc.identifier.urihttp://hdl.handle.net/1853/42918
dc.description.abstractIn safety-critical, networked embedded systems, it is important that the way in which a fault(s) in one component of the system can propagate throughout the system to other components is analyzed correctly. Many real-world systems, such as modern aircrafts and automobiles, use large-scale networked embedded systems with complex behavior. In this work, we have developed techniques and a software tool, FauPA, that uses those techniques to automate fault-propagation analysis of large-scale, networked embedded systems such as those used in modern aircraft. This work makes three main contributions. 1. Fault propagation analyses. We developed algorithms for two types of analyses: forward analysis and backward analysis. For backward analysis, we developed two techniques: a naive algorithm and an algorithm that uses Datalog. 2. A system description language. We developed a language that we call Communication System Markup Language (CSML) based on XML. A system can be specified concisely and at a high-level in CSML. 3. A GUI-based display of the system and analysis results. We developed a GUI to visualize the system that is specified in CSML. The GUI also lets the user visualize the results of fault-propagation analyses.en_US
dc.publisherGeorgia Institute of Technologyen_US
dc.subjectFTAen_US
dc.subjectFault propagation analysisen_US
dc.subjectAFDXen_US
dc.subjectCyber physical systemen_US
dc.subjectDatalogen_US
dc.subjectEmbedded systemen_US
dc.subject.lcshEmbedded computer systems
dc.subject.lcshComputer science
dc.subject.lcshFailure Analysis System (Computer system)
dc.titleFault propagation analysis of large-scale, networked embedded systemsen_US
dc.typeThesisen_US
dc.description.degreeMSen_US
dc.contributor.departmentComputingen_US
dc.description.advisorCommittee Chair: Harrold, Mary Jean; Committee Member: Naik, Mayur; Committee Member: Navathe, Shamkant; Committee Member: Orso, Alessandroen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record