Elsevier

Procedia CIRP

Volume 23, 2014, Pages 29-34
Procedia CIRP

Using a Formal High-level Language to Instruct Manikins to Assemble Cables

https://doi.org/10.1016/j.procir.2014.10.074Get rights and content
Under a Creative Commons license
open access

Abstract

In this paper, a formal high-level language is used to generate simulations where a manikin assembles flexible cables. The language generates assembly instructions for the manikin, which automatically performs the corresponding assembly motion with as good ergonomic as possible. Due to weight, stiffness and narrow regions, it may be difficult to perform an assembly of the cable. Our approach allows us to verify that it may be performed in an ergonomically sound way. The generated instructions are formally verified to ensure that assembly order is held and to prevent erroneous assembly states. The simulations have been made on industrial test cases.

Keywords

Assembly
Digtal human modeling
Formal methods;

Cited by (0)

Selection and peer-review under responsibility of the International Scientific Committee of 5th CATS 2014 in the person of the Conference Chair Prof. Dr. Matthias Putz [email protected].