Reliability engineering focuses on the ability of physical equipment to function without failure [...]

Uncertainty Quantification (UQ) is vital to ensure credibility in simulation results and to justify model-based design decisions – especially in early development phases when system level measurement data for traditional model validation purposes are scarce. Central UQ challenges in industrial applications are computational cost and availability of information and resources for uncertainty char...

In the past few years two research groups of Politecnico di Milano, whose activities were centered on Formal Methods for the production of critical software and on industrial manufacturing systems, respectively, have carried out a joint research project that, among other things, aimed at introducing the use of formal methods in the design and analysis phases of industrial production systems (an...

Subject review This paper presents an application and a critical overview of the Enhanced Machine Controller (EMC2), a Linux based CNC open architecture control system (OAC) implemented in an industrial milling testbed platform. The development of such a machine tool was motivated by educational and research requirements, especially in the field of design and analysis of machining process monit...

Although there are quite a few approaches to Coverage Directed test Generation aided by Machine Learning which have been applied successfully to small and medium size digital designs, it is not clear how they would scale on more elaborate industrial-level designs. This paper evaluates one of these techniques, called MicroGP, on a fully fledged industrial design. The results indicate relative su...

Although there are quite a few approaches to Coverage Directed test Generation aided by Machine Learning which have been applied successfully to small and medium size digital designs, it is not clear how they would scale on more elaborate industrial-level designs. This paper evaluates one of these techniques, called MicroGP, on a fully fledged industrial design. The results indicate relative su...

Introduction: Each year millions of workers throughout the world involve in occupational accidents resulting in their disability or death. The nurses, whose main task is promoting the health of the society, play an important role in preventing these kinds of accidents. Nurses are needed in industrial environment as a member of health team to prevent occupational accidents. Since most of these a...

This paper echoes and points to work we have presented elsewhere on establishing the links between issues of sustainability and interaction design. The significant contribution of this paper is a description of the use of design critique as a research method and an argument for its importance to HCI researchers, especially with respect to very complex design contexts—the link between sustainabi...