{"id":"https://openalex.org/W1513829456","doi":"https://doi.org/10.1109/isvdat.2015.7208162","title":"Real-time embedded systems analysis — From theory to practice","display_name":"Real-time embedded systems analysis — From theory to practice","publication_year":2015,"publication_date":"2015-06-01","ids":{"openalex":"https://openalex.org/W1513829456","doi":"https://doi.org/10.1109/isvdat.2015.7208162","mag":"1513829456"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/isvdat.2015.7208162","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5076542292","display_name":"Ansuman Banerjee","orcid":"https://orcid.org/0000-0003-0220-646X"},"institutions":[{"id":"https://openalex.org/I6498739","display_name":"Indian Statistical Institute","ror":"https://ror.org/00q2w1j53","country_code":"IN","type":"funder","lineage":["https://openalex.org/I6498739"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Ansuman Banerjee","raw_affiliation_strings":["Advanced Computing and Microelectronics Unit Indian Statistical Institute"],"affiliations":[{"raw_affiliation_string":"Advanced Computing and Microelectronics Unit Indian Statistical Institute","institution_ids":["https://openalex.org/I6498739"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101597015","display_name":"Arijit Mondal","orcid":"https://orcid.org/0000-0001-5060-1427"},"institutions":[{"id":"https://openalex.org/I132153292","display_name":"Indian Institute of Technology Patna","ror":"https://ror.org/01ft5vz71","country_code":"IN","type":"funder","lineage":["https://openalex.org/I132153292"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Arijit Mondal","raw_affiliation_strings":["Dept. of Computer Science & Engineering, Indian Institute of Technology, Patna, Bihar, India"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science & Engineering, Indian Institute of Technology, Patna, Bihar, India","institution_ids":["https://openalex.org/I132153292"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100716392","display_name":"Arnab Sarkar","orcid":"https://orcid.org/0000-0002-5930-2180"},"institutions":[{"id":"https://openalex.org/I1317621060","display_name":"Indian Institute of Technology Guwahati","ror":"https://ror.org/0022nd079","country_code":"IN","type":"funder","lineage":["https://openalex.org/I1317621060"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Arnab Sarkar","raw_affiliation_strings":["Department of Computer Science and Engineering Indian Institute of Technology Guwahati, Assam India"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering Indian Institute of Technology Guwahati, Assam India","institution_ids":["https://openalex.org/I1317621060"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5052215348","display_name":"Santosh Biswas","orcid":"https://orcid.org/0000-0003-3020-4154"},"institutions":[{"id":"https://openalex.org/I1317621060","display_name":"Indian Institute of Technology Guwahati","ror":"https://ror.org/0022nd079","country_code":"IN","type":"funder","lineage":["https://openalex.org/I1317621060"]}],"countries":["IN"],"is_corresponding":false,"raw_author_name":"Santosh Biswas","raw_affiliation_strings":["Department of Computer Science and Engineering Indian Institute of Technology Guwahati, Assam India"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science and Engineering Indian Institute of Technology Guwahati, Assam India","institution_ids":["https://openalex.org/I1317621060"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.176,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":5,"citation_normalized_percentile":{"value":0.544974,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":80,"max":82},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"2"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994,"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.9994,"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.9954,"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/T10142","display_name":"Formal Methods in Verification","score":0.9875,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/real-time-operating-system","display_name":"Real-time operating system","score":0.43758973},{"id":"https://openalex.org/keywords/response-time","display_name":"Response time","score":0.43461314}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8216755},{"id":"https://openalex.org/C4822641","wikidata":"https://www.wikidata.org/wiki/Q846651","display_name":"Multiprocessing","level":2,"score":0.65319127},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.61265236},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.6019713},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.4567098},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.4522985},{"id":"https://openalex.org/C28472234","wikidata":"https://www.wikidata.org/wiki/Q213666","display_name":"Real-time operating system","level":2,"score":0.43758973},{"id":"https://openalex.org/C19012869","wikidata":"https://www.wikidata.org/wiki/Q578372","display_name":"Response time","level":2,"score":0.43461314},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.41663742},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.40974867},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.34453607},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.25501525},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","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/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","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/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/isvdat.2015.7208162","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.43,"display_name":"Industry, innovation and infrastructure"}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4382644535","https://openalex.org/W4321124850","https://openalex.org/W2522768275","https://openalex.org/W2352938035","https://openalex.org/W2351672553","https://openalex.org/W2340891692","https://openalex.org/W2125783653","https://openalex.org/W2005296098","https://openalex.org/W1979183926","https://openalex.org/W1923281899"],"abstract_inverted_index":{"Real-time":[0],"embedded":[1,137,219,257,384,412,457,464,515],"applications":[2],"span":[3],"a":[4,34,43,56,86,114,149,230,247,344,351,392],"wide":[5],"range":[6],"of":[7,95,108,132,190,207,241,250,268,278,300,346,356,389,404,415,462,500,513],"domains":[8],"including":[9],"automotive":[10],"and":[11,146,157,180,194,214,271,313,324,331,368,374,379,399,475,511,517],"flight":[12],"control":[13],"systems,":[14,16,18],"monitoring":[15],"multimedia":[17],"virtual":[19],"reality,":[20],"interactive":[21],"gaming,":[22],"robotics,":[23],"telecommunications,":[24],"etc.":[25,211,436],"A":[26,47],"late":[27],"response":[28],"in":[29,55,139,187,233,253,329,458,466,509],"these":[30,218,309],"systems":[31,78,138,221,283,378,385,465,516],"might":[32],"cause":[33],"wrong":[35],"behavior":[36],"which":[37],"could":[38],"possibly":[39],"even":[40],"lead":[41],"to":[42,61,69,120,289,364,438,446,521],"critical":[44],"system":[45,54,186,223,311],"failure.":[46],"typical":[48],"example":[49],"is":[50,59,85,285,395],"an":[51,266,291],"anti-lock":[52],"braking":[53],"car":[57],"that":[58,122,306,360,442,452,487],"required":[60],"release":[62],"the":[63,71,80,106,116,168,184,188,203,205,208,238,251,276,357,416,420,425,440,443,450,463,473,492,497,501,506],"brakes":[64],"within":[65,126,491],"(say)":[66],"60":[67],"milliseconds":[68],"prevent":[70],"wheels":[72],"from":[73,321,449],"locking.":[74],"In":[75,105,237,338,496],"most":[76,461],"real-time":[77,136,159,174,220,514],"design,":[79],"task":[81],"/":[82],"application":[83],"scheduler":[84,118],"major":[87],"architectural":[88],"component":[89],"responsible":[90],"for":[91,170,183,217,280,376,411,427],"ensuring":[92],"proper":[93],"processing":[94],"all":[96,424],"tasks":[97],"having":[98],"timeliness":[99],"constraints":[100,182],"on":[101,113,155,274,302,316,354],"their":[102,142],"execution":[103,199],"response.":[104],"presence":[107,189],"several":[109,173,332],"concurrent":[110],"activities":[111],"running":[112],"processor,":[115],"realtime":[117],"has":[119,227,297],"ensure":[121,486],"each":[123],"activity":[124],"completes":[125],"its":[127,234],"deadline.":[128],"The":[129,256,401],"first":[130],"part":[131,240,499],"this":[133,242,254,339,347],"tutorial":[134],"introduces":[135],"general":[140,402],"highlighting":[141],"key":[143],"design":[144],"issues":[145],"then":[147],"presents":[148],"few":[150],"important":[151],"scheduling":[152,162],"mechanisms":[153],"employed":[154],"uni-processor":[156],"multiprocessor":[158],"systems.":[160],"While":[161],"strategies":[163],"are":[164,261,489],"directed":[165],"towards":[166],"handling":[167],"contention":[169],"CPUs":[171],"among":[172],"tasks,":[175],"it":[176,453],"cannot":[177,407],"guarantee":[178],"timing":[179,213,225],"performance":[181,215],"entire":[185],"variable":[191],"memory":[192],"access":[193],"data":[195],"communication":[196],"times,":[197],"actual":[198],"path":[200],"taken":[201],"by":[202,397],"applications,":[204],"micro-architecture":[206],"platform":[209],"used":[210],"Validating":[212],"properties":[216,315],"through":[222],"level":[224],"analysis":[226],"evolved":[228],"as":[229],"research":[231,301],"theme":[232,296],"own":[235],"merit.":[236],"second":[239],"discussion,":[243],"we":[244,341,503],"will":[245,342,504],"present":[246,343],"systematic":[248],"study":[249],"developments":[252],"area.":[255],"real-systems":[258],"under":[259],"consideration":[260],"becoming":[262],"increasingly":[263],"complex.":[264],"With":[265],"ensemble":[267],"complex":[269],"components":[270],"diverse":[272,310],"functionalities":[273],"board,":[275],"problem":[277],"verification":[279],"real":[281,365,470],"time":[282,471,494],"implementations":[284],"often":[286],"turning":[287],"out":[288],"be":[290,408,447],"insurmountable":[292],"task.":[293],"This":[294],"fascinating":[295],"inspired":[298],"decades":[299],"effective":[303],"full-proof":[304],"methods":[305,359],"can":[307],"handle":[308,522],"types":[312],"prove":[314],"them.":[317,523],"Verification":[318],"models":[319],"ranging":[320],"automata":[322],"variants":[323],"hybrid":[325],"formalisms":[326],"have":[327,335,361,370],"appeared":[328],"literature":[330],"success":[333],"stories":[334],"been":[336,362,371],"reported.":[337],"part,":[340],"survey":[345],"evolving":[348,519],"landscape":[349],"with":[350,419],"detailed":[352],"discussion":[353],"some":[355,455],"promising":[358],"put":[363],"practice.":[366],"Validation":[367],"test":[369,430,432,474],"intensively":[372],"studied":[373],"understood":[375],"hardware":[377,390,413,444],"software":[380,421,456],"programs":[381],"separately.":[382],"However,":[383],"not":[386,479],"only":[387,480],"consist":[388],"components,":[391],"large":[393],"portion":[394],"realized":[396],"firmware":[398],"programs.":[400],"concept":[403],"VLSI":[405],"testing":[406,428,510],"directly":[409],"applied":[410],"because":[414],"close":[417],"interaction":[418],"components.":[422],"Thus,":[423],"steps":[426],"namely":[429],"planning,":[431],"pattern":[433],"generation,":[434],"DFT":[435],"needs":[437,445],"consider":[439],"fact":[441],"looked":[448],"angle":[451],"executes":[454],"it.":[459],"As":[460],"modern":[467],"times":[468],"involve":[469],"constraints,":[472],"validation":[476,512],"techniques":[477,520],"need":[478],"determine":[481],"correct":[482],"operation":[483],"but":[484],"also":[485],"computations":[488],"completed":[490],"given":[493],"lines.":[495],"fourth":[498],"tutorial,":[502],"discuss":[505],"challenges":[507],"involved":[508],"various":[518]},"abstract_inverted_index_v3":null,"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1513829456","counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2025-03-21T17:26:32.226945","created_date":"2016-06-24"}