From Specification to Implementation of an Automotive Transport System

  • Oussama KhlifiEmail author
  • Christian Siegwart
  • Olfa Mosbahi
  • Mohamed Khalgui
  • Georg Frey
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 868)


Reconfiguration is often a major undertaking for systems because it can violate memory usage, the required energy and the concerned real-time constraints. The languages in which adaptive probabilistic systems are specified should be clear and intuitive, and thus accessible to generation, inspection and modification by humans. This paper introduces a new specification approach for adaptive probabilistic discrete event systems running under resources constraints. The semantics of the formalism GR-TNCES are presented to optimize the specification approach and applied to specify the requirements of an automotive transport system to prove its relevance. Then, we model, simulate and implement the proposed case study.


Requirement specification Adaptive systems Statecharts Modeling 



This work was supported by Zentrum für Mechatronik und Automatisierungstechnik” (ZeMA) and “ERASMUS + Program” at Saarland University – promoted by the European Program. This research work is a collaboration between Saarland University, Germany and University of Carthage, Tunisia.


  1. 1.
    Khlifi, O., Mosbahi, O., Khalgui, M., Frey, G.: GR-TNCES: new extensions of R-TNCES for modeling and verification of flexible systems under energy and memory constraints. In: International Conference on Software Technologies, Colmar, France, pp. 373–380 (2015)Google Scholar
  2. 2.
    Bortolussi. L., et al.: Verification of Complex Adaptive Systems (2015).
  3. 3.
    Zhang, J., Khalgui, M., Li, Z.W., Mosbahi, O., Al-Ahmari, A.M.: R-TNCES: a novel formalism for reconfigurable discrete event control systems. IEEE Trans. Syst. Man Cybern. Syst. 43(4), 757–772 (2013)CrossRefGoogle Scholar
  4. 4.
    Harel, D., et al.: STATEMATE: a working environment for the development of complex reactive systems. IEEE Trans. Softw. Eng. 16(4), 403–414 (1990)CrossRefGoogle Scholar
  5. 5.
    Leveson, N.G., Heimdahl, M.P.E., Hildreth, H., Reese, J.D.: Requirements specification for process-control systems. IEEE Trans. Softw. Eng. 20(9), 684–707 (1994)CrossRefGoogle Scholar
  6. 6.
    Bastide, R., Buchs, D.: Models, formalisms and methods for object-oriented distributed computing. In: Bosch, J., Mitchell, S. (eds.) ECOOP 1997. LNCS, vol. 1357, pp. 221–255. Springer, Heidelberg (1998). Scholar
  7. 7.
    Chan, W., et al.: Optimizing symbolic model checking for statecharts. IEEE Trans. Softw. Eng. 27(2), 170–190 (2001)CrossRefGoogle Scholar
  8. 8.
    Khlifi, O., Siegwart, C., Mosbahi, O., Khalgui, M., Frey, G.: Specification approach using GR-TNCES -application to an automotive transport system. In: 12th International Conference on Software Technologies, Madrid, Spain (2017)Google Scholar
  9. 9.
    Andrade, E., Maciel, P., Callou, G., Nogueira, B.: A methodology for mapping SysML activity diagram to time petri net for requirement validation of embedded real-time systems with energy constraints. In: 3rd International Conference on Digital Society, Cancun, Mexico, pp. 266–271 (2009)Google Scholar
  10. 10.
    Salem, M.O.B., Mosbahi, O., Khalgui, M., Frey, G.: ZiZo: modeling, simulation and verification of reconfigurable real-time control tasks sharing adaptive resources: application to the medical project BROS. In: International Conference on Health Informatics, Portugal, pp. 20–31 (2015)Google Scholar
  11. 11.
    Chen, Y.F., Li, Z.W., Zhou, M.C.: Optimal supervisory control of flexible manufacturing systems by petri nets: a set classification approach. IEEE Trans. Autom. Sci. Eng. 11(2), 549–563 (2014)CrossRefGoogle Scholar
  12. 12.
    Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231–274 (1987)MathSciNetCrossRefGoogle Scholar
  13. 13.
    Wasserman, A.: Extending state transition diagrams for the specification of human-computer interaction. IEEE Trans. Softw. Eng. 11(8), 699–713 (1985)CrossRefGoogle Scholar
  14. 14.
    Ross, D.: Structured analysis (SA): a language for communicating ideas. IEEE Trans. Softw. Eng. SE-3(1), 16–34 (1997)CrossRefGoogle Scholar
  15. 15.
    Zedan, H., Cau, A., Chen, Z.: Yang. H.: ATOM: an object-based formal method for real-time systems. Ann. Softw. Eng. 7, 235–256 (1999)CrossRefGoogle Scholar
  16. 16.
    El-kustaban, A., Moszkowski, B., Cau, A.: Specification analysis of transactional memory using ITL and AnaTempura. In: Lecture Notes in Engineering and Computer Science, pp. 176–181 (2012)Google Scholar
  17. 17.
    Khlifi, O., Siegwart, C., Mosbahi, O., Khalgui, M., Frey, G.: Modeling and simulation of an energy efficient skid conveyor using ZIZO. In: 13th International Conference on Informatics in Control, Automation and Robotics (ICINCO), Lisbon, Portugal, pp. 551–558 (2016). ISBN 978-989-758-198-4Google Scholar
  18. 18.
    Hompel, M., Schmidt, T., Nagel, L.: Materialflusssysteme: Förder und Lagertechnik (Material Flow Systems: Conveyor and Storage Techniques). Springer, Berlin (2007). ISBN 978-3-540-73235-8CrossRefGoogle Scholar
  19. 19.
    IEC 61131-3: Programmable controllers – part 3: programming languages, International Standard, International Electrotechnical Commission (2013)Google Scholar
  20. 20.
    PROFIBUS Nutzerorganisation e.V., “Pi White Paper: The PROFIenergy Profile,” Karlsruhe, Germany, pp. 10–11 (2010)Google Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  • Oussama Khlifi
    • 1
    • 2
    • 4
    Email author
  • Christian Siegwart
    • 2
  • Olfa Mosbahi
    • 3
  • Mohamed Khalgui
    • 3
    • 5
  • Georg Frey
    • 1
    • 2
  1. 1.Chair of AutomationSaarland UniversitySaarbrückenGermany
  2. 2.ZeMA – Zentrum fur Mechatronik und Automatisierungstechnik gemeinnützige GmbHSaarbrückenGermany
  3. 3.LISI Laboratory, INSATUniversity of CarthageTunisTunisia
  4. 4.Polytechnic School of TunisiaUniversity of CarthageTunisTunisia
  5. 5.School of Electro-Mechanical EngineeringXidian UniversityXi’anChina

Personalised recommendations