{"id":"https://openalex.org/W2170802715","doi":"https://doi.org/10.1109/sere.2012.24","title":"Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software","display_name":"Toward Systematic Construction of Timing Diagrams from UML/MARTE Behavioral Models for Time-Triggered Embedded Software","publication_year":2012,"publication_date":"2012-06-01","ids":{"openalex":"https://openalex.org/W2170802715","doi":"https://doi.org/10.1109/sere.2012.24","mag":"2170802715"},"language":"en","primary_location":{"id":"doi:10.1109/sere.2012.24","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sere.2012.24","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE Sixth International Conference on Software Security and Reliability","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100633873","display_name":"Jinho Choi","orcid":"https://orcid.org/0000-0003-0260-1865"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]},{"id":"https://openalex.org/I2801036362","display_name":"Agency for Defense Development","ror":"https://ror.org/05fhe0r85","country_code":"KR","type":"government","lineage":["https://openalex.org/I1327899338","https://openalex.org/I1344042128","https://openalex.org/I2801036362","https://openalex.org/I2801339556"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Jinho Choi","raw_affiliation_strings":["Agency for Defense Development, Daejeon, South Korea","CS Department, College of Information Science and Technology, Korea Advanced Institute of Science and Technology, South Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Agency for Defense Development, Daejeon, South Korea","institution_ids":["https://openalex.org/I2801036362"]},{"raw_affiliation_string":"CS Department, College of Information Science and Technology, Korea Advanced Institute of Science and Technology, South Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084021222","display_name":"Eunkyoung Jee","orcid":"https://orcid.org/0000-0003-0358-5369"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Eunkyoung Jee","raw_affiliation_strings":["CS Department, College of Information Science and Technology, Korea Advanced Institute of Science and Technology, South Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CS Department, College of Information Science and Technology, Korea Advanced Institute of Science and Technology, South Korea","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067376000","display_name":"Doo\u2010Hwan Bae","orcid":"https://orcid.org/0000-0002-3152-5219"},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Doo-Hwan Bae","raw_affiliation_strings":["CS Department, College of Information Science and Technology, Korea Advanced Institute of Science and Technology, South Korea"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CS Department, College of Information Science and Technology, Korea Advanced Institute of Science and Technology, South Korea","institution_ids":["https://openalex.org/I157485424"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.0419,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.79183322,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":"38","issue":null,"first_page":"118","last_page":"127"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8031554222106934},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.7354032397270203},{"id":"https://openalex.org/keywords/applications-of-uml","display_name":"Applications of UML","score":0.6864981055259705},{"id":"https://openalex.org/keywords/sequence-diagram","display_name":"Sequence diagram","score":0.6730180978775024},{"id":"https://openalex.org/keywords/uml-tool","display_name":"UML tool","score":0.605635941028595},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.511947751045227},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4996325969696045},{"id":"https://openalex.org/keywords/activity-diagram","display_name":"Activity diagram","score":0.48160383105278015},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4729345142841339},{"id":"https://openalex.org/keywords/embedded-software","display_name":"Embedded software","score":0.4691328704357147},{"id":"https://openalex.org/keywords/systems-modeling-language","display_name":"Systems Modeling Language","score":0.41622257232666016},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3822423219680786},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.33842402696609497},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.0908360481262207}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8031554222106934},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.7354032397270203},{"id":"https://openalex.org/C41298492","wikidata":"https://www.wikidata.org/wiki/Q4781506","display_name":"Applications of UML","level":4,"score":0.6864981055259705},{"id":"https://openalex.org/C153185123","wikidata":"https://www.wikidata.org/wiki/Q1391624","display_name":"Sequence diagram","level":4,"score":0.6730180978775024},{"id":"https://openalex.org/C146939238","wikidata":"https://www.wikidata.org/wiki/Q2467310","display_name":"UML tool","level":4,"score":0.605635941028595},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.511947751045227},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4996325969696045},{"id":"https://openalex.org/C64219723","wikidata":"https://www.wikidata.org/wiki/Q423262","display_name":"Activity diagram","level":4,"score":0.48160383105278015},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4729345142841339},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.4691328704357147},{"id":"https://openalex.org/C21285288","wikidata":"https://www.wikidata.org/wiki/Q2117885","display_name":"Systems Modeling Language","level":4,"score":0.41622257232666016},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3822423219680786},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.33842402696609497},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0908360481262207}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/sere.2012.24","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sere.2012.24","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2012 IEEE Sixth International Conference on Software Security and Reliability","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.46000000834465027,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320323103","display_name":"Agency for Defense Development","ror":"https://ror.org/05fhe0r85"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":23,"referenced_works":["https://openalex.org/W175551733","https://openalex.org/W1482632800","https://openalex.org/W1483348264","https://openalex.org/W1546033115","https://openalex.org/W1583702196","https://openalex.org/W1585229511","https://openalex.org/W1980716740","https://openalex.org/W1981168982","https://openalex.org/W1982958147","https://openalex.org/W1998017916","https://openalex.org/W2000117114","https://openalex.org/W2013351021","https://openalex.org/W2069865621","https://openalex.org/W2103291080","https://openalex.org/W2109926023","https://openalex.org/W2111385464","https://openalex.org/W2113361184","https://openalex.org/W2113748085","https://openalex.org/W2138019847","https://openalex.org/W2164738774","https://openalex.org/W2407951103","https://openalex.org/W2486303684","https://openalex.org/W6714013650"],"related_works":["https://openalex.org/W2317730349","https://openalex.org/W4205520451","https://openalex.org/W2119927772","https://openalex.org/W2111755821","https://openalex.org/W1590042856","https://openalex.org/W2033019659","https://openalex.org/W13845708","https://openalex.org/W2016512416","https://openalex.org/W1689896549","https://openalex.org/W2294019387"],"abstract_inverted_index":{"The":[0],"UML":[1,31],"has":[2,54],"been":[3,55],"used":[4,135],"to":[5,37,60,83],"describe":[6],"structures":[7],"and":[8,41,62,71,98,113,131],"behaviors":[9],"of":[10,15,30,45,100,120,128],"time-triggered":[11,24],"embedded":[12,25],"software.":[13,26],"Analysis":[14],"timing":[16,33,50,64,85,96],"constraints":[17,97],"is":[18],"an":[19,125],"important":[20],"issue":[21],"in":[22,66,136],"developing":[23],"Among":[27],"multiple":[28],"types":[29],"diagrams,":[32],"diagrams":[34,65,70,74,86],"are":[35],"appropriate":[36],"show":[38,118],"state":[39,72],"changes":[40],"their":[42],"relevant":[43],"events":[44],"objects":[46],"over":[47],"time":[48],"with":[49,75,87],"constraints.":[51],"However,":[52],"there":[53],"little":[56],"study":[57],"on":[58],"how":[59],"specify":[61],"utilize":[63],"practice.":[67],"Given":[68],"sequence":[69],"machine":[73],"MARTE":[76,88],"annotations,":[77],"we":[78,94,123],"propose":[79],"a":[80],"systematic":[81,114],"way":[82],"construct":[84],"annotations.":[89],"To":[90,117],"get":[91],"well-formed":[92,110],"models,":[93],"check":[95],"consistency":[99],"the":[101],"input":[102],"UML/MARTE":[103,111],"models.":[104],"We":[105],"present":[106],"checking":[107],"criteria":[108],"for":[109],"models":[112],"transformation":[115],"rules.":[116],"effectiveness":[119],"our":[121],"approach,":[122],"demonstrate":[124],"illustrative":[126],"example":[127],"GCU":[129],"(Guidance":[130],"Control":[132],"Unit)":[133],"software":[134],"avionics":[137],"systems.":[138]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}