{"id":"https://openalex.org/W2005790727","doi":"https://doi.org/10.1145/2693561.2693562","title":"Integrating Formal Timing Analysis in the Real-Time Software Development Process","display_name":"Integrating Formal Timing Analysis in the Real-Time Software Development Process","publication_year":2015,"publication_date":"2015-01-28","ids":{"openalex":"https://openalex.org/W2005790727","doi":"https://doi.org/10.1145/2693561.2693562","mag":"2005790727"},"language":"en","primary_location":{"id":"doi:10.1145/2693561.2693562","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2693561.2693562","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 Workshop on Challenges in Performance Methods for Software Development","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/A5088872373","display_name":"Rafik Henia","orcid":null},"institutions":[{"id":"https://openalex.org/I4210120156","display_name":"Laboratoire Albert Fert","ror":"https://ror.org/02erddr56","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I4210120156","https://openalex.org/I4210140930"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Rafik Henia","raw_affiliation_strings":["Thales Research & Technology, Palaiseau, France"],"affiliations":[{"raw_affiliation_string":"Thales Research & Technology, Palaiseau, France","institution_ids":["https://openalex.org/I4210120156"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002885149","display_name":"Laurent Rioux","orcid":null},"institutions":[{"id":"https://openalex.org/I4210120156","display_name":"Laboratoire Albert Fert","ror":"https://ror.org/02erddr56","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I4210120156","https://openalex.org/I4210140930"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Laurent Rioux","raw_affiliation_strings":["Thales Research & Technology, Palaiseau, France"],"affiliations":[{"raw_affiliation_string":"Thales Research & Technology, Palaiseau, France","institution_ids":["https://openalex.org/I4210120156"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021302411","display_name":"Nicolas Sordon","orcid":null},"institutions":[{"id":"https://openalex.org/I4210120156","display_name":"Laboratoire Albert Fert","ror":"https://ror.org/02erddr56","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I277688954","https://openalex.org/I4210120156","https://openalex.org/I4210140930"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Nicolas Sordon","raw_affiliation_strings":["Thales Research & Technology, Palaiseau, France"],"affiliations":[{"raw_affiliation_string":"Thales Research & Technology, Palaiseau, France","institution_ids":["https://openalex.org/I4210120156"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011303464","display_name":"G\u00e9rald-Emmanuel Garcia","orcid":null},"institutions":[{"id":"https://openalex.org/I4210140930","display_name":"Thales (France)","ror":"https://ror.org/04emwm605","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210140930"]},{"id":"https://openalex.org/I4210148274","display_name":"Centre Hospitalier de Cannes","ror":"https://ror.org/0488dyp14","country_code":"FR","type":"healthcare","lineage":["https://openalex.org/I4210148274"]},{"id":"https://openalex.org/I4400009052","display_name":"Thales Alenia Space (France)","ror":"https://ror.org/05gz77z03","country_code":null,"type":"company","lineage":["https://openalex.org/I2802798279","https://openalex.org/I4210140930","https://openalex.org/I4400009052"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"G\u00e9rald-Emmanuel Garcia","raw_affiliation_strings":["Thales Alenia Space, Cannes, France"],"affiliations":[{"raw_affiliation_string":"Thales Alenia Space, Cannes, France","institution_ids":["https://openalex.org/I4210148274","https://openalex.org/I4210140930","https://openalex.org/I4400009052"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5047223550","display_name":"Marco Panunzio","orcid":null},"institutions":[{"id":"https://openalex.org/I4210140930","display_name":"Thales (France)","ror":"https://ror.org/04emwm605","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210140930"]},{"id":"https://openalex.org/I4210148274","display_name":"Centre Hospitalier de Cannes","ror":"https://ror.org/0488dyp14","country_code":"FR","type":"healthcare","lineage":["https://openalex.org/I4210148274"]},{"id":"https://openalex.org/I4400009052","display_name":"Thales Alenia Space (France)","ror":"https://ror.org/05gz77z03","country_code":null,"type":"company","lineage":["https://openalex.org/I2802798279","https://openalex.org/I4210140930","https://openalex.org/I4400009052"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Marco Panunzio","raw_affiliation_strings":["Thales Alenia Space, Cannes, France"],"affiliations":[{"raw_affiliation_string":"Thales Alenia Space, Cannes, France","institution_ids":["https://openalex.org/I4210148274","https://openalex.org/I4210140930","https://openalex.org/I4400009052"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5088872373"],"corresponding_institution_ids":["https://openalex.org/I4210120156"],"apc_list":null,"apc_paid":null,"fwci":2.3229,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.88050973,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"35","last_page":"40"},"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.9976999759674072,"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.9955999851226807,"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.787028431892395},{"id":"https://openalex.org/keywords/static-timing-analysis","display_name":"Static timing analysis","score":0.6410467624664307},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.5503994822502136},{"id":"https://openalex.org/keywords/embedded-software","display_name":"Embedded software","score":0.4931885600090027},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4834221601486206},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4820721745491028},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.47565075755119324},{"id":"https://openalex.org/keywords/software-development-process","display_name":"Software development process","score":0.47290313243865967},{"id":"https://openalex.org/keywords/avionics-software","display_name":"Avionics software","score":0.4713558554649353},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4655070900917053},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.4341714680194855},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.4313593804836273},{"id":"https://openalex.org/keywords/worst-case-execution-time","display_name":"Worst-case execution time","score":0.41995272040367126},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.4178262948989868},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.35453325510025024},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.17026779055595398},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.14453551173210144},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10145267844200134}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.787028431892395},{"id":"https://openalex.org/C93682380","wikidata":"https://www.wikidata.org/wiki/Q2025226","display_name":"Static timing analysis","level":2,"score":0.6410467624664307},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.5503994822502136},{"id":"https://openalex.org/C154488198","wikidata":"https://www.wikidata.org/wiki/Q1335007","display_name":"Embedded software","level":3,"score":0.4931885600090027},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4834221601486206},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4820721745491028},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.47565075755119324},{"id":"https://openalex.org/C180152950","wikidata":"https://www.wikidata.org/wiki/Q2904257","display_name":"Software development process","level":4,"score":0.47290313243865967},{"id":"https://openalex.org/C109905503","wikidata":"https://www.wikidata.org/wiki/Q4828920","display_name":"Avionics software","level":5,"score":0.4713558554649353},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4655070900917053},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.4341714680194855},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.4313593804836273},{"id":"https://openalex.org/C200130814","wikidata":"https://www.wikidata.org/wiki/Q362858","display_name":"Worst-case execution time","level":3,"score":0.41995272040367126},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.4178262948989868},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.35453325510025024},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.17026779055595398},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.14453551173210144},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10145267844200134},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"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/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2693561.2693562","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2693561.2693562","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 Workshop on Challenges in Performance Methods for Software Development","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.550000011920929,"id":"https://metadata.un.org/sdg/9"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":6,"referenced_works":["https://openalex.org/W1544936738","https://openalex.org/W1996763308","https://openalex.org/W1997998060","https://openalex.org/W2015717967","https://openalex.org/W2145132630","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1551942899","https://openalex.org/W42897653","https://openalex.org/W2912226647","https://openalex.org/W765957043","https://openalex.org/W3176783605","https://openalex.org/W136631479","https://openalex.org/W2998655240","https://openalex.org/W2105545887","https://openalex.org/W2101720492","https://openalex.org/W2156267215"],"abstract_inverted_index":{"When":[0],"designing":[1],"complex":[2],"real-time":[3,212],"software,":[4,194,214],"it":[5],"is":[6,36,126,140],"very":[7,70],"difficult":[8],"to":[9,75,78,112,146,159,218],"predict":[10],"how":[11],"design":[12,96,152,190,221],"decisions":[13],"may":[14,68],"impact":[15],"the":[16,21,26,51,101,114,124,135,147,151,160,164,167,185,188,208,220,225],"system":[17,58],"timing":[18,41,66,89,106,179,204,229],"behavior.":[19],"Usually,":[20],"industrial":[22,189],"practices":[23],"rely":[24],"on":[25,57],"subjective":[27],"judgment":[28],"of":[29,187,191,202,211,227],"experienced":[30],"software":[31,52,136],"architects":[32],"and":[33,48,72,87,98,131,153,166,199,223],"developers.":[34],"This":[35,139],"however":[37],"risky":[38],"since":[39],"eventual":[40],"errors":[42,67],"are":[43],"only":[44],"detected":[45],"after":[46,170],"implementation":[47],"integration,":[49],"when":[50],"execution":[53],"can":[54],"be":[55,69,113],"tested":[56],"level,":[59],"under":[60],"realistic":[61],"conditions.":[62],"At":[63],"this":[64,80,118,174],"stage,":[65],"costly":[71,228],"time":[73,222],"consuming":[74],"correct.":[76],"Therefore,":[77],"overcome":[79],"problem":[81],"we":[82,176,182],"need":[83],"an":[84,142,196],"efficient,":[85],"reliable":[86],"automated":[88],"estimation":[90],"method":[91],"applicable":[92],"already":[93],"at":[94,109],"early":[95,197],"stages":[97],"continuing":[99],"throughout":[100],"whole":[102],"development":[103,137,209],"cycle.":[104],"Formal":[105],"analysis":[107,154,165,180],"appears":[108],"first":[110],"sight":[111],"adequate":[115],"candidate":[116],"for":[117],"purpose.":[119],"However,":[120],"its":[121],"use":[122],"in":[123,134,184,207],"industry":[125],"conditioned":[127],"by":[128],"a":[129,178,216],"smooth":[130],"seamless":[132],"integration":[133,198],"process.":[138],"not":[141],"easy":[143],"task":[144],"due":[145,158],"semantic":[148],"mismatches":[149],"between":[150,163],"models":[155],"but":[156],"also":[157],"missing":[161],"link":[162],"testing":[168],"phase":[169],"code":[171],"implementation.":[172],"In":[173],"paper,":[175],"present":[177],"framework":[181],"developed":[183],"context":[186],"satellite":[192],"on-board":[193],"allowing":[195],"full":[200],"automation":[201],"formal":[203],"verification":[205],"activities":[206],"process":[210],"embedded":[213],"as":[215],"mean":[217],"decrease":[219],"reduce":[224],"risks":[226],"failures.":[230]},"counts_by_year":[{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":3}],"updated_date":"2026-03-25T14:56:36.534964","created_date":"2025-10-10T00:00:00"}