Abstract: Quality control in high-volume manufacturing is commonly performed using Statistics-based quality control techniques. These techniques require large data sets in order to specify acceptable variation limits. These statistics-based QC approaches are not applicable in small-lot high-value manufacturing where it is important to ensure the quality of each one of the final products. Previous model based process control used simplified representations of the actual physics of the process.

Abstract: The objective of this research is to define programming abstractions and theories of computation with temporal semantics for distributed cyber-­‐physical systems. The approach is to create a coordination language for distributed embedded software that blends naturally with models of physical dynamics and to study the semantics of such a coordination language. The coordination language is a visual modeling language that is based on a rigorous discrete-­‐event concurrent model of computation.

Abstract: As technology pushes automation to greater degrees of autonomy, the verification  and  validation burden becomes more cost and time prohibitive. It has been well established that, as stated in AF Technology Horizons 2010, “It is possible to develop systems having high levels of autonomy, but it is the lack of suitable V&V methods that prevents all but relatively low levels of autonomy from being certified for use." This increased move towards further levels of autonomy has brought the certification need to a national level.

FM 2014 is the nineteenth in a series of symposia organized by Formal Methods Europe, an independent association whose aim is

10th IEEE International Workshop on Factory Communication Systems Scope The WFCS workshop is the largest IEEE technical event specially dedicated to industrial communication systems. The aim of this workshop is to provide a forum for researchers, practitioners and developers to review current trends in this area and to present and discuss new ideas and new research directions.