Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
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)
Bortolussi. L., et al.: Verification of Complex Adaptive Systems (2015). http://homepage.lnu.se/staff/daweaa/papers/2015CASVerification.pdf
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)
Harel, D., et al.: STATEMATE: a working environment for the development of complex reactive systems. IEEE Trans. Softw. Eng. 16(4), 403–414 (1990)
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)
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). https://doi.org/10.1007/3-540-69687-3_45
Chan, W., et al.: Optimizing symbolic model checking for statecharts. IEEE Trans. Softw. Eng. 27(2), 170–190 (2001)
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)
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)
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)
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)
Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231–274 (1987)
Wasserman, A.: Extending state transition diagrams for the specification of human-computer interaction. IEEE Trans. Softw. Eng. 11(8), 699–713 (1985)
Ross, D.: Structured analysis (SA): a language for communicating ideas. IEEE Trans. Softw. Eng. SE-3(1), 16–34 (1997)
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)
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)
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-4
Hompel, M., Schmidt, T., Nagel, L.: Materialflusssysteme: Förder und Lagertechnik (Material Flow Systems: Conveyor and Storage Techniques). Springer, Berlin (2007). https://doi.org/10.1007/978-3-540-73236-5. ISBN 978-3-540-73235-8
IEC 61131-3: Programmable controllers – part 3: programming languages, International Standard, International Electrotechnical Commission (2013)
PROFIBUS Nutzerorganisation e.V., “Pi White Paper: The PROFIenergy Profile,” Karlsruhe, Germany, pp. 10–11 (2010)
Acknowledgement
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.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Khlifi, O., Siegwart, C., Mosbahi, O., Khalgui, M., Frey, G. (2018). From Specification to Implementation of an Automotive Transport System. In: Cabello, E., Cardoso, J., Maciaszek, L., van Sinderen, M. (eds) Software Technologies. ICSOFT 2017. Communications in Computer and Information Science, vol 868. Springer, Cham. https://doi.org/10.1007/978-3-319-93641-3_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-93641-3_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-93640-6
Online ISBN: 978-3-319-93641-3
eBook Packages: Computer ScienceComputer Science (R0)