Abstract
Interferometric fiber optic based sensors, namely those based on the Fabry-Perot (F-P) configuration seem very attractive for biomechanical and biomedical applications. The present study is focused on the proof of concept of two developed FP based sensors, for high and low pressure measurements of fluids. For low pressure sensor, it was used a polymeric diaphragm in a microstrutured fiber. It was obtained a good agreement between wavelength shift and the pressure, for the two tested sensors.

Abstract
Use case scenarios are known as powerful means for requirements specification. On the one hand, they join in the same modeling space the expectations of the stakeholders and the needs of the developers involved in the process. On the other hand, they describe the desired high level functionalities. By formalizing these descriptions we are able to extract relevant informations from them. Specifically, we are interested in identifying requirements patterns (common requirements with typical implementation solutions) in support for a requirements based software development approach. This paper addresses the transformation of use case descriptions expressed in a Controller Natural Language into an ontology expressed in the Web Ontology Language (OWL), as well as the query process for such information. It reports on a study aimed at validating our approach and our tool with real users. A preliminary set of results is discussed.

Abstract
Runtime verification is an emerging discipline that investigates methods and tools to enable the verification of program properties during the execution of the application. The goal is to complement static analysis approaches, in particular when static verification leads to the explosion of states. Non-functional properties, such as the ones present in real-time systems are an ideal target for this kind of verification methodology, as are usually out of the range of the power and expressiveness of classic static analyses. In this paper, we present a framework that allows real-time programs written in Ada to be augmented with runtime verification capabilities. Our framework provides the infrastructures which is needed to instrument the code with runtime monitors. These monitors are responsible for observing the system and reaching verdicts about whether its behavior is compliant with its non-functional properties. We also sketch a contract language to extend the one currently provided by Ada, with the long term goal of having an elegant way in which runtime monitors can be automatically synthesized and instrumented into the target systems. The usefulness of the proposed approach is demonstrated by showing its use for an application scenario.

Abstract
Joint implant-related infections, namely by Staphylococci, are a worldwide problem, whose consequences are dramatic Various methods are studied to fight against these infections. Here, the proposed solution consists in grafting a bioactive polymer on joint implant surfaces in order to allow the control of the interactions with the living system. In this study, sodium styrene sulfonate, bearing sulfonate groups, was grafted on the surface of titanium alloys. Scanning Electron Microscopy, colorimetric method, Fourier-transformed infrared spectroscopy and contact angle measurements were applied to characterize the surfaces. Bacterial adhesion studies were studied on poly(sodium styrene sulfonate) grafted Ti6Al4V and Ti6Al4V surfaces previously adsorbed by proteins involved in the bacteria adhesion process. Fibrinogen and fibronectin were demonstrated to increase staphylococcal adhesion on Ti6Al6V surfaces. Ti6Al4V grafted sodium styrene sulfonate surfaces inhibited the adhesion of Staphylococcus epidermidis in 37% and 13% on pre-adsorbed surfaces with fibrinogen anal fibronectin, respectively. The mechanism of the observed inhibiting bacteria adhesion properties is related to the differences of proteic conformations induced by poly(sodium styrene sulfonate) grafting.

Abstract
The concept of SG (Smart Grids) encompasses a set of technologies that raise the intelligence of the electrical networks, such as smart meters or instruments of communication, sensing and auto-correction of networks. Nevertheless, the cost is still an important obstacle for the transformation of the current electricity system into a smarter one. Regulation can have an important role in setting up a favorable framework that fosters investments. However, the novelty with SG is the disembodied character of the technology, which may change the incentives of the regulated network companies to invest, affecting the effectiveness of the regulatory instruments ("cost plus" or "price cap"). This paper demonstrates that the solution to this "Smart" paradox requires strong incentive regulation mechanisms able to stimulate the adoption of SG technologies. Moreover, the regulation should not jeopardize conventional investments that are unable to be substituted by SG. Thus, a combination of performance regulation and efficiency obligations may be necessary.

Abstract