Reliability analysis of Digital Instrumentation and Control software system
Sign Up to like & getrecommendations! Published in 2017 at "Progress in Nuclear Energy"
DOI: 10.1016/j.pnucene.2017.03.006
Abstract: Abstract An integrated software reliability analysis platform (Software Reliability Auto-Modeling and Analysis Platform, SRAMAP) was designed for the modeling and analysis of digital instruments and control software system. Based on the Flow Network Model (FNM)… read more here.
Keywords: analysis digital; analysis; control software; reliability analysis ... See more keywords
Characterization of standardized breath sampling for off-line field use.
Sign Up to like & getrecommendations! Published in 2019 at "Journal of breath research"
DOI: 10.1088/1752-7163/ab55c5
Abstract: Due to several sources of potential variability associated with exhaled breath bag sampling procedures for off-line analysis, the Respiration Collector for In Vitro Analysis (ReCIVA) sampler was developed. Although designed to improve upon several pitfalls… read more here.
Keywords: breath; line; control software; reciva ... See more keywords
DSVerifier-Aided Verification Applied to Attitude Control Software in Unmanned Aerial Vehicles
Sign Up to like & getrecommendations! Published in 2018 at "IEEE Transactions on Reliability"
DOI: 10.1109/tr.2018.2873260
Abstract: During the last decades, model checking techniques have been applied to improve overall system reliability, in unmanned aerial vehicle (UAV) approaches. Nonetheless, there is little effort focused on applying those methods to the control-system domain,… read more here.
Keywords: control; unmanned aerial; control software; verification ... See more keywords