Abstract
Robots are being increasingly used in safety-critical contexts, such as transportation and health. The need for flexible behavior in these contexts, due to human interaction factors or unstructured operating environments, led to a transition from hardware-to software-based safety mechanisms in robotic systems, whose reliability and quality is imperative to guarantee. Source code static analysis is a key component in formal software verification. It consists on inspecting code, often using automated tools, to determine a set of relevant properties that are known to influence the occurrence of defects in the final product. This paper presents HAROS, a generic, plug-in-driven, framework to evaluate code quality, through static analysis, in the context of the Robot Operating System (ROS), one of the most widely used robotic middleware. This tool (equipped with plug-ins for computing metrics and conformance to coding standards) was applied to several publicly available ROS repositories, whose results are also reported in the paper, thus providing a first overview of the internal quality of the software being developed in this community.

Abstract
In this work, spiral phase lenses fabricated on the tip of single mode optical fibers are reported. This allows tailoring the fundamental guided mode, a Gaussian beam, into a Laguerre - Gaussian profile without using additional optical elements. The lenses are fabricated using Focused Ion Beam milling, enabling high resolution in the manufacturing process. The phase profiles are evaluated and validated using an implementation of the Finite Differences Time Domain. The output optical intensity profiles matching the numerical simulations are presented and analyzed. Finally, results on cell trapping and manipulation are briefly described.

Abstract

Abstract

Abstract
This Letter reports a new method for the generation of optical vortices using a micropatterned optical fiber tip. Here, a spiral phase plate (2 pi phase shift) is micromachined on the tip of an optical fiber using a focused ion beam. This is a high resolution method that allows milling the fibers with nanoscale resolution. The plate acts as a beam tailoring system, transforming the fundamental guided mode, specifically a Gaussian mode, into the Laguerre-Gaussian mode (LG(01)), which carries orbital angular momentum. The experimental results are supported by computational simulations based on the finite-difference time-domain method. (C) 2016 Optical Society of America

Abstract
Today, manufacturing is moving towards customer-driven and knowledge-based proactive production. Shorter product life cycles lead to increased complexity in areas such as product and process design, factory deployment and production operations. To handle this complexity, new knowledge-based methods and technologies are needed to model, simulate, optimize and monitor manufacturing systems. Existing large Enterprise Information Systems (EIS) impose structured and predictable workflow, while processes "on the ground" are often unpredictable and involve a large number of human based decisions and collaboration. This is leading to a major shift on EIS paradigm and leading to development of a set of specialized small applications, each one with fewer features, but highly specialized, flexible, cross linked and easy to use. This paper presents a hybrid management solution intended to support collaboration and decision in the scope of automotive engineering and planning. The solution, labelled as HPM - Hybrid Process Manager, encompasses a set of tools for work, information and communication management fully integrated with knowledge based engineering processes. Its overall aim is to ease the flow of information between all the partners, making it more reliable and actual, allowing a closer control and faster reaction to upcoming events. The adoption of HPM approach proves to be quite effective and efficient, leading to significant results in terms of cost and time saving. When using the solution, managers no longer need to constantly ask for reporting, leading to a significant reduction on email and paperwork. It is relevant to underline that the proposed approach allowed planners to concentrate in important issues improving the product and avoid non-value added efforts and time on collateral activities. Another main advantage stays on the experience retrieval module built in top of the solution, allowing easy access to expertise, knowledge and best practices generated by previous projects, so that they can be readily incorporated in the design of new processes as a factor of knowledge sustainability. (C) 2016 Published by Elsevier B.V.