MILP-based Approach for Optimal Implementation of Reconfigurable Real-time Systems

Wafa Lakhdhar, Rania Mzid, Mohamed Khalgui, Nicolas Treves

2016

Abstract

This paper deals with the design and implementation of reconfigurable uniprocessor real-time embedded systems. A reconfiguration is a run-time operation allowing the addition-removal of real-time tasks or the update of their parameters. The system is implemented then by different sets of tasks such that only one is executed at a particular time after a corresponding reconfiguration scenario according to user requirements. The problem is to optimize the system code while meeting all related real-time constraints and avoiding any redundancy between the implementation sets. Based on the Linear Programming (MILP), we propose a multi-objective optimization technique allowing the minimization of the number of tasks and their response times. An optimal reconfigurable POSIX-based code of the system is manually generated as an output of this technique. We apply the paper’s contribution to the study of the performance evaluation.

References

  1. Bertout, A., Forget, J., and Olejnik, R. (2014). Minimizing a real-time task set through task clustering. In Proceedings of the 22nd International Conference on Real-Time Networks and Systems, Versailles, France, page 23. ACM.
  2. Bouaziz, R., Lemarchand, L., Singhoff, F., Zalila, B., and Jmaiel, M. (2015). Architecture exploration of real-time systems based on multi-objective optimization. In Proceedings of the 20nd International Conference on Engineering of Complex Computer Systems (ICECCS), Gold Coast, QLD, pages 1-10. IEEE.
  3. Burns, A. and Wellings, A. (2009). Real-Time Systems and Programming Languages: Ada, Real-Time Java and C/Real-Time POSIX. Addison-Wesley Educational Publishers Inc, USA, 4nd edition.
  4. Cottet, F. and Grolleau, E. (2005). Systmes Temps Réel de Controˆle-Commande. Dunod, Paris.
  5. Gharsellaoui, H., Gharbi, A., Khalgui, M., and Ahmed, S. (2012). Feasible automatic reconfigurations of realtime os tasks. Handbook of Research on Industrial Informatics and Manufacturing Intelligence: Innovations and Solutions: Innovations and Solutions.
  6. Klein, M., Ralya, T., Pollak, B., Obenza, R., and Harbour, M. G. (1993). Analyzing complex systems. In Proceedings of Real-Time Analysis, US, pages 535-578. Springer.
  7. Krichen, F., Hamid, B., Zalila, B., and Coulette, B. (2010). Designing dynamic reconfiguration for distributed real time embedded systems. In Proceedings of 10th Annual International Conference on New Technologies of Distributed Systems (NOTERE), Tozeur, Tunisia, pages 249-254. IEEE.
  8. Lewine, D. (1991). POSIX programmers guide. O'Reilly Media, Inc., USA.
  9. Liu, C. and Layland, J. (1973). Scheduling algorithms for multiprogramming in a hard-real-time environment. Journal of the ACM (JACM), 20(1):46-61.
  10. Mehiaoui, A., Wozniak, E., Tucci-Piergiovanni, S., Mraidha, C., Natale, M. D., Zeng, H., Babau, J., Lemarchand, L., and Gerard, S. (2013). A two-step optimization technique for functions placement, partitioning, and priority assignment in distributed systems. ACM SIGPLAN Notices, 48(5):121-132.
  11. Obenland, K. M. (2000). The use of posix in real-time systems, assessing its effectiveness and performance. The MITRE Corporation.
  12. Pagetti, C., Forget, J., Boniol, F., Cordovilla, M., and Lesens, D. (2011). Multi-task implementation of multi-periodic synchronous programs. Discrete event dynamic systems, pages 307-338.
  13. Pillai, P. and Shin, K. (2001). Real-time dynamic voltage scaling for low-power embedded operating systems. In Proceedings of the 13th Euromicro Conference on Real-Time Systems, USA, pages 59-66. ACM.
  14. Pillai, P. and Shin, K. (2012). Taste-an open-source toolchain for embedded system and software development. In Proceedings of the Embedded Real Time Software and Systems Conference (ERTS), Toulouse, France.
Download


Paper Citation


in Harvard Style

Lakhdhar W., Mzid R., Khalgui M. and Treves N. (2016). MILP-based Approach for Optimal Implementation of Reconfigurable Real-time Systems . In Proceedings of the 11th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2016) ISBN 978-989-758-194-6, pages 330-335. DOI: 10.5220/0006006703300335


in Bibtex Style

@conference{icsoft-ea16,
author={Wafa Lakhdhar and Rania Mzid and Mohamed Khalgui and Nicolas Treves},
title={MILP-based Approach for Optimal Implementation of Reconfigurable Real-time Systems},
booktitle={Proceedings of the 11th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2016)},
year={2016},
pages={330-335},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006006703300335},
isbn={978-989-758-194-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2016)
TI - MILP-based Approach for Optimal Implementation of Reconfigurable Real-time Systems
SN - 978-989-758-194-6
AU - Lakhdhar W.
AU - Mzid R.
AU - Khalgui M.
AU - Treves N.
PY - 2016
SP - 330
EP - 335
DO - 10.5220/0006006703300335