{"id":"https://openalex.org/W1899058527","doi":"https://doi.org/10.1109/etfa.2015.7301403","title":"Periodic state-machine aware real-time analysis","display_name":"Periodic state-machine aware real-time analysis","publication_year":2015,"publication_date":"2015-09-01","ids":{"openalex":"https://openalex.org/W1899058527","doi":"https://doi.org/10.1109/etfa.2015.7301403","mag":"1899058527"},"language":"en","primary_location":{"id":"doi:10.1109/etfa.2015.7301403","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2015.7301403","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)","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/A5037502860","display_name":"Nicolas Gobillot","orcid":null},"institutions":[{"id":"https://openalex.org/I2801658355","display_name":"Office National d'\u00c9tudes et de Recherches A\u00e9rospatiales","ror":"https://ror.org/005y2ap84","country_code":"FR","type":"facility","lineage":["https://openalex.org/I2801658355"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Nicolas Gobillot","raw_affiliation_strings":["ONERA - the French Aerospace Lab, Toulouse cedex 4","ONERA - the French Aerospace Lab, 2 avenue Edouard Belin, FR-31055 TOULOUSE CEDEX 4, France"],"affiliations":[{"raw_affiliation_string":"ONERA - the French Aerospace Lab, Toulouse cedex 4","institution_ids":["https://openalex.org/I2801658355"]},{"raw_affiliation_string":"ONERA - the French Aerospace Lab, 2 avenue Edouard Belin, FR-31055 TOULOUSE CEDEX 4, France","institution_ids":["https://openalex.org/I2801658355"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076697582","display_name":"David Doose","orcid":"https://orcid.org/0000-0002-4303-1849"},"institutions":[{"id":"https://openalex.org/I2801658355","display_name":"Office National d'\u00c9tudes et de Recherches A\u00e9rospatiales","ror":"https://ror.org/005y2ap84","country_code":"FR","type":"facility","lineage":["https://openalex.org/I2801658355"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"David Doose","raw_affiliation_strings":["ONERA - the French Aerospace Lab, Toulouse cedex 4","ONERA - the French Aerospace Lab, 2 avenue Edouard Belin, FR-31055 TOULOUSE CEDEX 4, France"],"affiliations":[{"raw_affiliation_string":"ONERA - the French Aerospace Lab, Toulouse cedex 4","institution_ids":["https://openalex.org/I2801658355"]},{"raw_affiliation_string":"ONERA - the French Aerospace Lab, 2 avenue Edouard Belin, FR-31055 TOULOUSE CEDEX 4, France","institution_ids":["https://openalex.org/I2801658355"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079979990","display_name":"Charles Lesire","orcid":"https://orcid.org/0000-0001-8651-5344"},"institutions":[{"id":"https://openalex.org/I2801658355","display_name":"Office National d'\u00c9tudes et de Recherches A\u00e9rospatiales","ror":"https://ror.org/005y2ap84","country_code":"FR","type":"facility","lineage":["https://openalex.org/I2801658355"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Charles Lesire","raw_affiliation_strings":["ONERA - the French Aerospace Lab, Toulouse cedex 4","ONERA - the French Aerospace Lab, 2 avenue Edouard Belin, FR-31055 TOULOUSE CEDEX 4, France"],"affiliations":[{"raw_affiliation_string":"ONERA - the French Aerospace Lab, Toulouse cedex 4","institution_ids":["https://openalex.org/I2801658355"]},{"raw_affiliation_string":"ONERA - the French Aerospace Lab, 2 avenue Edouard Belin, FR-31055 TOULOUSE CEDEX 4, France","institution_ids":["https://openalex.org/I2801658355"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054286051","display_name":"Luca Santinelli","orcid":null},"institutions":[{"id":"https://openalex.org/I2801658355","display_name":"Office National d'\u00c9tudes et de Recherches A\u00e9rospatiales","ror":"https://ror.org/005y2ap84","country_code":"FR","type":"facility","lineage":["https://openalex.org/I2801658355"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Luca Santinelli","raw_affiliation_strings":["ONERA - the French Aerospace Lab, Toulouse cedex 4","ONERA - the French Aerospace Lab, 2 avenue Edouard Belin, FR-31055 TOULOUSE CEDEX 4, France"],"affiliations":[{"raw_affiliation_string":"ONERA - the French Aerospace Lab, Toulouse cedex 4","institution_ids":["https://openalex.org/I2801658355"]},{"raw_affiliation_string":"ONERA - the French Aerospace Lab, 2 avenue Edouard Belin, FR-31055 TOULOUSE CEDEX 4, France","institution_ids":["https://openalex.org/I2801658355"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5037502860"],"corresponding_institution_ids":["https://openalex.org/I2801658355"],"apc_list":null,"apc_paid":null,"fwci":0.9689,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.74722898,"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":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9998000264167786,"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.9998000264167786,"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.9944999814033508,"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.9854999780654907,"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.7873106002807617},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.6678237318992615},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.6476691961288452},{"id":"https://openalex.org/keywords/task","display_name":"Task (project management)","score":0.6367155909538269},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.6163693070411682},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.6112521290779114},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5725811123847961},{"id":"https://openalex.org/keywords/software-architecture","display_name":"Software architecture","score":0.48165595531463623},{"id":"https://openalex.org/keywords/drone","display_name":"Drone","score":0.45360881090164185},{"id":"https://openalex.org/keywords/programming-complexity","display_name":"Programming complexity","score":0.4525614380836487},{"id":"https://openalex.org/keywords/component-based-software-engineering","display_name":"Component-based software engineering","score":0.44617563486099243},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.441912442445755},{"id":"https://openalex.org/keywords/embedded-software","display_name":"Embedded software","score":0.43975183367729187},{"id":"https://openalex.org/keywords/task-analysis","display_name":"Task analysis","score":0.4243486225605011},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.37948843836784363},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.3756147623062134},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.37405112385749817},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3709501326084137},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.3389291763305664},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.13884904980659485},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13071751594543457},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.11494264006614685}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7873106002807617},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6678237318992615},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.6476691961288452},{"id":"https://openalex.org/C2780451532","wikidata":"https://www.wikidata.org/wiki/Q759676","display_name":"Task (project management)","level":2,"score":0.6367155909538269},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.6163693070411682},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.6112521290779114},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5725811123847961},{"id":"https://openalex.org/C35869016","wikidata":"https://www.wikidata.org/wiki/Q846636","display_name":"Software architecture","level":3,"score":0.48165595531463623},{"id":"https://openalex.org/C59519942","wikidata":"https://www.wikidata.org/wiki/Q650665","display_name":"Drone","level":2,"score":0.45360881090164185},{"id":"https://openalex.org/C66429209","wikidata":"https://www.wikidata.org/wiki/Q7248499","display_name":"Programming complexity","level":5,"score":0.4525614380836487},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.44617563486099243},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.441912442445755},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.43975183367729187},{"id":"https://openalex.org/C175154964","wikidata":"https://www.wikidata.org/wiki/Q380077","display_name":"Task analysis","level":3,"score":0.4243486225605011},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.37948843836784363},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3756147623062134},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.37405112385749817},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3709501326084137},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.3389291763305664},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.13884904980659485},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13071751594543457},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.11494264006614685},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","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/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/etfa.2015.7301403","is_oa":false,"landing_page_url":"https://doi.org/10.1109/etfa.2015.7301403","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.4099999964237213}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W6056896","https://openalex.org/W1482275438","https://openalex.org/W1977278088","https://openalex.org/W1983252028","https://openalex.org/W2009921413","https://openalex.org/W2011479059","https://openalex.org/W2020455387","https://openalex.org/W2024155972","https://openalex.org/W2034833774","https://openalex.org/W2079084512","https://openalex.org/W2086061827","https://openalex.org/W2086748818","https://openalex.org/W2093100591","https://openalex.org/W2109488193","https://openalex.org/W2125942774","https://openalex.org/W2156021445","https://openalex.org/W2160293203","https://openalex.org/W2166345482","https://openalex.org/W2284256543","https://openalex.org/W2901136733","https://openalex.org/W6600255053","https://openalex.org/W6652976043","https://openalex.org/W6678901967","https://openalex.org/W6756486208"],"related_works":["https://openalex.org/W1966173996","https://openalex.org/W2381752790","https://openalex.org/W2360768015","https://openalex.org/W141740116","https://openalex.org/W2367803414","https://openalex.org/W2359736225","https://openalex.org/W4256322242","https://openalex.org/W2110636284","https://openalex.org/W1970582858","https://openalex.org/W2551273908"],"abstract_inverted_index":{"Nowadays":[0],"dangerous,":[1],"repetitive":[2],"or":[3,17],"precision":[4],"requiring":[5],"jobs":[6],"are":[7,83,146],"done":[8],"by":[9,148,158],"robots":[10],"like":[11],"flying":[12],"drones,":[13],"industrial":[14],"assembly":[15],"arms":[16],"medical":[18],"assistants.":[19],"In":[20],"all":[21],"these":[22],"cases,":[23],"human":[24],"beings":[25],"can":[26],"interact":[27],"with":[28,76,172],"the":[29,41,52,56,91,94,99,122,135,144,162,165],"machines,":[30],"therefore":[31],"it":[32],"is":[33],"essential":[34],"to":[35,64,85,108,113,133],"guarantee":[36],"that":[37],"every":[38],"part":[39],"of":[40,59,70,90,125,138,164],"robot's":[42],"software":[43,73,127],"and":[44,55,78,93],"hardware":[45],"will":[46],"produce":[47],"a":[48,131,139,173],"safe":[49],"behavior:":[50],"both":[51],"overall":[53],"behavior":[54,137],"local":[57],"behaviors":[58],"such":[60,115],"embedded":[61,71],"systems":[62,72],"have":[63,107],"be":[65,109],"carefully":[66],"analyzed.":[67],"The":[68,104,150],"complexity":[69],"architectures":[74],"increase":[75],"more":[77,79,87],"tasks":[80],"involved;":[81],"state-machines":[82,163],"applied":[84],"implement":[86],"functional":[88],"capabilities":[89],"tasks;":[92],"task":[95],"models":[96],"used":[97],"in":[98,102,111,142],"analyses":[100],"gain":[101],"complexity.":[103],"analysis":[105,124],"techniques":[106],"adapted":[110],"order":[112],"face":[114],"new":[116],"complexities.":[117],"This":[118],"paper":[119],"focuses":[120],"on":[121],"real-time":[123,175],"state-machine-based":[126],"architectures.":[128],"We":[129],"propose":[130],"method":[132,151],"analyze":[134],"temporal":[136],"component-based":[140],"architecture":[141],"which":[143],"components":[145],"described":[147],"state-machines.":[149],"computes":[152],"an":[153],"accurate":[154],"worst-case":[155],"response":[156],"time":[157],"taking":[159],"into":[160],"account":[161],"components.":[166],"Finally,":[167],"we":[168],"validate":[169],"our":[170],"approach":[171],"real":[174],"robotic":[176],"case":[177],"study.":[178]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}