Abstract
This paper presents methodology for the development of metrics for complex real-time systems design. The methodology uses incremental mechanisms in order to establish measurement parameters of cross-domain development process. It is an important objective to develop a cross-domain framework that addresses the requirements and constraints of several kind of industrial models. By promoting a strict increment-based design style and identifying increments that can be deployed in different application domains, the design and production costs of new applications can be significantly reduced by reusing components. We will provide in this paper an overview of parameters measurement of cross-domain development process based on MARTE (Modeling and Analysis of Real-Time and Embedded Systems) and B-event using two industrial case studies for development of wireless body network and triaxial apparatus system.
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
References
Object Managment Group, Uml profile for marte, Technical report (2007). http://www.omgmarte.org
Belarbi, M.: Formal modelling of real-time embedded automotive architecture. Soc. Des. Process. Sci. J. JIDP 13(2), 1–18 (2009)
Checkburn, A.: Using both incremental and iterative development. Humans and Technology CROSSTALK J. Def. Softw. Eng. 21(5), 27–30 (2008)
Ferrand, P., Maman, M., Goursaud, C., Gorce, J.-M., Ouvry, L.: Performance evaluation of direct and cooperative transmissions in body area networks. Ann. Telecommun. 66(213), 228 (2011)
Hariche, A., Belarbi, M., Chouarfia, A.: Embedded systems design using event-b theories. Int. J. Comput. Digit. Syst. 5(2) (2016). https://doi.org/10.12785/ijcds/050207
Abrial, J.R.: A system development process with Event-B and the rodin platform. In: Proceedings of the Formal Engineering Methods 9th International Conference on Formal Methods and Software engineering, ICFEM 2007, p. 13. Springer, Heidelberg (2007)
Cottet, F., Grollou, E.: Systémes Temps réel de Contrôle Commande -Implémentation et Conception. Dunod (2005)
Benahmed, K., Belarbi, M., Hariche, A., Benyamina, A.: Formal test and simulation environment for wireless body network. In: ICOST 2017 (2017)
Laredj, K., Belarbi, M., Benyamina, A.: Based incrementality measurement parameters of cross-domain methodologies. Momajournal 3(1), 42–48 (2015)
Islam, N., Misra, S.: Catastrophic collision in bio-nanosensor networks: does nit really matter? In: 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services (Healthcom), October 2013
Bauer, A., Romber, J., Ulrich, F., Mai, P., Braun, P., Ziegenbien, D., Schtz, B.: Incremental development for automotive software in AutoMoDe. In: Proceedings of the 3rd Workshop on Object-Oriented Modeling of Embedded Real-Time Systems (OMER3), Verlags schriftenreihe, Paderborn, Germany (2005)
Zouaneb, I., Belarbi, M., Chouarfia, A.: Multi approach for real time systems specification: case study of GPU parallel systems. IJBDI Int. J. Big Data Intell. 3, 122–141 (2016). Editeur: INDER SCIENCES Anne: (special issue)
Munson, J.C.: Software Engineering Measurement. Auerbach Publications, Boca Raton (2003)
Laredj, K., Belarbi, M.: Towards an incremental development for real-time and embedded system. Momajournal 2(1), 41–48 (2014)
Object Managment Group, Uml profile for MARTE: Modeling and analysis of Real-Time Embedded systems, Beta2, ptc/2008-06- 09. Object Management Group, June 2008
Antonova, I.: Model driven development of process control stems using UML profiles MARTE and SysML (2013)
Meftahi, S., Menad, I.H.: Modélisation numérique et étude expérimentale du comportement des sables (2013)
Abrial, J.R.: The Event-B Modelling Notation, version 5 (2007)
Lakhoua, M.N., Annabi, M.: Approach of analysis of methods SA, SADT and SART (2006)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Laredj, K., Belarbi, M., Benyamina, A.E. (2019). Metrics for Real-Time Solutions Design. In: Arai, K., Kapoor, S., Bhatia, R. (eds) Intelligent Computing. SAI 2018. Advances in Intelligent Systems and Computing, vol 857. Springer, Cham. https://doi.org/10.1007/978-3-030-01177-2_30
Download citation
DOI: https://doi.org/10.1007/978-3-030-01177-2_30
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-01176-5
Online ISBN: 978-3-030-01177-2
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)