S.A. McCoy, F. Crawley and P.W.H. Chung Hazid Technologies Ltd., Suite 109, Loughborough University Innovation Centre, Loughborough, Leics, LE11 3EH, UK Department of Chemical & Process Engineering, University of Strathclyde, James Weir Building, 75 Montrose Street, Glasgow, G1 1XJ, UK Modelling and Reasoning Research Group, Department of Computer Science, Loughborough University, Loughborough,...

In the production of a computer-based safetyrelated system, it is common to partition the hardware and software elements into a system architecture. The software part of such an arrangement will generally include both the instructions that are executed by the processor(s), and the data that is used and produced by these instructions. In some cases, a large amount of static or configuration data...

Safety is a system property, hence the high-level safety requirements are incorporated into the implementation of system components. In this paper, we propose an optimized traceability analysis method which is based on the means-ends and whole-part concept of the approach for cognitive systems engineering to trace these safety requirements. A system consists of hardware, software, and humans ac...

Automated Guided Vehicles (AGVs) are widely used for materials transportation. Operating them in a platooned manner has the potential to improve safety, security and efficiency, control overall traffic flow reduce resource usage. However, published studies on platooning focus mainly design of technical solutions context automotive domain. In this paper we largely unexplored theme production sit...