Security concerns become increasingly important in safety-critical industrial cyberphysical systems. Different options for security certification exist. We describe a Common Criteria certification for a MILS separation kernel, and IEC 62443 analysis and certifications for the smart grid, railway and subway pilots using the MILS approach in the research project certMILS.I.

In this paper, an approach to evaluate the benefits of demand flexibility for Virtual Power Plants (VPPs) is presented. The flexible demands chosen in this study are part of a renewable energy source-based VPP that participates in Day-Ahead Market (DAM) and Intra-Day Market (IDM) and has dispatchable and non-dispatchable assets. A demand model with bi-level flexibility is proposed: the first level is associated with DAM, whereas the second level is related to IDM sessions. Simulations are carried out considering a 12-node network to ascertain the eventual impacts of modeling demand flexibility on VPP operation. The market structure considered in the case study resembles the different trading floors in the Spanish electricity market. Results obtained show that the proposed demand flexibility scheme increases the overall profit of the VPP, as well as the revenues of the demand owners without disrupting the consumer's comfort.

Contexto: No existe un sistema tecnológico para dispositivos móviles, que interactúe en forma natural con el usuario y entregue respuesta precisa sobre alguna pregunta relacionada con el Reglamento del Congreso. El presente trabajo establece un “Modelo Interactivo Inteligente del Reglamento del Congreso de Colombia para dispositivos móviles” MIRC; y para lograrlo se implementa en un aplicativo app. Método: El Modelo de Interacción propuesto está basado en el Modelo de Recuperación de Información (Arquitectura de un Sistema de Procesamiento del Lenguaje Natural). Sin embargo, fue necesario incluirle varios cambios estructurales en el sentido en que como el sistema debe procesar la voz del usuario y responder con voz sintetizada, fue necesario emular varios procesos que facilitan la interacción del móvil con el usuario. Resultados: se hace entrega de una app MIRC “Modelo Interactivo Inteligente del Reglamento del Congreso para dispositivos móviles”, ajustado a requerimientos sugeridos por varios usuarios (sin discapacidad y con discapacidades); en general muy útil por su facilidad de consulta sobre temas del Reglamento. Conclusiones:Se cumplió con el objetivo de entregar una app MIRC, mediante un Modelo de Interacción Inteligente para la consulta del Reglamento del Congreso, usando la Programación en Lenguaje Natural PLN.  Donde el usuario interactúa con el dispositivo móvil, usando su voz para hacer una solicitud y la respuesta se da al dispositivo en voz digital.

No abstract