OCMODELSWARD 2020 Abstracts

Full Papers
Paper Nr: 1

Specifying Uncertainty in Use Case Models


Man Zhang, Tao Yue, Shaukat Ali, Bran Selic, Oscar Okariz, Roland Norgre and Karmele Intxausti

Abstract: In this open communication, we will present the following published work in the Journal of Systems and Software "Specifying Uncertainty in Use Case Models". The published paper was co-authored by: Man Zhang, Tao Yue, Shaukat Ali, Bran Selic, Oscar Okariz, Roland Norgre, and Karmele Intxaustie For the presentation, two of the authors, Tao Yue and Shaukat Ali will be available. Their names are added to Contact Author and Co-Authors. The abstract and full paper is accessible here: https://www.sciencedirect.com/science/article/pii/S0164121218301316.

Paper Nr: 2

A Model-Driven Approach for UAVs Design based on Monitorable Embedded Platforms


Vincenzo Stoico

Abstract: Today, the adoption of Unmanned Aerials Vehicles (UAVs) is increasing due to their efficiency and autonomy in performing activities hard to fulfill with manned aircraft. Usually, they are based on Heterogeneous Embedded Systems that lead to a growth in design complexity. Moreover, UAVs make use of run-time adaptive mechanisms to change their behavior in particular situations. This highlights the necessity of monitoring UAVs embedded platforms at run-time to avoid unpredictable situations. A Model-Driven Engineering (MDE) approach can be used to deal with these trials. This approach should include Monitorability Requirements (MONs) in the system specification. This Ph.D. aims to study the feasibility of an MDE approach for the design of HES-based UAVs. The latter should be easily integrable with a Hardware/Software Co-Design flow and use the model to drive the Design Space Exploration (DSE).

Paper Nr: 4

Applying Timing Verification with TIDEAL/Time4Sys on Flight Management System


Benoit Viaud, Laurent Rioux and Aurélien Didier

Abstract: Hard real-time systems research defines different approaches to verify the performance in term of schedulability of systems, depending on its characteristics (e.g. the scheduling policy, multi or mono processor, periodic/sporadic events, precedence relation between tasks, network communication between resources, mutual exclusion resources, etc.). Whatever the approach selected, the first step consists in capturing the temporal properties of the system. UML-MARTE standard [1] allows to express those information, but its expressiveness is often considered too difficult for end users, and no UML-MARTE model editor has been widely adopted in the industry mainly because of these difficulties and the fact that the output could not be used directly by verification techniques like schedulability analysis or simulations. Depending on the real-time system characteristics, some methods and tools will be able to analyse the systems while others will not. Choosing the best tool to analyse one model is a task that requires a lot of strong expertize in real-time systems and a deep understanding of the tools capabilities. However, it is still time and effort consuming. The Time4Sys innovative approach, is not just to help users to design their system but also to select the tools that are applicable relevant for their performance verification, and potentially, and if needed to perform a conservative transformation in order to make the model analysable by tools that otherwise would not have been able to cope was not meant to be used for with this specific case. At the moment, Time4Sys has been successfully connected to MAST [2], Romeo [3] and Tempo Verifier (Thales internal proprietary tool).