{"id":"https://openalex.org/W2019501077","doi":"https://doi.org/10.1145/1342211.1342245","title":"STATEMATE to SCADE model translation","display_name":"STATEMATE to SCADE model translation","publication_year":2008,"publication_date":"2008-02-19","ids":{"openalex":"https://openalex.org/W2019501077","doi":"https://doi.org/10.1145/1342211.1342245","mag":"2019501077"},"language":"en","primary_location":{"id":"doi:10.1145/1342211.1342245","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1342211.1342245","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1st India software engineering conference","raw_type":"proceedings-article"},"type":"conference-paper","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/A5037484955","display_name":"R. Venky","orcid":null},"institutions":[{"id":"https://openalex.org/I4210099971","display_name":"Research & Development Establishment (Engrs.)","ror":"https://ror.org/00wethk75","country_code":"IN","type":"facility","lineage":["https://openalex.org/I1340206300","https://openalex.org/I2799351866","https://openalex.org/I4210099971","https://openalex.org/I4210150591"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"R. Venky","raw_affiliation_strings":["TRDDC: 54 B Hadapsar Industrial Estate: Pune-411 013: Maharastra: India, Pune, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TRDDC: 54 B Hadapsar Industrial Estate: Pune-411 013: Maharastra: India, Pune, India","institution_ids":["https://openalex.org/I4210099971"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5098090334","display_name":"S. Ulka","orcid":null},"institutions":[{"id":"https://openalex.org/I4210099971","display_name":"Research & Development Establishment (Engrs.)","ror":"https://ror.org/00wethk75","country_code":"IN","type":"facility","lineage":["https://openalex.org/I1340206300","https://openalex.org/I2799351866","https://openalex.org/I4210099971","https://openalex.org/I4210150591"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Ulka S.","raw_affiliation_strings":["TRDDC: 54 B Hadapsar Industrial Estate: Pune-411 013: Maharastra: India, Pune, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TRDDC: 54 B Hadapsar Industrial Estate: Pune-411 013: Maharastra: India, Pune, India","institution_ids":["https://openalex.org/I4210099971"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110804355","display_name":"Aniket Kulkarni","orcid":null},"institutions":[{"id":"https://openalex.org/I4210099971","display_name":"Research & Development Establishment (Engrs.)","ror":"https://ror.org/00wethk75","country_code":"IN","type":"facility","lineage":["https://openalex.org/I1340206300","https://openalex.org/I2799351866","https://openalex.org/I4210099971","https://openalex.org/I4210150591"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Aniket Kulkarni","raw_affiliation_strings":["TRDDC: 54 B Hadapsar Industrial Estate: Pune-411 013: Maharastra: India, Pune, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TRDDC: 54 B Hadapsar Industrial Estate: Pune-411 013: Maharastra: India, Pune, India","institution_ids":["https://openalex.org/I4210099971"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5001943463","display_name":"Prasad Bokil","orcid":null},"institutions":[{"id":"https://openalex.org/I4210099971","display_name":"Research & Development Establishment (Engrs.)","ror":"https://ror.org/00wethk75","country_code":"IN","type":"facility","lineage":["https://openalex.org/I1340206300","https://openalex.org/I2799351866","https://openalex.org/I4210099971","https://openalex.org/I4210150591"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Prasad Bokil","raw_affiliation_strings":["TRDDC: 54 B Hadapsar Industrial Estate: Pune-411 013: Maharastra: India, Pune, India"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TRDDC: 54 B Hadapsar Industrial Estate: Pune-411 013: Maharastra: India, Pune, India","institution_ids":["https://openalex.org/I4210099971"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210099971"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.09416884,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"145","last_page":"146"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9993000030517578,"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.9993000030517578,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9987999796867371,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6535120010375977},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.621366560459137},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37508127093315125},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.072540283203125}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6535120010375977},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.621366560459137},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37508127093315125},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.072540283203125},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1342211.1342245","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1342211.1342245","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 1st India software engineering conference","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals","score":0.46000000834465027}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W1501640954","https://openalex.org/W2125415493","https://openalex.org/W2129395888"],"related_works":["https://openalex.org/W4243252198","https://openalex.org/W2135396778","https://openalex.org/W2109507516","https://openalex.org/W1527862632","https://openalex.org/W2118300983","https://openalex.org/W2112962394","https://openalex.org/W3137189469","https://openalex.org/W2740990710","https://openalex.org/W4235530921","https://openalex.org/W2382501300"],"abstract_inverted_index":{"Often":[0],"organizations":[1,14,47,131],"need":[2,58],"to":[3,21,38,48,59,74,82,97,155,161,201],"combine":[4],"multiple":[5],"tools":[6,57],"for":[7,18,34,151,184,205,211],"effective":[8,50],"software":[9],"development.":[10],"For":[11,45],"instance,":[12],"some":[13],"prefer":[15,31],"STATEMATE":[16,111,153],"[3]":[17],"specification":[19,117],"due":[20,37],"its":[22],"friendly":[23],"visual":[24],"notation":[25,81],"and":[26,41,112,146,221],"asynchronous":[27],"semantics,":[28,110],"whereas":[29],"they":[30],"SCADE":[32,93,99,113],"[6]":[33],"code":[35,43,83],"generation":[36],"it's":[39],"certified":[40],"optimized":[42],"generator.":[44],"these":[46,54,130],"make":[49],"use":[51],"of":[52,72,137,173],"both":[53],"tools,":[55],"the":[56,67,138,163,167,170],"be":[60,199],"integrated":[61],"by":[62],"defining":[63],"a":[64,78,134,143,147,174,227],"translation":[65,71,85,125,144,158,187,208,219],"between":[66,103,166],"two":[68,104],"notations.":[69],"Unlike":[70],"Statecharts":[73],"C":[75],"which":[76,101],"is":[77,102,126,176],"high":[79,115],"level":[80,84,116],"with":[86,119],"same":[87,107],"(control":[88],"flow)":[89,109],"semantics":[90],"or":[91],"graphical":[92],"(Safe":[94],"State":[95],"Machine)":[96],"textual":[98],"(Lustre)[4]":[100],"models":[105],"having":[106],"(data":[108],"have":[114],"notations":[118],"very":[120],"different":[121],"semantics.":[122],"Hence":[123],"naive":[124],"not":[127],"possible.":[128],"Additionally,":[129],"also":[132],"require":[133],"rigorous":[135,148],"validation":[136,149],"translation.":[139],"Here,":[140],"we":[141,178],"describe":[142],"strategy":[145,159,220],"process":[150],"key":[152],"constructs":[154],"SCADE.":[156],"The":[157,218],"helps":[160],"bridge":[162],"semantic":[164],"gap":[165],"tools.":[168],"As":[169],"formal":[171],"verification":[172],"translator":[175,229],"difficult,":[177],"propose":[179],"an":[180],"automated":[181],"testing":[182,222],"technique":[183,197,223],"each":[185,206],"individual":[186,207],"based":[188],"on":[189],"classical":[190],"comparison":[191],"testing.":[192],"We":[193],"show":[194],"how":[195],"this":[196],"can":[198],"used":[200],"achieve":[202],"MC/DC":[203],"coverage":[204],"as":[209],"required":[210],"certification":[212],"(for":[213],"example,":[214],"RTCA's":[215],"DO-178B":[216],"[7]).":[217],"are":[224],"implemented":[225],"in":[226],"prototype":[228]},"counts_by_year":[{"year":2019,"cited_by_count":1}],"updated_date":"2026-08-05T07:39:15.569665","created_date":"2025-10-10T00:00:00"}