A survey of limitations and enhancements of the ipv6
routing protocol for low-power and lossy networks: A
focus on core operations. IEEE Communications Sur-
veys & Tutorials.
Ghribi, I., Abdallah, R. B., Khalgui, M., Li, Z., Alnowi-
bet, K., and Platzner, M. (2018). R-codesign: Code-
sign methodology for real-time reconfigurable embed-
ded systems under energy constraints. IEEE Access,
6:14078–14092.
Gnawali, O. and Levis, P. (2012). The minimum rank with
hysteresis objective function. Technical report.
Gu, C., Li, Z., Wu, N., Khalgui, M., Qu, T., and Al-Ahmari,
A. (2018). Improved multi-step look-ahead control
policies for automated manufacturing systems. IEEE
Access, 6:68824–68838.
Guo, J., Orlik, P., and Bhatti, G. (2013). Loop free dodag lo-
cal repair. draft-guo-roll-loop-free-dodag-repair-01.
Hafidi, Y., Kahloul, L., Khalgui, M., Li, Z., Alnowibet, K.,
and Qu, T. (2018). On methodology for the verifica-
tion of reconfigurable timed net condition/event sys-
tems. IEEE Transactions on Systems, Man, and Cy-
bernetics: Systems, (99):1–15.
Hafidi., Y., Kahloul., L., Khalgui., M., and Ramdani., M.
(2019). On improved verification of reconfigurable
real-time systems. In Proceedings of the 14th Interna-
tional Conference on Evaluation of Novel Approaches
to Software Engineering - Volume 1: ENASE,, pages
394–401. INSTICC, SciTePress.
Karoui, O., Khalgui, M., Koub
ˆ
aa, A., Guerfala, E., Li, Z.,
and Tovar, E. (2017). Dual mode for vehicular platoon
safety: Simulation and formal verification. Informa-
tion Sciences, 402:216–232.
Khalgui, M., Carpanzano, E., and Hanisch, H.-M. (2008).
An optimised simulation of component-based em-
bedded systems in manufacturing industry. Interna-
tional Journal of Simulation and Process Modelling,
4(2):148–162.
Khalgui, M., Mosbahi, O., and Li, Z. (2019). On recon-
figuration theory of discrete-event systems: From ini-
tial specification until final deployment. IEEE Access,
7:18219–18233.
Khalgui, M., Rebeuf, X., and Simonot-Lion, F. (2005). A
schedulability analysis of an iec-61499 control appli-
cation. IFAC Proceedings Volumes, 38(2):71–78.
Khalgui, M., Rebeuf, X., and Simonot-Lion, F. (2007). A
deployment method of component based applications
on distributed industrial control systems. European
Jounal of Automated Systems, 41(6):707–732.
Khalgui, M. and Thramboulidis, K. (2008). An iec61499-
based development approach for distributed industrial
control applications. International Journal of Mod-
elling Identification and Control, 4(2):186.
Khallef, W., Molnar, M., Benslimane, A., and Durand, S.
(2017). Multiple constrained qos routing with rpl. In
2017 IEEE International Conference on Communica-
tions (ICC), pages 1–6. IEEE.
Kim, H.-S., Cho, H., Kim, H., and Bahk, S. (2017a). Dt-rpl:
Diverse bidirectional traffic delivery through rpl rout-
ing protocol in low power and lossy networks. Com-
puter Networks, 126:150–161.
Kim, H.-S., Kim, H., Paek, J., and Bahk, S. (2017b). Load
balancing under heavy traffic in rpl routing protocol
for low power and lossy networks. IEEE Transactions
on Mobile Computing, 16(4):964–979.
Kumar, A., Zhao, M., Wong, K.-J., Guan, Y. L., and Chong,
P. H. J. (2018). A comprehensive study of iot and
wsn mac protocols: Research issues, challenges and
opportunities. IEEE Access, 6:76228–76262.
Lakhdhar, W., Mzid, R., Khalgui, M., Li, Z., Frey, G., and
Al-Ahmari, A. (2018). Multiobjective optimization
approach for a portable development of reconfigurable
real-time systems: From specification to implementa-
tion. IEEE Transactions on Systems, Man, and Cyber-
netics: Systems, (99):1–15.
Lamaazi, H. and Benamar, N. (2017). Rpl enhancement us-
ing a new objective function based on combined met-
rics. In 2017 13th International Wireless Communi-
cations and Mobile Computing Conference (IWCMC),
pages 1459–1464. IEEE.
Lodhi, M. A., Rehman, A., Khan, M. M., and Hussain, F. B.
(2015). Multiple path rpl for low power lossy net-
works. In 2015 IEEE Asia Pacific Conference on Wire-
less and Mobile (APWiMob), pages 279–284. IEEE.
Molisch, A. F., Balakrishnan, K., Chong, C.-C., Emami, S.,
Fort, A., Karedal, J., Kunisch, J., Schantz, H., Schus-
ter, U., and Siwiak, K. (2004). Ieee 802.15. 4a channel
model-final report. IEEE P802, 15(04):0662.
Naidji, I., Smida, M. B., Khalgui, M., and Bachir, A.
(2018). Non cooperative game theoretic approach
for residential energy management in smart grid. In
The 32nd Annual European Simulation and Modelling
Conference, pages 164–170, Ghent, Belgium.
Qin, M., Li, Z., Zhou, M., Khalgui, M., and Mos-
bahi, O. (2012). Deadlock prevention for a class of
petri nets with uncontrollable and unobservable tran-
sitions. IEEE Transactions on Systems, Man, and
Cybernetics-Part A: Systems and Humans, 42(3):727–
738.
Ramdani, M., Kahloul, L., and Khalgui, M. (2018). Au-
tomatic properties classification approach for guiding
the verification of complex reconfigurable systems. In
Proceedings of the 13th International Conference on
Software Technologies - Volume 1: ICSOFT,, pages
591–598. INSTICC, SciTePress.
Ramdani., M., Kahloul., L., Khalgui., M., and Hafidi., Y.
(2019). R-TNCES rebuilding: A new method of ctl
model update for reconfigurable systems. In Proceed-
ings of the 14th International Conference on Eval-
uation of Novel Approaches to Software Engineer-
ing - Volume 1: ENASE,, pages 159–168. INSTICC,
SciTePress.
Shelby, Z., Chakrabarti, S., Nordmark, E., and Bormann, C.
(2012). Neighbor discovery optimization for ipv6 over
low-power wireless personal area networks (6low-
pans). Technical report.
Talebi, M., Papatsimpa, C., and Linnartz, J.-P. M. (2018).
Dynamic performance analysis of ieee 802.15. 4 net-
works under intermittent wi-fi interference. In 2018
IEEE 29th Annual International Symposium on Per-
sonal, Indoor and Mobile Radio Communications
(PIMRC), pages 1–7. IEEE.
ICSOFT 2019 - 14th International Conference on Software Technologies
568