{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T21:18:06Z","timestamp":1761513486578},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319091556"},{"type":"electronic","value":"9783319091563"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-09156-3_38","type":"book-chapter","created":{"date-parts":[[2014,7,2]],"date-time":"2014-07-02T07:15:22Z","timestamp":1404285322000},"page":"541-555","source":"Crossref","is-referenced-by-count":7,"title":["Modeling of Embedded System Using SysML and Its Parallel Verification Using DiVinE Tool"],"prefix":"10.1007","author":[{"given":"Muhammad Abdul","family":"Basit Ur Rahim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fahim","family":"Arif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jamil","family":"Ahmad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"O.M.G. OMG System Modeling Language (OMG SysML) specification. Specification document of System Modeling Language (SysML) (June 2012)","key":"38_CR1"},{"unstructured":"Vanderperren, Y., Dehaene, W.: SysML_SE_applied_to_SoC.pdf, \n                    \n                      http:\/\/www.omgsysml.org\/SysML_SE_applied_to_SoC.pdf","key":"38_CR2"},{"unstructured":"SysML Tools, \n                    \n                      http:\/\/www.sysmltools.com\/\n                    \n                    \n                   (accessed September 24, 2013)","key":"38_CR3"},{"doi-asserted-by":"crossref","unstructured":"Bouyer, P.: Model-checking Timed Temporal Logics. In: Bouyer, P. (ed.) Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007). Electronic Notes in Theoretical Computer Science, vol.\u00a0231, pp. 323\u2013341 (March 25, 2009)","key":"38_CR4","DOI":"10.1016\/j.entcs.2009.02.044"},{"key":"38_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"863","DOI":"10.1007\/978-3-642-39799-8_60","volume-title":"Computer Aided Verification","author":"J. Barnat","year":"2013","unstructured":"Barnat, J., et al.: DiVinE 3.0 \u2013 An Explicit-State Model Checker for Multithreaded C & C++ Programs. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol.\u00a08044, pp. 863\u2013868. Springer, Heidelberg (2013)"},{"unstructured":"Siegel, S.F.: Verifying Parallel Programs with MPI-Spin 2007, \n                    \n                      http:\/\/pvmmpi07.lri.fr\/tutorial2.html\n                    \n                    \n                   (accessed November 2, 2013)","key":"38_CR6"},{"doi-asserted-by":"crossref","unstructured":"Basit Ur Rahim, M.A., Arif, F., Ahmad, J.: Parallel verification of UML using DiVinE tool. In: 2013 5th International Conference on Computer Science and Information Technology (CSIT), Amman, Jordan, March 27-28 (2013)","key":"38_CR7","DOI":"10.1109\/CSIT.2013.6588757"},{"key":"38_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/978-3-642-15898-8_7","volume-title":"Formal Methods for Industrial Critical Systems","author":"A.S. Mashiyat","year":"2010","unstructured":"Mashiyat, A.S., Rabbi, F., Wang, H., MacCaull, W.: An automated translator for model checking time constrained workflow systems. In: Kowalewski, S., Roveri, M. (eds.) FMICS 2010. LNCS, vol.\u00a06371, pp. 99\u2013114. Springer, Heidelberg (2010)"},{"doi-asserted-by":"crossref","unstructured":"Jarraya, Y., Alawneh, L., Hassaine, F., Bebbabi, M.: A unified approach for verification and validation of systems and software. In: 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, ECBS 2006, Potsdam, March 27-30 (2006)","key":"38_CR9","DOI":"10.1109\/ECBS.2006.17"},{"doi-asserted-by":"crossref","unstructured":"Debbabi, M., Jarraya, Y., Soeanu, A., Mourad, D.: Automatic verification and performance analysis of tme-constrained sysML activity diagrams. In: 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-based Systems, ECBS 2007, Tucson, AZ, March 26-29 (2007)","key":"38_CR10","DOI":"10.1109\/ECBS.2007.22"},{"doi-asserted-by":"crossref","unstructured":"Viehl, A., Sander, B., Bringmann, O., Rosenstie, W.: Integrated requirement evaluation of non-functional. In: Forum on Specification, Verification and Design Languages, FDL 2008, Stuttgart, September 23-25 (2008)","key":"38_CR11","DOI":"10.1109\/FDL.2008.4641430"},{"unstructured":"Marcello, M., Murillo, L.G., Prevostini, M.: Model-based design space exploration for RTES with SysML and MARTE. In: Forum on Specification, Verification and Design Languages, FDL 2008, Stuttgart, September 23-25 (2008)","key":"38_CR12"},{"doi-asserted-by":"crossref","unstructured":"Kawahara, R., Nakamura, H.: Verification of embedded system\u2019s specification using collaborative simulation of SysML and simulink models. In: International Conference on Model-based Systems Engineering, MBSE 2009, Haifa, March 2-5 (2009)","key":"38_CR13","DOI":"10.1109\/MBSE.2009.5031716"},{"unstructured":"Petin, J.F., Evrot, D., Morel, G., Lamy, P.: Combining SysML and formal models for safety requirements verification. In: 22nd International Conference on Software & Systems Engineering and their Applications, Paris, November 1-5","key":"38_CR14"},{"doi-asserted-by":"crossref","unstructured":"Linhares, M., de Oliveira, R., Farines, J., Vernadat, F.: Introducing the modeling and verification process in SysML. In: ETFA 2007 - 12th IEEE Int. Conf. on Emerging Technologies and Factory Automation, Patras, September 25-28 (2007)","key":"38_CR15","DOI":"10.1109\/EFTA.2007.4416788"},{"unstructured":"Mazzini, S., Puri, S., Mari, F., Melatti, I., Enrico, T.: Formal verification at system level. In: DAta Systems in Aerospace (DASIA), Org. EuroSpace, Canadian Space Agency, CNES, ESA, EUMETSAT, Instanbul, Turkey (2009)","key":"38_CR16"},{"doi-asserted-by":"crossref","unstructured":"Knorreck, D., Apvrille, L.: TEPE: A SysML language for time-sonstrained property modeling and formal verification. ACM SIGSOFT Software Engineering Notes\u00a01 (January 2011)","key":"38_CR17","DOI":"10.1145\/1921532.1921556"},{"doi-asserted-by":"crossref","unstructured":"Basit Ur Rahim, M.A., Arif, F., Ahmad, J.: Formal verification of sequence diagram using DiVinE. In: International Conference on Computer Software and Applications (ICCSA 2014), Hammamet, Tunisia (January 2014)","key":"38_CR18","DOI":"10.1109\/WCCAIS.2014.6916659"},{"doi-asserted-by":"crossref","unstructured":"Basit Ur Rahim, M.A., Arif, F., Ahmad, J.: Modeling of real-time embedded system using SysML and its verification using UPPAAL and DiVinE. In: International Conference on Software Engineering and Service Science (ICSESS 2014), Beijing, Chine, June 2-29 (2014)","key":"38_CR19","DOI":"10.1109\/ICSESS.2014.6933529"},{"unstructured":"Petin, J.F., Evrot, D., Morel, G., Lamy, P.: Combining SysML and formal models for safety requirements verification. In: 22nd International Conference on Software & Systems Engineering and their Applications (ICSSEA 2010), Paris, France, December 7-9 (2010)","key":"38_CR20"},{"doi-asserted-by":"crossref","unstructured":"Jarraya, Y., Debbabi, M.: Formal Specification and Probabilistic Verification of SysML Activity Diagrams. In: Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, Beijing, China, July 4-6 (2012)","key":"38_CR21","DOI":"10.1109\/TASE.2012.34"},{"unstructured":"COMPASS, COMPASS_WP_03.pdf, \n                    \n                      http:\/\/www.compass-research.eu\/\n                    \n                    \n                   (accessed April 14, 2014)","key":"38_CR22"}],"container-title":["Lecture Notes in Computer Science","Computational Science and Its Applications \u2013 ICCSA 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-09156-3_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T01:48:34Z","timestamp":1558921714000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-09156-3_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319091556","9783319091563"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-09156-3_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}