1,721,002 research outputs found
Model-Based Sensors Validation through Bayesian Conditioning and Dempster's Rule of Combination
No full textA self-diagnosing distributed monitoring system for nuclear power plants
No full textSensor data fusion and interpretation, sensor failure detection, isolation and identification are extremely important activities for the safety of a nuclear power plant. In particular, they become critical in cases of conflicts among the data. If the monitored system's description model is correct and its components work properly, then incompatibilities among data may only be attributed to temporary deterioration or permanent breakage of one or more sensors. This paper introduces and discusses the conception of a distributed monitoring system able to attach each sensor with a statistically-evaluated relative degree of reliability, which is especially useful for devices situated in dangerous zones or areas, difficult to reach inside huge and complex power plants
Socially-Based Design meets Agent Capabilities
No full textThe area of multi-agent system is promising in order to help complex system development, indeed, currently, several agent oriented software methodologies have been proposed. Such methodologies mainly focus on their abstraction ability in order to both easily manage the system complexity and easily isolate the stakeholders’ requirements that affect the system architecture. On the contrary, this paper also deals with the above issues, but it pays more attention to the characterization of "intelligent" agent capabilities. Specifically, to deliver on such a task, the paper focuses on the socially-driven approach of Tropos software design methodology in order to build up an agent-based information system prototyp
Model Checking the Security of Multi-Protocol Systems
No full textIEEE Computer Society Press, Los Alamitos CA, US
- …
