Reliability, security and performance analysis

URI permanente para esta colección:

Artículos en la categoría Reliability, security and performance analysis publicados en las Actas de las XVII Jornadas de Programación y Lenguajes (PROLE 2017).
Notificar un error en esta colección

Examinar

Envíos recientes

Mostrando 1 - 3 de 3
  • Resumen
    Evaluación de Requisitos de Seguridad con MBASafe conforme a la norma EN 50128
    Gallina, Barbara; Gómez-Martínez, Elena; Benac Earle, Clara. Actas de las XVII Jornadas de Programación y Lenguajes (PROLE 2017), 2017-07-19.
    According to EN 50129, manufacturers of rail vehicles shall justify via a safety case that their vehicles are adequately safe for their intended applications. MBASafe is a recently proposed and potentially innovative design and verification process. In the presence of compelling arguments concerning its adequacy as process evidence, MBASafe could support the safety claims within the required safety cases. In this paper, we contribute to partially justify the adequacy of MBASafe to act as process evidence. To do that, we first manually check if MBASafe includes EN 50128-compliant process elements, then we model MBASafe in compliance with Software Process Engineering Meta-model 2.0, then, we derive process-based arguments from the MBASafe process model by using MDSafeCer, the recently introduced Model Driven Safety Certification method. By doing so, we provide a twofold contribution: we further validate MDSafeCer in the rail domain and we strengthen MBASafe.
  • Resumen
    A characterisation of reliability tools for Software Defined Networks
    Lavado, Leticia; Panizo Jaime, Laura; Gallardo Melgarejo, María del Mar; Merino, Pedro. Actas de las XVII Jornadas de Programación y Lenguajes (PROLE 2017), 2017-07-19.
    Software Defined Network (SDN) is a new paradigm in networking that introduces great flexibility, allowing the dynamic configuration of parts of the network through centralised programming. SDN has been successfully applied in field networks, and is now being applied to wireless and mobile networks, generating Software Defined Mobile/Wireless networks (SDWNs). SDN can be also combined with Network Function Virtualization (NFV) producing a software network in which the specific hardware is replaced by general purpose computing equipment running SDN and NFV software solutions. This highly programmable and flexible network introduces many challenges from the point of view of reliability (or robustness), and operators need to ensure the same level of confidence as in previous, less flexible deployments. This paper provides a first study of the current tools used to analyse the reliability of SDNs before deployment and/or during the exploitation of the network. Most of these tools offer some kind of automatic verification, supported by algorithms based on formal methods, but they do not differentiate between fixed and mobile/wireless networks. In the paper we provide a number of classifications of the tools to make this selection easier for potential users, and we also identify promising research areas where more effort needs to be made.
  • Resumen
    Towards the model-based predictive performance analysis of Cloud adaptive systems with e-Motions
    de Oliveira, Patricia; Durán, Francisco; Pimentel, Ernesto. Actas de las XVII Jornadas de Programación y Lenguajes (PROLE 2017), 2017-07-19.
    We use graph transformation to define an adaptive component model, what allows us to carry on predictive analyses on dynamic architectures through simulations. Specifically, we build on the e-Motions definition of the Palladio component model, and then specify adaptation mechanisms as generic adaptation rules. We illustrate our approach with rules modelling the increase in the number of CPU replicas used by a component, and the distribution of works between processors, reacting, respectively, to saturated queues or response time constraints violations. We evaluate alternative scenarios by analysing their performance, and discuss on its consequences in practice.