A multiagent diagnostic system implemented in a ProtégéJADE-JESS environment interfaced with a dynamic simulator and database services is described in this paper. The proposed system architecture enables the use of a combination of diagnostic methods from heterogeneous knowledge sources. The process ontology and the process agents are designed based on the structure of the process system, while...

Studies suggest that when the lower-potency estrogen, estriol, is administered topically, it does not increase the risk of hormone-dependent cancers of the breast or endometrium (uterine lining).1-3 However, having weaker estrogenic effects does not mean that estriol has none of the benefits that come with more potent estrogens. Studies suggest that estriol reduces symptoms of menopause, such a...

The paper presents how CSP and the associated tool FDR are used to support FMEA of a software intensive system. The paper explains the basic steps of our approach (formal specification, systematic fault identification, fault injection experiments and follow-up) and gives some results related to the application of this method to the industrial case study, a railway signalling system that is pres...

Failure detection and group membership are two important components of fault-tolerant distributed systems. Understanding their role is essential when developing efficient solutions, not only in failure-free runs, but also in runs in which processes do crash. While group membership provides consistent information about the status of processes in the system, failure detectors provide inconsistent...

Agents with incomplete knowledge of their actions can either plan around the incompleteness, ask questions of a domain expert, or learn through trial and error. We present and evaluate several approaches to formulating plans under incomplete information, using the plans to identify relevant (goaldirected) questions, and interleaving acting, planning, and question asking. We show that goal-direc...

Yahoo Japan Search Technology (YJST) team participated in the Query Understanding subtask of NTCIR-12 IMine-2. We explored various search log mining techniques to discover subtopics against the given original topics. For Vertical Identification, we trained a Gradient Boosted Decision Tree (GBDT) learner to identify a vertical label to each subtopic using several complex features including topic...

Any change that will influence the system’s safety requirements after we have finished the safety analysis and safety planning for development of safety-critical software will require a change impact analysis. One of the reasons for using Scrum is its declarations to “embrace change”. Using agile development we may add new requirements, change existing requirements and make current requirements...

Failure Mode and Effects Analysis (FMEA) is a widely used dependability and safety technique aiming at systematically identifying failure modes, their causes, their effects, and the countermeasures that could mitigate their impact. Although FMEA has been thought for hardware, its use is also advocated for software (SW-FMEA). However, this involves several major hurdles such as the complexity of...

Signalling, a complex system is one of the most important infrastructures of railway service. The performance of railway signalling system depends on the functioning of a number of subsystems, such as panel, cable, relay, point and point machine, trackcircuit, signal, back indication, point-drive card, signal-drive card, and level crossing gate. Railway signalling system plays an important role...