This paper presents an expert system (called ADES, i.e. ATP Design Expert System) for the automatic design of Automatic Train Protection systems (ATP). An ATP system is a railway signalling system constituted by a set of logic circuits that control the safe movement of trains within a railway station.

AI techniques proved feasible to address the particular design problem discussed: ADES is able to rapidly design good control circuits to meet operational requirements by using a well-structured, explicitly represented, in depth knowledge of Automatic Train Protection. The use of AI techniques facilitates the maintenance and extension of ADES to face new or unplanned requirements.

Implementing both the expert system and its environment tools in the PROLOG language, by using meta-interpretation techniques, has led to the rapid prototyping of the overall system. Optimization techniques have also been developed to allow ADES to be efficiently executed.

An MPR is a deep model of a manufacturing process. It is claimed to be easier to acquire than experiential diagnostic rules, and the acquisition of an MPR can be done either by a knowledge engineer or an intelligent interrogator program. An MPR can be used for simulating processes, for centralized or distributed model-based diagnosis of problems with processes, for designing the processes themselves, for determining the need for quality control testing and sensor checks, for determining when knowledge about the process is incomplete and additional knowledge needs to be acquired, and for compiling diagnostic rules.

In an effort to learn more about how testers test code, we observed several testers while they designed tests to check a change which had been made to code. Using a case study methodology, we gathered empirical data from the ‘real world’—professional testers, and actual software products. We found that testers do share some common work patterns. These patterns can be seen in their information gathering, their use of heuristics and their construction of mental models. This work is extremely knowledge intensive, experience appears to have a useful effect. In this paper we will discuss how we collected and analysed our data. Then we will present some of our observations about how the testers gathered information, used heuristics, formed mental models and were affected by their previous experience in the course of designing their test scenarios. Based on these observations we comment on training and tools for testers.

Methodologies have been developed and implemented in LISP and OPS-S languages which address type synthesis of mechanisms. Graph theory and separation of structure from function concepts have been integrated into an expert system called DOMES (Design Of Mechanism by an Expert System) to effectively implement the following three activities: 1. enumeration of all non-isomorphic labelled graphs; 2. identification of those graphs which satisfy structural constraints; 3. sketching of mechanisms corresponding to a given graph.

Developed theories and algorithms are applied to a robot gripper design and a variable-stroke piston engine design. The results from these two applications indicate that the automated techniques effectively identify all previously obtained solutions via manual techniques. Additional solutions are also identified and several errors of the manual process are detected. The developed methodologies and software appear to perform a complete and unbiased search of all possible candidate designs and are not prone to the errors of the manual process. Other important features of DOMES are: 1. it can learn and reason, by analogy, about a new design problem based on its experience of the problems previously solved by the system: 2. it has the capability to incrementally expand its knowledge base of rejection criteria by converting into LISP code information obtained through a query-based interactive session with a human designer; 3. it can select the set of rejection criteria relevant to a design problem from its knowledge base of rejection criteria. These procedures could become a powerful tool for design engineers, especially at the conceptual stage of design.