Using a Formal High-level Language to Instruct Manikins to Assemble Cables
Paper in proceeding, 2014

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.


Formal methods

Digtal human modeling


Peter Mårdberg

Fraunhofer-Chalmers Centre

Johan Carlson

Chalmers, Product and Production Development, Product Development

Robert Bohlin

Fraunhofer-Chalmers Centre

N. Delfs

Fraunhofer-Chalmers Centre

S. Gustafsson

Fraunhofer-Chalmers Centre

Lars Hanson

Chalmers, Product and Production Development, Production Systems

Procedia CIRP:CIRP Conference on Assembly Technologies and Systems, CATS 2014, Dresden, Germany, 12-14 May 2014

2212-8271 (ISSN)

Vol. 23 C 29-34

Subject Categories

Mechanical Engineering


Computer and Information Science

Areas of Advance




More information

Latest update