13th IEEE International Workshop on Modeling and Verifying Distributed-Embedded Applications (MVDA 2025)

The goal of the workshop

The workshop aims to bring together researchers to the latest research ideas on development of distributed real-Time and embedded systems.

Workshop theme

Distributing applications and cloud service applications among distributed systems offer many potential benefits. However, implementing robust, efficient, and flexible distributed applications is more complex than building stand-alone applications. A significant portion of this complexity is due to the fact that developers must consider new design alternatives and must acquire many new skills. The problem of building such applications requires finding and orchestrating appropriate services that are frequently nontrivial for a developer. This is due to the very large number of available and the different possibilities for constructing an application from matching services. We need an abstract view of the application using modeling approaches. In addition, we need a semantic description to retrieve and compose automatically and semantically this kind of applications. This abstraction allows in one hand the reuse of the elaborated application and on the other hand reduces the complexity and saves the users from the detail of the low level of the environment. Especially for distributed real-time embedded system, cost and quality requirements necessitate reuse of the functional software components for multiple deployment architectures. An important step is the allocation of software components to hardware. During this process the differences between the hardware and application software architectures must be reconciled. We need model-based techniques to resolve these differences and integrate hardware and software components. The system architecture serves as the underpinning based on which distributed real-time components can be generated. Proposed modeling approaches need a standard verification step against required properties to analyze and correct built applications as early as possible in order to avoid any costly maintenance delays due to runtime errors.

Scope of the workshop

Papers may address one or more of the topics listed below. Unlisted but related topics are also acceptable, provided they fit in one of the following main areas:

• Architecture and design principles for distributed and cloud service applications
• Architecture and design principles for distributed embedded applications
• Models and frameworks for distributed and cloud service applications.
• Methods, processes and patterns for developing distributed and cloud service applications.
• Ontology engineering and similarity.
• Machine learning based matching ontologies.
• Model Driven Engineering, model and meta-model transformation.
• Intelligent semantic composition of cloud service applications based on machine learning.
• Modeling formalisms, languages and notations for cloud service applications and business processes.
• Formal specification, test and formal verification of distributed and cloud service applications.
• Refinement in Business Process models.
• Elasticity and flexibility in Cloud service Business Processes.

Workshop organizer(s)

Leila Ben Ayed, ENSI
University of Manouba, Tunisia; LIPSIC Research Laboratory FST, University of El Manar, Tunisia
Email: leila.benayed@ensi-uma.tn

Samir Ben Ahmed
LIPSIC Research Laboratory, FST, University of El Manar, Tunisia
Email: samir.benahmed@fst.utm.tn

Ahlem Ben Younes
ENSIT, University of Tunis, Tunisia
Email: Ahlem.Benyounes@utic.rnu.tn

Program Committee

Hong Zhu
Oxford Brookes University, UK

Cristina Seceleanu
Malardalen University- Sweden

Sumi Helal
University of Florida, USA

Tolga Ayav
Izmir Institute of Technology, Turkey

Lee Moon-Kun
Chonbuk National University, Korea

Eun-Sun Cho
Chungnam National University, Korea

Jamal Bentahar
Concordia University, Montreal, Canada

Ahmed Hadj Kacem
University of Sfax, Tunisia

Christine Choppy
Laboratory LIPN, University of Paris Nord, France

Mohamed Jmaiel
University of Sfax, Tunisia

Afef Kacem
Laboratory LaTICE, University of Tunis, Tunisia

Ali Mili
New Jersey Institute of Technology, USA

Issam Mabrouki
Tunisia Polytechnic School-University of Carthage, Tunisia

Daniel Calegari Garcia
Instituto de Computacion Facultad de Ingenieria, Uruguay

Sofiene Tahar
Concordia University, Montreal, Canada

Mohamed Moez Yeddes
Ecole Polytechnique de Montreal, University of Montreal, Canada

Fahima Hajjej
Princess Noura University, Riadh, KSA

John Mullins
Ecole Polytechnique de Montreal, University of Montreal, Canada

Riadh Robbana
National Institute of Applied Sciences and Technology (INSAT), and Tunisia Polytechnic School (EPT) University of Carthage, Tunisia

Mohamed Khalgui
National Institute of Applied Sciences and Technology (INSAT), Tunisia

Olfa Mousbahi
National Institute of Applied Sciences and Technology (INSAT), Tunisia

Mohamed Taha Bennani
LIPSIC Research Laboratory, FST, University of El Manar, Tunisia

Narjes Dougaz
LIPAH Research Laboratory, FST, University of El Manar, Tunisia

Lamia Zouhaier
LIPSIC Research Laboratory, FST, University of El Manar, Tunisia

Imen Ben Fraj
LIPSIC Research Laboratory, FST, University of El Manar, Tunisia

Salma Ayari
LIPSIC Research Laboratory, FST, University of El Manar, Tunisia

Paper Templates

IEEE Paper templates are available in MS Word 2003 and LaTex. All submissions must use US 8.5×11 letter page format.

IEEE Conference Publishing Policies

All submissions must adhere to IEEE Conference Publishing Policies.

IEEE Cross Check

All submission will be screened for plagiarized material through the IEEE Cross Check portal.