{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T17:11:44Z","timestamp":1654103504214},"reference-count":26,"publisher":"IGI Global","issue":"4","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,10,1]]},"abstract":"<p>This paper describes a reliability approach based on a coupling of discrete and continuous dynamics simulation of embedded systems. This hybrid simulation is a combination in the same formalism of the discrete simulation of an algorithm allowing the extraction of feared scenarios that lead an embedded system to a critical situation without generating the associated reachability graph in order to avoid the eternal combinative explosion problem, and, the continuous dynamics of the embedded system represented by a Java code. The simulation of discrete and continuous dynamics is coupled in object-oriented stopwatch Petri net models that allow the representation of the suspension and resumption of task execution.<\/p>","DOI":"10.4018\/ijertcs.2013100102","type":"journal-article","created":{"date-parts":[[2014,6,17]],"date-time":"2014-06-17T14:55:09Z","timestamp":1403016909000},"page":"27-47","source":"Crossref","is-referenced-by-count":0,"title":["Hybrid Simulation Based Approach for Embedded Systems Reliability Analysis"],"prefix":"10.4018","volume":"4","author":[{"given":"Afifa","family":"Ghenai","sequence":"first","affiliation":[{"name":"LIRE Laboratory, Constantine II University, Constantine, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Benmohammed","sequence":"additional","affiliation":[{"name":"LIRE Laboratory, Constantine II University, Constantine, Algeria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"2432","reference":[{"key":"ijertcs.2013100102-0","unstructured":"Allahham, A., & Alla, H. (2007). R\u00e9seaux de Petri \u00e0 chronom\u00e8tres Post et Pr\u00e9 initialis\u00e9s. 6\u00e8me colloque francophone sur la mod\u00e9lisation des syst\u00e8mes r\u00e9actifs, Lyon, France."},{"key":"ijertcs.2013100102-1","doi-asserted-by":"publisher","DOI":"10.1080\/00207540412331312688"},{"key":"ijertcs.2013100102-2","unstructured":"Berthomieu, B., & Vernadat, F. (2006). Time Petri Nets Analysis with TINA. In Proceedings of 3rd Int. Conf. on The Quantitative Evaluation of Systems. IEEE Computer Society."},{"key":"ijertcs.2013100102-3","unstructured":"Chabot, J. L. (1998). Approche probabiliste relative \u00e0 l\u2019\u00e9tude des sc\u00e9narios d\u2019incendie. Thesis, Universit\u00e9 de Poitiers."},{"key":"ijertcs.2013100102-4","unstructured":"Chabot, J. L., Dutuit, Y., & Rauzy, A. (2001). De l\u2019usage de la simulation de Mont\u00e9 Carlo coupl\u00e9e aux r\u00e9seaux de Petri en s\u00fbret\u00e9 de fonctionnement. In Proceedings of the MOSIM\u201901, Troyes, France."},{"key":"ijertcs.2013100102-5","author":"K.Durga Rao","year":"2009","journal-title":"Dynamic fault tree analysis using Monte Carlo simulation in probabilistic safety assessment. Journal of Reliability Engineering & System Safety"},{"key":"ijertcs.2013100102-6","unstructured":"Gandibleux, J., Cauffriez, L., & Branger, G. (2012). RAM assessment of a dynamic hybrid system by Petri nets: Application to a passenger access. In Proceedings of the 18e Congr\u00e8s de Ma\u00eetrise des Risques et S\u00fbret\u00e9 de Fonctionnement, Tours, France."},{"key":"ijertcs.2013100102-7","author":"A.Garc\u00eda","year":"2012","journal-title":"A simulation-based flexible platform for the design and evaluation of rail service infrastructures. Journal of Simulation Modelling Practice and Theory"},{"issue":"5","key":"ijertcs.2013100102-8","first-page":"33","article-title":"Reliability assessment of embedded systems using stopwatch petri nets. International Journal of Computer Science","volume":"2","author":"A.Ghenai","year":"2012","journal-title":"Engineering and Applications"},{"key":"ijertcs.2013100102-9","doi-asserted-by":"publisher","DOI":"10.5121\/ijcsit.2013.5310"},{"key":"ijertcs.2013100102-10","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2052607"},{"key":"ijertcs.2013100102-11","unstructured":"Khalfaoui, S. (2003). M\u00e9thode de recherche des sc\u00e9narios redout\u00e9s pour l\u2019\u00e9valuation de la s\u00fbret\u00e9 de fonctionnement des syst\u00e8mes m\u00e9catroniques du monde automobile. Thesis, Institut National Polytechnique, Toulouse, France."},{"key":"ijertcs.2013100102-12","article-title":"Generating capacity reliability evaluation based on Monte Carlo simulation and cross-entropy methods.","author":"A. M.Leite da Silva","year":"2010","journal-title":"IEEE Transactions on Power Systems"},{"key":"ijertcs.2013100102-13","doi-asserted-by":"publisher","DOI":"10.1061\/(ASCE)EM.1943-7889.0000394"},{"key":"ijertcs.2013100102-14","author":"Y. K.Lin","year":"2013","journal-title":"Simulation approach to estimate the system reliability of a time-based capacitated flow network susceptible to correlated failures. Journal of Simulation Modelling Practice and Theory"},{"key":"ijertcs.2013100102-15","author":"M.Magnin","year":"2009","journal-title":"Expressiveness of petri nets with stopwatches. Dense-time part"},{"key":"ijertcs.2013100102-16","unstructured":"Medjoudj, M. (2006). Contribution \u00e0 l\u2019analyse des syst\u00e8mes pilot\u00e9s par ordinateurs: Extraction de sc\u00e9narios redout\u00e9s et v\u00e9rification de contraintes temporelles. Thesis, Paul Sabatier University, Toulouse, France."},{"key":"ijertcs.2013100102-17","unstructured":"Muller, A., Demouge, F., Fromy, P., & Brilhac, J. F. (2008). Fire safety: Development of an hybrid, stochastic and numerical approach. In Proceedings of the 16e Congr\u00e8s de Ma\u00eetrise des Risques et S\u00fbret\u00e9 de Fonctionnement, Avignon, France."},{"key":"ijertcs.2013100102-18","doi-asserted-by":"crossref","unstructured":"P\u00e9rez Casta\u00f1eda, G. A., Aubry, J. F., & Brinzei, N. (2011). Stochastic hybrid automata model for dynamic reliability assessment. Journal of Risk and Reliability.","DOI":"10.1177\/1748006XJRR312"},{"key":"ijertcs.2013100102-19","doi-asserted-by":"crossref","unstructured":"Raychaudhuri, S. (2008). Introduction to Monte Carlo simulation. In Proceedings of the 2008 Winter Simulation Conference.","DOI":"10.1109\/WSC.2008.4736059"},{"key":"ijertcs.2013100102-20","doi-asserted-by":"crossref","unstructured":"Roux, O. H., & Lime, D. (2004). Time petri nets with inhibitor hyperarcs: Formal semantics and state space computation. In Proceedings of the International Conference on Applications and Theory of Petri Nets.","DOI":"10.1007\/978-3-540-27793-4_21"},{"key":"ijertcs.2013100102-21","unstructured":"Sadou, N. (2007). Aide \u00e0 la conception des syst\u00e8mes embarqu\u00e9s s\u00fbrs de fonctionnement. Thesis, Toulouse III University- Paul Sabatier, France."},{"key":"ijertcs.2013100102-22","author":"C.Swinerd","year":"2012","journal-title":"Design classes for hybrid simulations involving agent-based and system dynamics models. Journal of Simulation Modelling Practice and Theory"},{"key":"ijertcs.2013100102-23","unstructured":"TINA. (n.d.). Retrieved from http:\/\/www.laas.fr\/tina\/"},{"key":"ijertcs.2013100102-24","author":"Y. S.Yang","year":"2012","journal-title":"An online optimization method for bridge dynamic hybrid simulations. Journal of Simulation Modelling Practice and Theory"},{"key":"ijertcs.2013100102-25","unstructured":"Youli, S., & Nagasaka, K. (2010). Monte Carlo simulation method used in reliability evaluation of a laboratory-based micro grid. In Proceeding of MultiConference of Engineers and Computer Scientists, Hong Kong."}],"container-title":["International Journal of Embedded and Real-Time Communication Systems"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=109639","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T16:28:18Z","timestamp":1654100898000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/ijertcs.2013100102"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2013,10,1]]},"references-count":26,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2013,10]]}},"URL":"https:\/\/doi.org\/10.4018\/ijertcs.2013100102","relation":{},"ISSN":["1947-3176","1947-3184"],"issn-type":[{"value":"1947-3176","type":"print"},{"value":"1947-3184","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,10,1]]}}}