{"id":"https://openalex.org/W2063391019","doi":"https://doi.org/10.1109/sies.2011.5953665","title":"Extending Harmless architecture description language for embedded real-time systems validation","display_name":"Extending Harmless architecture description language for embedded real-time systems validation","publication_year":2011,"publication_date":"2011-06-01","ids":{"openalex":"https://openalex.org/W2063391019","doi":"https://doi.org/10.1109/sies.2011.5953665","mag":"2063391019"},"language":"en","primary_location":{"id":"doi:10.1109/sies.2011.5953665","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2011.5953665","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 6th IEEE International Symposium on Industrial and Embedded Systems","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/A5079733455","display_name":"Jean-Luc B\u00e9chennec","orcid":"https://orcid.org/0000-0002-3763-8417"},"institutions":[{"id":"https://openalex.org/I4210128055","display_name":"Centre d'Investigation Clinique de Nantes","ror":"https://ror.org/02ct41845","country_code":"FR","type":"facility","lineage":["https://openalex.org/I154526488","https://openalex.org/I3019204325","https://openalex.org/I4210105774","https://openalex.org/I4210128055"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Luc B\u00e9chennec","raw_affiliation_strings":["IRCCyN, 1, rue de la Noë BP 92101, 44321 Nantes Cedex 3, France","IRCCyN, 1, rue de la No\u00eb BP 92101, 44321 Nantes Cedex 3, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IRCCyN, 1, rue de la Noë BP 92101, 44321 Nantes Cedex 3, France","institution_ids":["https://openalex.org/I4210128055"]},{"raw_affiliation_string":"IRCCyN, 1, rue de la No\u00eb BP 92101, 44321 Nantes Cedex 3, France","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054781086","display_name":"Mika\u00ebl Briday","orcid":"https://orcid.org/0000-0001-7251-6688"},"institutions":[{"id":"https://openalex.org/I4210128055","display_name":"Centre d'Investigation Clinique de Nantes","ror":"https://ror.org/02ct41845","country_code":"FR","type":"facility","lineage":["https://openalex.org/I154526488","https://openalex.org/I3019204325","https://openalex.org/I4210105774","https://openalex.org/I4210128055"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Mika\u00ebl Briday","raw_affiliation_strings":["IRCCyN, 1, rue de la Noë BP 92101, 44321 Nantes Cedex 3, France","IRCCyN, 1, rue de la No\u00eb BP 92101, 44321 Nantes Cedex 3, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IRCCyN, 1, rue de la Noë BP 92101, 44321 Nantes Cedex 3, France","institution_ids":["https://openalex.org/I4210128055"]},{"raw_affiliation_string":"IRCCyN, 1, rue de la No\u00eb BP 92101, 44321 Nantes Cedex 3, France","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5089301400","display_name":"Val\u00e8re Alibert","orcid":null},"institutions":[{"id":"https://openalex.org/I28221208","display_name":"Institut National des Sciences Appliqu\u00e9es de Rennes","ror":"https://ror.org/04xaa4j22","country_code":"FR","type":"education","lineage":["https://openalex.org/I28221208"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Val\u00e8re Alibert","raw_affiliation_strings":["INSA Rennes, DB011 - 20 Avenue des Buttes de Coësmes, CS70839, 35708 Rennes Cedex 7, France","INSA Rennes, DB011 - 20 Avenue des Buttes de Co\u00ebsmes, CS70839, 35708 Rennes Cedex 7, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"INSA Rennes, DB011 - 20 Avenue des Buttes de Coësmes, CS70839, 35708 Rennes Cedex 7, France","institution_ids":["https://openalex.org/I28221208"]},{"raw_affiliation_string":"INSA Rennes, DB011 - 20 Avenue des Buttes de Co\u00ebsmes, CS70839, 35708 Rennes Cedex 7, France","institution_ids":["https://openalex.org/I28221208"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.38,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.51792539,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"223","last_page":"231"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998999834060669,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9994999766349792,"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/T12810","display_name":"Real-time simulation and control systems","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.8865368366241455},{"id":"https://openalex.org/keywords/tracing","display_name":"Tracing","score":0.6808444261550903},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.6550701260566711},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.5279271602630615},{"id":"https://openalex.org/keywords/instruction-set","display_name":"Instruction set","score":0.5274120569229126},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5084768533706665},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5011720657348633},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.47412562370300293},{"id":"https://openalex.org/keywords/computer-architecture-simulator","display_name":"Computer architecture simulator","score":0.46788662672042847},{"id":"https://openalex.org/keywords/trace","display_name":"TRACE (psycholinguistics)","score":0.4529593586921692},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.44162315130233765},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3978826701641083},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.30630552768707275},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2269897758960724}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8865368366241455},{"id":"https://openalex.org/C138673069","wikidata":"https://www.wikidata.org/wiki/Q322229","display_name":"Tracing","level":2,"score":0.6808444261550903},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.6550701260566711},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.5279271602630615},{"id":"https://openalex.org/C202491316","wikidata":"https://www.wikidata.org/wiki/Q272683","display_name":"Instruction set","level":2,"score":0.5274120569229126},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5084768533706665},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5011720657348633},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.47412562370300293},{"id":"https://openalex.org/C201203610","wikidata":"https://www.wikidata.org/wiki/Q5157524","display_name":"Computer architecture simulator","level":2,"score":0.46788662672042847},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.4529593586921692},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.44162315130233765},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3978826701641083},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30630552768707275},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2269897758960724},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/sies.2011.5953665","is_oa":false,"landing_page_url":"https://doi.org/10.1109/sies.2011.5953665","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 6th IEEE International Symposium on Industrial and Embedded Systems","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":20,"referenced_works":["https://openalex.org/W141583583","https://openalex.org/W1151269922","https://openalex.org/W1496267491","https://openalex.org/W1526748454","https://openalex.org/W1583487553","https://openalex.org/W1996763308","https://openalex.org/W2006640984","https://openalex.org/W2007071800","https://openalex.org/W2010074783","https://openalex.org/W2055197779","https://openalex.org/W2104225326","https://openalex.org/W2110714252","https://openalex.org/W2128335669","https://openalex.org/W2132703197","https://openalex.org/W2133073415","https://openalex.org/W2146183207","https://openalex.org/W2156088664","https://openalex.org/W4234251183","https://openalex.org/W6623499257","https://openalex.org/W6676399563"],"related_works":["https://openalex.org/W2115308562","https://openalex.org/W2789571330","https://openalex.org/W4299652732","https://openalex.org/W2963744171","https://openalex.org/W2133304975","https://openalex.org/W2362901774","https://openalex.org/W4248091533","https://openalex.org/W1515178292","https://openalex.org/W2367523596","https://openalex.org/W2352305101"],"abstract_inverted_index":{"Harmless":[0,33,125,167],"is":[1,58,65,81,126,140],"a":[2,27,41,170],"hardware":[3],"architecture":[4],"description":[5,117,168],"language":[6],"targeted":[7],"to":[8,18,49,85,90,103,130,134,142,175],"the":[9,20,24,32,56,71,74,87,109,116,119,149,158,166],"simulation":[10],"of":[11,26,118,169],"embedded":[12,53],"and":[13,23,40,51,55,67,83,89,128,153,179],"realtime":[14],"software.":[15,62],"It":[16,162],"allows":[17],"describe":[19],"instruction":[21],"set":[22],"micro-architecture":[25],"processor.":[28,120],"From":[29],"this":[30],"description,":[31],"compiler":[34],"generates":[35],"an":[36],"Instruction":[37],"Set":[38],"Simulator":[39],"Cycle":[42],"Accurate":[43],"Simulator.":[44],"Both":[45],"simulators":[46],"are":[47],"useful":[48,92],"test":[50],"validate":[52],"software":[54],"latter":[57],"essential":[59],"for":[60],"Real-Time":[61],"Their":[63],"use":[64],"cheaper":[66],"more":[68],"comfortable":[69],"than":[70],"execution":[72,88],"on":[73,182],"actual":[75],"hardware.":[76],"Moreover,":[77],"with":[78],"simulation,":[79],"it":[80,181],"easy":[82],"unobtrusive":[84],"trace":[86],"report":[91],"informations.":[93],"However,":[94],"tracing":[95,132],"mechanisms":[96],"may":[97],"be":[98,173],"difficult":[99],"or":[100],"even":[101],"impossible":[102],"integrate":[104],"without":[105],"ad-hoc":[106],"support":[107,133,176],"in":[108,112,115],"simulator":[110],"and,":[111],"our":[113],"case,":[114],"This":[121,136],"paper":[122],"presents":[123],"how":[124,165],"modified":[127],"used":[129,141],"add":[131],"simulators.":[135],"mechanism":[137],"called":[138],"action":[139],"extract":[143],"high":[144],"level":[145,160],"information":[146],"such":[147],"has":[148],"task":[150],"scheduling":[151],"observation":[152],"stack":[154],"safety":[155],"analysis":[156],"from":[157],"low":[159],"simulation.":[161],"also":[163],"highlights":[164],"processor":[171],"should":[172],"updated":[174],"these":[177],"features":[178],"applies":[180],"three":[183],"processors":[184],"models.":[185]},"counts_by_year":[{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}