Repository logo

Browsing by Issue Date, starting with "2022-06-02"

Filter results by year or month
Now showing 1 - 2 of 2
  • Verification of multiple models of a safetycritical motor controller in railway systems
    Publication . Proenca, José; Borrami, Sina; Nova, Jorge Sanchez de; Pereira, David; Spilere Nandi, Giann
    Motor controllers, such as the ones used in signalling systems, include critical embedded software. Alstom is a company that produces such embedded systems, which must follow complex certification processes that require formal modelling and analysis. The formal analysis of these real-time systems have to balance between including enough details to be useful and abstracting away enough details to be verifiable. This paper describes our work in the context of the European VALU3S project to integrate the analysis of such systems with the Uppaal model checker during the development cycle, involving both developers from Alstom and academic partners. We use special Excel tables to configure the underlying Uppaal models and requirements, bridging these two stakeholders. We follow Software Product Line Engineering principles, e.g., allowing features to be turned on and off and periodicities to be changed, and verify different properties for each of such configuration. We automate the instantiation and verification in Uppaal of a set of selected configurations via an open-source prototype tool named Uppex.
    2022-06-02Journal article Open access Show more
  • Effectiveness of therapeutic exercise in musculoskeletal risk factors related to swimmer’s shoulder
    Publication . Tavares, Nuno; Dias, Gonçalo; Carvalho, Paulo; Vilas-Boas, João Paulo; Castro, Maria António
    Therapeutic exercise seems to minimize musculoskeletal risk factors related to swimmer’s shoulder. However, there is an absence of a qualitative evaluation of these programs and a great variability regarding the characteristics of exercises. The objective of this review was to identify, evaluate, and compare exercise programs used to minimize musculoskeletal risk factors related to swimmer’s shoulder. PubMed, CochraneLibrary, ScienceDirect, and Medscape were searched during January 2022. The research was limited to meta-analyses, systematic reviews, and RCTs written in English, Spanish, and Portuguese without publication time. The researched papers had swimmers as the population, compared an exercise program with another program or without intervention, and had as outcomes musculoskeletal risk factor variables. Eleven articles were considered for analysis. There were three positive effects of strength programs on shoulder rotators’ strength and endurance, two positive effects of strength and stretching programs on shoulder posture, and one positive effect of a stretching program on shoulder ROM and a plyometric program on proprioception. There is high heterogeneity and little methodological quality evidence about the theme. However, strength programs with five or fewer OKC exercises performed out of the water seems to lead to better results in the swimmer’s shoulder prevention.
    2022-06-02Journal article Open access Show more