{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,4,15]],"date-time":"2024-04-15T11:05:01Z","timestamp":1713179101951},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,9,10]],"date-time":"2015-09-10T00:00:00Z","timestamp":1441843200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1007\/s11219-015-9290-6","type":"journal-article","created":{"date-parts":[[2015,9,10]],"date-time":"2015-09-10T19:03:44Z","timestamp":1441911824000},"page":"835-876","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Timing consistency checking for UML\/MARTE behavioral models"],"prefix":"10.1007","volume":"24","author":[{"given":"Jinho","family":"Choi","sequence":"first","affiliation":[]},{"given":"Eunkyoung","family":"Jee","sequence":"additional","affiliation":[]},{"given":"Doo-Hwan","family":"Bae","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,9,10]]},"reference":[{"issue":"2","key":"9290_CR1","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R Alur","year":"1994","unstructured":"Alur, R., & Dill, D. L. (1994). A theory of timed automata. Theoretical Computer Science, 126(2), 183\u2013235.","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"9290_CR2","first-page":"269","volume":"9","author":"T Amnell","year":"2002","unstructured":"Amnell, T., Fersman, E., Pettersson, P., Sun, H., & Yi, W. (2002). Code synthesis for timed automata. Nordic Journal of Computing, 9(4), 269\u2013300.","journal-title":"Nordic Journal of Computing"},{"key":"9290_CR3","doi-asserted-by":"crossref","unstructured":"Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., & Yi, W. (2004). TIMES: A tool for schedulability analysis and code generation of real-time systems. In Formal modeling and analysis of timed systems (pp. 60\u201372). Berlin: Springer.","DOI":"10.1007\/978-3-540-40903-8_6"},{"key":"9290_CR4","volume-title":"Systems and software verification: Model-checking techniques and tools","author":"B B\u00e9rard","year":"2010","unstructured":"B\u00e9rard, B., Bidoit, M., Finkel, A., Laroussinie, F., Petit, A., Petrucci, L., et al. (2010). Systems and software verification: Model-checking techniques and tools. Berlin: Springer."},{"key":"9290_CR5","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1016\/j.entcs.2003.09.005","volume":"102","author":"D Chiorean","year":"2004","unstructured":"Chiorean, D., Pa\u015fca, M., C\u00e2rcu, A., Botiza, C., & Moldovan, S. (2004). Ensuring UML models consistency using the OCL environment. Electronic Notes in Theoretical Computer Science, 102, 99\u2013110.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"9290_CR6","unstructured":"Choi, J. (2015). UMCA (UML\/MARTE timing Consistency Analyzer) tool. http:\/\/sites.google.com\/site\/jhchoi93\/ ."},{"key":"9290_CR7","doi-asserted-by":"crossref","unstructured":"Choi, J., & Bae, D. H. (2012). An approach to constructing timing diagrams from UML\/MARTE behavioral models for guidance and control unit software. In Computer applications for database, education, and ubiquitous computing (pp. 107\u2013110). Berlin: Springer.","DOI":"10.1007\/978-3-642-35603-2_16"},{"key":"9290_CR8","unstructured":"Choi, J., Shim, J., & Yim, S. (2005). The implementation and performance analysis of soft timer interrupt UML-RT model on a windows platform with real-time extension. In Proceedings of the korea information science society fall conference (Vol.\u00a032, pp. 841\u2013843)"},{"key":"9290_CR9","unstructured":"Choi, J., Jee, E., Kim, H. J., & Bae, D. H. (2011a). A case study on timing constraints verification for a safety-critical, real-time system. In Proceedings of the Korea computer congress (KCC) (Vol.\u00a038, pp. 166\u2013169)."},{"issue":"12","key":"9290_CR10","first-page":"647","volume":"38","author":"J Choi","year":"2011","unstructured":"Choi, J., Jee, E., Kim, H. J., & Bae, D. H. (2011b). A case study on timing constraints verification for a safety-critical, time-triggered embedded software. Journal of KIISE: Software and Applications, 38(12), 647\u2013656.","journal-title":"Journal of KIISE: Software and Applications"},{"key":"9290_CR11","unstructured":"Choi, J., Jee, E., & Bae, D. H. (2012a). Systematic vxworks-based code generation from timed automata model. In Proceedings of the Korea computer congress (KCC) (Vol.\u00a039, pp. 138\u2013140)."},{"key":"9290_CR12","doi-asserted-by":"crossref","unstructured":"Choi, J., Jee, E., & Bae, D. H. (2012b) Toward systematic construction of timing diagrams from UML\/MARTE behavioral models for time-triggered embedded software. In 2012 IEEE sixth international conference on Software Security and Reliability (SERE) (pp. 118\u2013127).","DOI":"10.1109\/SERE.2012.24"},{"issue":"2","key":"9290_CR13","first-page":"90","volume":"19","author":"J Choi","year":"2013","unstructured":"Choi, J., Jee, E., & Bae, D. H. (2013). Systematic generation of VxWorks-based code from timed automata models. Journal of KIISE: Computing Practices and Letters, 19(2), 90\u201394.","journal-title":"Journal of KIISE: Computing Practices and Letters"},{"key":"9290_CR14","volume-title":"Model checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E. M., Grumberg, O., & Peled, D. (1999). Model checking. Cambridge: MIT Press."},{"key":"9290_CR15","doi-asserted-by":"crossref","unstructured":"Egyed, A. (2006). Instant consistency checking for the UML. In Proceedings of the 28th international conference on Software Engineering (pp. 381\u2013390). ACM","DOI":"10.1145\/1134285.1134339"},{"key":"9290_CR16","doi-asserted-by":"crossref","unstructured":"Egyed, A. (2007). UML\/Analyzer: A tool for the instant consistency checking of UML models. In 29th International Conference on Software Engineering, 2007. ICSE 2007 (pp. 793\u2013796).","DOI":"10.1109\/ICSE.2007.91"},{"issue":"2","key":"9290_CR17","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1109\/TSE.2010.38","volume":"37","author":"A Egyed","year":"2011","unstructured":"Egyed, A. (2011). Automatically detecting and tracking inconsistencies in software design models. IEEE Transactions on Software Engineering, 37(2), 188\u2013204.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9290_CR18","doi-asserted-by":"crossref","unstructured":"Engels, G., K\u00fcster, J. M., Heckel, R., & Groenewegen, L. (2001). A methodology for specifying and analyzing consistency of object-oriented behavioral models. In ACM SIGSOFT Software Engineering Notes (Vol.\u00a026, pp. 186\u2013195)","DOI":"10.1145\/503271.503235"},{"key":"9290_CR19","doi-asserted-by":"crossref","unstructured":"Fersman, E., Pettersson, P., Yi, W. (2002). Timed automata with asynchronous processes: Schedulability and decidability. In Tools and Algorithms for the Construction and Analysis of Systems (pp. 67\u201382). Berlin: Springer","DOI":"10.1007\/3-540-46002-0_6"},{"key":"9290_CR20","volume-title":"UML distilled: A brief guide to the standard object modeling language","author":"M Fowler","year":"2004","unstructured":"Fowler, M. (2004). UML distilled: A brief guide to the standard object modeling language. Boston: Addison-Wesley Professional."},{"key":"9290_CR21","doi-asserted-by":"crossref","unstructured":"Gherbi, A., & Khendek, F. (2007) Consistency of UML\/SPT models. In SDL 2007: Design for dependable systems (pp. 203\u2013224). Berlin: Springer.","DOI":"10.1007\/978-3-540-74984-4_13"},{"issue":"1","key":"9290_CR22","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/j.scico.2007.01.013","volume":"69","author":"M Gogolla","year":"2007","unstructured":"Gogolla, M., B\u00fcttner, F., & Richters, M. (2007). Use: A UML-based specification environment for validating UML and OCL. Science of Computer Programming, 69(1), 27\u201334.","journal-title":"Science of Computer Programming"},{"key":"9290_CR23","unstructured":"Gomaa, H. (2001). Designing concurrent, distributed, and real-time applications with UML. In Proceedings of the 23rd international conference on software engineering, (pp. 737\u2013738). IEEE Computer Society."},{"key":"9290_CR24","doi-asserted-by":"crossref","unstructured":"Gomes, L., Fernandes, J. M., & Global, I. (2010). Behavioral modeling for embedded systems and technologies: Applications for design and implementation. InInformation Science Reference","DOI":"10.4018\/978-1-60566-750-8"},{"key":"9290_CR25","volume-title":"The SPIN model checker: Primer and reference manual","author":"GJ Holzmann","year":"2003","unstructured":"Holzmann, G. J. (2003). The SPIN model checker: Primer and reference manual. Boston: Addison-Wesley Professional."},{"key":"9290_CR26","doi-asserted-by":"crossref","unstructured":"Knapp, A., Merz, S., & Rauh, C. (2002). Model checking timed UML state machines and collaborations. In Formal techniques in real-time and fault-tolerant systems, (pp. 395\u2013414). Berlin: Springer","DOI":"10.1007\/3-540-45739-9_23"},{"key":"9290_CR27","doi-asserted-by":"crossref","unstructured":"Kuster, J., & Stroop J (2001) Consistent design of embedded real-time systems with UML-RT. In Proceedings. Fourth IEEE international symposium on object-oriented real-time distributed computing, 2001. ISORC-2001, (pp. 31\u201340).","DOI":"10.1109\/ISORC.2001.922815"},{"issue":"7","key":"9290_CR28","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1016\/j.infsof.2007.10.007","volume":"50","author":"R Laleau","year":"2008","unstructured":"Laleau, R., & Polack, F. (2008). Using formal metamodels to check consistency of functional views in information systems specification. Information and Software Technology, 50(7), 797\u2013814.","journal-title":"Information and Software Technology"},{"key":"9290_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/b105972","volume-title":"UML for real: Design of embedded real-time systems","author":"L Lavagno","year":"2003","unstructured":"Lavagno, L., Martin, G., & Selic, B. V. (2003). UML for real: Design of embedded real-time systems. Berlin: Springer."},{"key":"9290_CR30","volume-title":"Engineering a safer world: Systems thinking applied to safety","author":"N Leveson","year":"2011","unstructured":"Leveson, N. (2011). Engineering a safer world: Systems thinking applied to safety. Cambridge: Mit Press."},{"issue":"12","key":"9290_CR31","doi-asserted-by":"crossref","first-page":"1631","DOI":"10.1016\/j.infsof.2009.04.009","volume":"51","author":"FJ Lucas","year":"2009","unstructured":"Lucas, F. J., Molina, F., & Toval, A. (2009). A systematic review of UML model consistency management. Information and Software Technology, 51(12), 1631\u20131645.","journal-title":"Information and Software Technology"},{"key":"9290_CR32","volume-title":"Software for dependable systems: Sufficient evidence?","author":"LI Millett","year":"2007","unstructured":"Millett, L. I., Thomas, M., Jackson, D., et al. (2007). Software for dependable systems: Sufficient evidence?. Washington: National Academies Press."},{"issue":"2","key":"9290_CR33","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/514183.514186","volume":"2","author":"C Nentwich","year":"2002","unstructured":"Nentwich, C., Capra, L., Emmerich, W., & Finkelsteiin, A. (2002). xlinkit: A consistency checking and smart link generation service. ACM Transactions on Internet Technology (TOIT), 2(2), 151\u2013185.","journal-title":"ACM Transactions on Internet Technology (TOIT)"},{"key":"9290_CR34","doi-asserted-by":"crossref","unstructured":"Nguyen, M. C., Jee, E., Choi, J., & Bae, D. H. (2014). Automatic construction of timing diagrams from UML\/MARTE models for real-time embedded software. In Proceedings of the 29th annual ACM symposium on applied computing, (pp. 1140\u20131145).","DOI":"10.1145\/2554850.2555011"},{"key":"9290_CR35","unstructured":"OMG. (2005). UML profile for schedulability, performance, and time specification, version 1.1 (formal\/2005-01-02) Edition. http:\/\/www.omg.org ."},{"key":"9290_CR36","unstructured":"OMG. (2006). Object Constraint Language. version 2.0 (formal\/06-05-01) Edition. http:\/\/www.omg.org ."},{"key":"9290_CR37","unstructured":"OMG. (2011a). UML profile for MARTE: Modeling and analysis of real-time embedded systems. version 1.1 (formal\/2011-06-02) Edition. http:\/\/www.omg.org"},{"key":"9290_CR38","unstructured":"OMG. (2011b). Unified Modeling Language: Superstructure. version 2.4.1 (formal\/2011-08-06) Edition. http:\/\/www.omg.org ."},{"key":"9290_CR39","unstructured":"Papyrus . (2012). Papyrus. http:\/\/www.eclipse.org\/modeling\/mdt\/papyrus\/"},{"key":"9290_CR40","unstructured":"Paradigm, V. (2012). Visual Paradigm for UML Communication Edition. http:\/\/www.visual-paradigm.com ."},{"key":"9290_CR41","doi-asserted-by":"crossref","unstructured":"Peraldi-Frati, M. A., Blom, H., Karlsson, D., & Kuntz, S. (2012). Timing modeling with autosar-current state and future directions. In Design, automation and test in Europe conference and exhibition (DATE), IEEE (pp. 805\u2013809).","DOI":"10.1109\/DATE.2012.6176604"},{"key":"9290_CR42","volume-title":"Patterns for time-triggered embedded systems","author":"MJ Pont","year":"2001","unstructured":"Pont, M. J. (2001). Patterns for time-triggered embedded systems. New York: Person Edueation."},{"key":"9290_CR43","volume-title":"The unified modeling language reference manual","author":"J Rumbaugh","year":"2004","unstructured":"Rumbaugh, J., Jacobson, I., & Booch, G. (2004). The unified modeling language reference manual. Boston: Addison-Wesley Professional."},{"key":"9290_CR44","doi-asserted-by":"crossref","unstructured":"Selic, B. (1998). Using UML for modeling complex real-time systems. In Languages, compilers, and tools for embedded systems (pp. 250\u2013260), Berlin: Springer.","DOI":"10.1007\/BFb0057795"},{"issue":"2","key":"9290_CR45","doi-asserted-by":"crossref","first-page":"14","DOI":"10.1109\/54.844330","volume":"17","author":"M Sgroi","year":"2000","unstructured":"Sgroi, M., Lavagno, L., & Sangiovanni-Vincentelli, A. (2000). Formal models for embedded system design. IEEE Design & Test of Computers, 17(2), 14\u201327.","journal-title":"IEEE Design & Test of Computers"},{"key":"9290_CR46","volume-title":"Software engineering","author":"I Sommerville","year":"2011","unstructured":"Sommerville, I. (2011). Software engineering (9th ed.). Boston: Addison Wesley.","edition":"9"},{"key":"9290_CR47","unstructured":"Sourrouille, J. L., & Caplat, G. (2002). Checking UML model consistency. In Workshop on consistency problems in UML-based software development, Blekinge Institute of Technology (pp. 1\u201315)."},{"key":"9290_CR48","unstructured":"TIMES. (2007). Uppsala university design and analysis of real-time systems team. TIMES-a tool for modeling and implementation of embedded systems. http:\/\/www.timestool.com ."},{"key":"9290_CR49","unstructured":"UPPAAL. (2012). Uppsala University and Aalborg University. UPPAAL-a tool for verification of real-time systems. http:\/\/www.uppaal.org ."},{"key":"9290_CR50","doi-asserted-by":"crossref","unstructured":"Usman, M., Nadeem, A., Kim, T. H., & Cho, E. S. (2008). A survey of consistency checking techniques for UML models. In Advanced software engineering and its applications, 2008, ASEA 2008 IEEE, (pp. 57\u201362).","DOI":"10.1109\/ASEA.2008.40"},{"key":"9290_CR51","volume-title":"Design methods for reactive systems: Yourdon, statemate, and the UML","author":"RJ Wieringa","year":"2003","unstructured":"Wieringa, R. J. (2003). Design methods for reactive systems: Yourdon, statemate, and the UML. Amsterdam: Elsevier."},{"key":"9290_CR52","doi-asserted-by":"crossref","unstructured":"Zhao, X., Long, Q., & Qiu, Z. (2006). Model checking dynamic UML consistency. In Formal methods and software engineering, Berlin: Springer (pp. 440\u2013459).","DOI":"10.1007\/11901433_24"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-015-9290-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-015-9290-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-015-9290-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,30]],"date-time":"2019-08-30T06:12:18Z","timestamp":1567145538000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-015-9290-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9,10]]},"references-count":52,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,9]]}},"alternative-id":["9290"],"URL":"https:\/\/doi.org\/10.1007\/s11219-015-9290-6","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,9,10]]}}}