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.
- Intelligent semantic composition of cloud service.
- Modeling formalisms, languages and notations for cloud service applications and business
processes. - Formal specification, test and formal verification of distributed and cloud service
applications. - Elasticity and flexibility in Cloud service Business Processes.
- AI and model checking.
Paper Templates
IEEE Paper templates are available in MS Word, LaTex, and Overleaf. All submissions must use US 8.5×11 letter page format.
IEEE Conference Publishing Policies
All submissions must adhere to IEEE Conference Publishing Policies.
Open Access Option
Authors may choose to publish their accepted papers as open access. For details, please refer to the Author Information page.
IEEE Cross Check
All submission will be screened for plagiarized material through the IEEE Cross Check portal.
Workshop organizer(s)
Leila Ben Ayed
ENSI, University of la Manouba, HANA Research Laboratory, Tunisia
Ahlem Ben Younes
ENSIT, University of Tunis, LATICE Research Laboratory, Tunisia
Sarra Abidi
University of la Manouba, RIADI Research Laboratory, Tunisia
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
Slim Kallel, Faculty of Economics and Management of Sfax (FSEGS), ReDCAD Laboratory, University of Sfax, Tunisia
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
Slim Kallel, Faculty of Economics and Management of Sfax (FSEGS), ReDCAD Laboratory, University of Sfax, 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
Key Workshop & Special Session Dates
Workshop & special session papers due:
Extended: 30 April 2026 15 April 2026
Workshop & special session papers notification:
Extended: 10 May 2026
Camera Ready Paper submission:
Extended: 25 May 2026