The free throw in basketball is one of the important skills for a player. The accuracy of success of the throw affects the final score in a game, that’s why players make more effort to have a high accuracy in scoring free throw.The studies proved that as a human being, every player has his own way to throw the ball. The player position, the ball shot angle and velocity, are the factors that change from a player to another, and therefore affect the success of the throw even for the same player.The aim of this work is to propose a method to automatically measure and correct the extracted parameters of a basketball free throw shooting. The approach aims to create an automated system to correct the position of basketball throws and track the movement of the ball.

Digitalization is transforming manufacturing systems to become more agile and smart thanks to the integration of sensors and connection technologies that help capture data at all phases of a product's life cycle.Digitalization promises to improve manufacturing flexibility, quality, productivity, and reliability.However, there is still a significant need of effective methods to develop models that could enhance the capabilities of manufacturing systems.Formal methods and tools are becoming essential to achieve this objective.Within this context, this paper introduces a formal software solution for the automatic generation of modular manufacturing control systems software.The proposed solution leverages software Model-Based Design (MBD) techniques to reduce development effort, time, and human error by automating several manual steps.

International audience

The model composition provides support to build systems based on a set of less complex sub-models. This operation allows managing complexity while supporting the modularity and reusability tasks. Due to the increase number of the involving models, their composition becomes a tedious task. For that, the need for maintaining traceability information is raised to help managing the composition operation. We propose in this work a graph-based model transformations approach, which aims to keep track of the model composition operation. Our objective is to capture traces in an automatic and reusable manner. Finally, a composition scenario is given to demonstrate the feasibility of our proposal.

Model composition is one of the important activities in model driven engineering, because complex systems are built based on several viewpoints. The composition operation is a tedious task, however, traceability not only provides us with the tool to comprehend its effects, but also helps us to better manage the operation itself. This paper suggests a traceability framework for the model composition operation based on aspect oriented modeling and graph transformation. The generated trace models conform to a generic metamodel that allows representing nested trace links. A merge specification case study is presented to illustrate our contribution.