A second research axis I am working on is the generation of
aspect code from abstract aspect annexes integrated in an
architectural model for real time embedded systems. This
allows the separation of concerns in such systems and also to
ensure a smooth integration of some non functional propoerties
such as security, availability, etc.
The two research axes described above can be joined together
under the research thematics Models@Runtime. This
relatively recent thematics investigates ways to model the
execution state of distributed real time embedded systems. Any
change on the execution state of a system have to be reflected
on its model. Reversely, any change or alteration on a model
will cause a corresponding alteration on the execution state
of the system.
During my thesis work, I developed and contributed to the
development of several tools:
[1]
|
Wafa Gabsi, Bechir Zalila, , and Mohamed Jmaiel.
Extension and Adaptation of an Aspect Oriented Programming Language
for Real-time Systems.
International Journal of Business and Systems Research,
14(2):139--161, march 2020.
[ BibTeX |
DOI ]
|
[2]
|
Hana Mkaouar, Bechir Zalila, Jérôme Hugues, and Mohamed Jmaiel.
Towards a Formal Specification for an AADL Behavioural Subset Using
the LNT Language.
International Journal of Business and Systems Research,
14(2):162--190, march 2020.
[ BibTeX |
DOI ]
|
[3]
|
Hana Mkaouar, Bechir Zalila, Jérôme Hugues, and Mohamed Jmaiel.
A formal approach to AADL model-based software engineering.
International Journal on Software Tools for Technology
Transfer, 22(2):219--247, march 2020.
[ BibTeX |
DOI ]
|
[4]
|
Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Bechir Zalila, and Mohamed
Jmaiel.
Multi-objective design exploration approach for ravenscar real-time
systems.
Real-Time Systems, 54(2):424--483, 2018.
[ BibTeX |
DOI ]
|
[5]
|
Wafa Gabsi, Bechir Zalila, and Jérôme Hugues.
A development process for the design, implementation and code
generation of fault tolerant reconfigurable real time systems.
IJAACS, 9(3/4):269--287, 2016.
[ BibTeX |
DOI ]
|
[6]
|
Fatma Krichen, Brahim Hamid, Bechir Zalila, Mohamed Jmaiel, and Bernard
Coulette.
Development of reconfigurable distributed embedded systems with a
model-driven approach.
Concurrency and Computation: Practice and Experience,
27(6):1391--1411, 2015.
[ BibTeX |
DOI ]
|
[7]
|
Sihem Loukil, Slim Kallel, Bechir Zalila, and Mohamed Jmaiel.
AO4AADL: Aspect oriented extension for AADL.
Central European Journal of Computer Science, 3(2):43--68,
2013.
[ BibTeX |
DOI ]
|
[8]
|
J. Hugues, B. Zalila, L. Pautet, and F. Kordon.
From the Prototype to the Final Embedded System Using the Ocarina
AADL Tool Suite.
ACM Transactions in Embedded Computing Systems (TECS),
7(4):1--25, jul 2008.
[ BibTeX |
DOI ]
|
[9]
|
I. Hamid, B. Zalila, E. Najm, and J. Hugues.
Automatic framework generation for hard real-time applications.
Innovations in Systems and Software Engineering: A NASA
Journal, mar 2008.
[ BibTeX |
DOI ]
|
[10]
|
B. Zalila, J. Hugues, and L. Pautet.
An Improved IDL Compiler for Optimizing CORBA Applications.
ACM SIGAda Ada Letters, XXVI(3):21 -- 27, dec 2006.
Best student paper award.
[ BibTeX |
DOI ]
|
[1]
|
Hana Mkaouar, Bechir Zalila, Jérôme Hugues, and Mohamed Jmaiel.
An ocarina extension for AADL formal semantics generation.
In Proceedings of the 33rd Annual ACM Symposium on Applied
Computing, SAC 2018, Pau, France, April 09-13, 2018, pages 1402--1409,
2018.
[ BibTeX |
DOI |
HTML ]
|
[2]
|
Wafa Gabsi, Bechir Zalila, and Mohamed Jmaiel.
Development of a parser for the AADL error model annex.
In 16th IEEE/ACIS International Conference on Computer and
Information Science, ICIS 2017, Wuhan, China, May 24-26, 2017, pages
233--238, 2017.
[ BibTeX |
DOI |
HTML ]
|
[3]
|
Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Bechir Zalila, and Mohamed
Jmaiel.
Efficient Parallel Multi-Objective Optimization for Real-time
Systems Software Design Exploration.
In International Symposium on Rapid System Prototyping
(RSP'16), Pittsburgh, United States, October 2016.
[ BibTeX |
HTML ]
|
[4]
|
Wafa Gabsi, Bechir Zalila, and Mohamed Jmaiel.
AspectAda: An aspect oriented extension of ada for real-time
systems.
In 15th IEEE/ACIS International Conference on Computer and
Information Science, ICIS 2016, Okayama, Japan, June 26-29, 2016, pages
1--6, 2016.
[ BibTeX |
DOI |
HTML ]
|
[5]
|
Wafa Gabsi, Bechir Zalila, and Mohamed Jmaiel.
Extension of the Ocarina Tool Suite to Support Reliable
Replication-Based Fault-Tolerance.
In Reliable Software Technologies - Ada-Europe 2016 - 21st
Ada-Europe International Conference on Reliable Software Technologies, Pisa,
Italy, June 13-17, 2016, Proceedings, pages 129--144, 2016.
[ BibTeX |
DOI |
HTML ]
|
[6]
|
Wafa Gabsi, Bechir Zalila, and Mohamed Jmaïel.
EMA2AOP: from the AADL error model annex to aspect language
towards fault tolerant systems.
In 14th IEEE International Conference on Software Engineering
Research, Management and Applications, SERA 2016, Towson, MD, USA, June
8-10, 2016, pages 155--162, 2016.
[ BibTeX |
DOI |
HTML ]
|
[7]
|
Rahma Bouaziz, Laurent Lemarchand, Frank Singhoff, Bechir Zalila, and Mohamed
Jmaiel.
Architecture Exploration of Real-time Systems Based on
Multi-Objective Optimization.
In 20th International Conference on Engineering of Complex
Computer Systems (ICECCS 2015), Proceedings of the 20th International
Conference on Engineering of Complex Computer Systems (ICECCS 2015), Golden
Coast, Australia, December 2015.
11 pp.
[ BibTeX |
DOI ]
|
[8]
|
Hana Mkaouar, Bechir Zalila, Jérôme Hugues, and Mohamed Jmaiel.
From aadl model to lnt specification.
In Juan Antonio de la Puente and Tullio Vardanega, editors,
Reliable Software Technologies – Ada-Europe 2015, volume 9111 of
Lecture Notes in Computer Science, pages 146--161. Springer International
Publishing, 2015.
[ BibTeX |
DOI |
HTML ]
|
[9]
|
Wafa Gabsi, Rahma Bouaziz, and Bechir Zalila.
Towards an Aspect Oriented Language Compliant with Real Time
Constraints.
In 22nd IEEE International Workshops on Enabling Technologies:
Infrastructures for Collaborative Enterprises, WETICE 2013, Third trac on
Adaptive and Reconfigurable Service-oriented and Component-based Applications
and Architectures - AROSA 2013, Hammamet, Tunisia, 2013. IEEE Computer
Society.
[ BibTeX |
DOI ]
|
[10]
|
Wafa Gabsi and Bechir Zalila.
Fault Tolerance for Distributed Real Time Dynamically Reconfigurable
Systems from Modeling to Implementation.
In 22nd IEEE International Workshops on Enabling Technologies:
Infrastructures for Collaborative Enterprises, WETICE 2013, Third trac on
Adaptive and Reconfigurable Service-oriented and Component-based Applications
and Architectures - AROSA 2013, Hammamet, Tunisia, 2013. IEEE Computer
Society.
[ BibTeX |
DOI ]
|
[11]
|
Fatma Krichen, Amal Gassara, Bechir Zalila, and Mohamed Jmaiel.
Towards a Verification Approach for Reconfigurable Embedded
Systems.
In Computers and Communications (ISCC), 2012 IEEE Symposium on,
pages 750--752, july 2012.
[ BibTeX |
DOI ]
|
[12]
|
Fatma Krichen, Amal Ghorbel, Brahim Hamid, and Bechir Zalila.
An MDE-Based Approach for Reconfigurable Embedded Systems.
In 21st IEEE International Workshops on Enabling Technologies:
Infrastructures for Collaborative Enterprises, WETICE 2012, Second trac on
Adaptive and Reconfigurable Service-oriented and Component-based Applications
and Architectures - AROSA 2012, Toulouse, France, 2012. IEEE Computer
Society.
[ BibTeX |
DOI ]
|
[13]
|
Fatma Krichen, Brahim Hamid, Bechir Zalila, and Mohamed Jmaiel.
Design-Time Verification of Reconfigurable Real-time Embedded
Systems.
In High Performance Computing and Communication 2012 IEEE 9th
International Conference on Embedded Software and Systems (HPCC-ICESS), 2012
IEEE 14th International Conference on, pages 1487--1494, 2012.
[ BibTeX |
DOI ]
|
[14]
|
Fatma Krichen, Bechir Zalila, Mohamed Jmaiel, and Brahim Hamid.
A Middleware for Reconfigurable Distributed Real-Time Embedded
Systems.
In Roger Lee, editor, Software Engineering Research, Management
and Applications, SERA'2012, volume 430 of Studies in Computational
Intelligence, pages 81--96. Springer Berlin / Heidelberg, 2012.
[ BibTeX |
DOI ]
|
[15]
|
Fatma Krichen, Amal Gassara, Bechir Zalila, Brahim Hamid, and Mohamed Jmaiel.
Modélisation et vérification des systèmes embarqués
temps réel reconfigurables.
In 6ème Conférence Internationale Francophone sur les
Architectures Logicielles, Montpellier, France, 2012.
[ BibTeX ]
|
[16]
|
Fatma Krichen, Brahim Hamid, Bechir Zalila, and Mohamed Jmaiel.
Towards a Model-Based Approach for Reconfigurable DRE Systems.
In Software Architecture - 5th European Conference, ECSA 2011,
Essen, Germany, September 13-16, 2011. Proceedings, volume 6903 of
Lecture Notes in Computer Science, pages 295--302. Springer, 2011.
[ BibTeX |
DOI ]
|
[17]
|
Sihem Loukil, Slim Kallel, Bechir Zalila, and Mohamed Jmaiel.
Toward an Aspect Oriented ADL for Embedded Systems.
In Muhammad Babar and Ian Gorton, editors, Software
Architecture, volume 6285 of Lecture Notes in Computer Science. 4th
European Conference, ECSA 2010 Copenhagen, Denmark, August 23-26, 2010
Proceedings, pages 489--492. Springer Berlin / Heidelberg, Copenhagen -
Denmark, August 2010.
[ BibTeX |
DOI ]
|
[18]
|
Sihem Loukil, Slim Kallel, Bechir Zalila, and Mohamed Jmaiel.
AO4AADL: an Aspect Oriented ADL for Embedded Systems.
In the 10th Annual International Conference on New Technologies
of Distributed Systems - Notere 2010, a Demonstration Paper, Tozeur -
Tunisia, June 2010.
[ BibTeX ]
|
[19]
|
Fatma Krichen, Brahim Hamid, Bechir Zalila, and Bernard Coulette.
Designing Dynamic Reconfiguration for Distributed Real Time Embedded
Systems.
In New Technologies of Distributed Systems (NOTERE), 2010 10th
Annual International Conference on, pages 249--254, may 2010.
[ BibTeX |
DOI ]
|
[20]
|
G. Lasnier, B. Zalila, L. Pautet, and J. Hugues.
OCARINA: An Environment for AADL Models Analysis and Automatic Code
Generation for High Integrity Applications.
In Fabrice Kordon and Yvon Kermarrec, editors, Reliable Software
Technologies - Ada-Europe 2009, volume 5570 of Lecture Notes in
Computer Science, pages 237--250. Springer Berlin / Heidelberg, Brest,
France, jun 2009.
[ BibTeX |
DOI ]
|
[21]
|
B. Zalila, L. Pautet, and J. Hugues.
Towards Automatic Middleware Generation.
In 11th IEEE International Symposium on Object-oriented
Real-time distributed Computing (ISORC'08), pages 221--228, Orlando,
Florida, USA, may 2008.
[ BibTeX |
DOI ]
|
[22]
|
J. Hugues, L. Pautet, and B. Zalila.
From MDD to Full Industrial Process: Building Distributed Real-Time
Embedded Systems for the High-Integrity Domain.
In Monterey Workshop 2006, volume LNCS, pages 35--52, Paris,
France, jan 2008.
[ BibTeX |
DOI ]
|
[23]
|
J. Delange, J. Hugues, L. Pautet, and B. Zalila.
Code Generation Strategies from AADL Architectural Descriptions
Targeting the High Integrity Domain.
In 4th European Congress ERTS, Toulouse, France, jan 2008.
[ BibTeX ]
|
[24]
|
J. Hugues, L. Pautet, B. Zalila, P. Dissaux, and M. Perrotin.
Using AADL to build critical real-time systems:Experiments in the
IST-ASSERT project.
In 4th European Congress ERTS, Toulouse, France, jan 2008.
[ BibTeX ]
|
[25]
|
B. Zalila, I. Hamid, J. Hugues, and L. Pautet.
Generating Distributed High Integrity Applications from their
Architectural Description.
In 12th International Conference on Reliable Software
Technologies - Ada-Europe 2007, volume LNCS, pages 155--167, Geneva,
Switzerland, jun 2007.
[ BibTeX |
DOI ]
|
[26]
|
J. Hugues, B. Zalila, and L. Pautet.
Combining Model processing and Middleware Configuration for Building
Distributed High-Integrity Systems.
In 10th IEEE International Symposium on Object-oriented
Real-time distributed Computing (ISORC'07), pages 307--312, Santorini
Island, Greece, may 2007.
[ BibTeX |
DOI ]
|
[27]
|
J. Hugues, B. Zalila, L. Pautet, and F. Kordon.
Rapid Prototyping of Distributed Real-Time Embedded Systems Using
the AADL and Ocarina.
In 18th IEEE/IFIP International Workshop on Rapid System
Prototyping (RSP'07), pages 106--112, Porto Allegre Brésil, may 2007.
[ BibTeX |
DOI ]
|
[28]
|
I. Hamid, B. Zalila, E. Najm, and J. Hugues.
A generative approach to building a framework for hard real-time
applications.
In 31st Annual NASA Goddard Software Engineering Workshop,
pages 269--278, Baltimore, USA, mar 2007.
[ BibTeX |
DOI ]
|
[29]
|
J. Hugues, B. Zalila, and L.Pautet.
Middleware and Tool suite for High Integrity Systems.
In Work-in-Progress session of the Real-Time Systems Symposium
(RTSS'-WiP06), pages 1--4, Rio de Janeiro, Brésil, dec 2006.
[ BibTeX ]
|