{"id":"https://openalex.org/W2344392400","doi":"https://doi.org/10.1109/rtas.2016.7461333","title":"Demo Abstract: Run-Time Monitoring Environments for Real-Time and Safety Critical Systems","display_name":"Demo Abstract: Run-Time Monitoring Environments for Real-Time and Safety Critical Systems","publication_year":2016,"publication_date":"2016-04-01","ids":{"openalex":"https://openalex.org/W2344392400","doi":"https://doi.org/10.1109/rtas.2016.7461333","mag":"2344392400"},"language":"en","primary_location":{"id":"doi:10.1109/rtas.2016.7461333","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rtas.2016.7461333","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","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/A5023696057","display_name":"Geoffrey Nelissen","orcid":"https://orcid.org/0000-0003-4141-6718"},"institutions":[{"id":"https://openalex.org/I83863532","display_name":"Polytechnic Institute of Porto","ror":"https://ror.org/04988re48","country_code":"PT","type":"education","lineage":["https://openalex.org/I83863532"]},{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]}],"countries":["PT"],"is_corresponding":true,"raw_author_name":"Geoffrey Nelissen","raw_affiliation_strings":["CISTER/INESC TEC, ISEP, Polytechnic Institute of Porto, Porto, Portugal"],"affiliations":[{"raw_affiliation_string":"CISTER/INESC TEC, ISEP, Polytechnic Institute of Porto, Porto, Portugal","institution_ids":["https://openalex.org/I83863532","https://openalex.org/I4210166615"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067693708","display_name":"Humberto Carvalho","orcid":"https://orcid.org/0000-0001-9433-2767"},"institutions":[{"id":"https://openalex.org/I83863532","display_name":"Polytechnic Institute of Porto","ror":"https://ror.org/04988re48","country_code":"PT","type":"education","lineage":["https://openalex.org/I83863532"]},{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Humberto Carvalho","raw_affiliation_strings":["CISTER/INESC TEC, ISEP, Polytechnic Institute of Porto, Porto, Portugal"],"affiliations":[{"raw_affiliation_string":"CISTER/INESC TEC, ISEP, Polytechnic Institute of Porto, Porto, Portugal","institution_ids":["https://openalex.org/I83863532","https://openalex.org/I4210166615"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002757956","display_name":"David Pereira","orcid":"https://orcid.org/0000-0002-7561-6649"},"institutions":[{"id":"https://openalex.org/I83863532","display_name":"Polytechnic Institute of Porto","ror":"https://ror.org/04988re48","country_code":"PT","type":"education","lineage":["https://openalex.org/I83863532"]},{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"David Pereira","raw_affiliation_strings":["CISTER/INESC TEC, ISEP, Polytechnic Institute of Porto, Porto, Portugal"],"affiliations":[{"raw_affiliation_string":"CISTER/INESC TEC, ISEP, Polytechnic Institute of Porto, Porto, Portugal","institution_ids":["https://openalex.org/I83863532","https://openalex.org/I4210166615"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5078183455","display_name":"Eduardo Tovar","orcid":"https://orcid.org/0000-0001-8979-3876"},"institutions":[{"id":"https://openalex.org/I83863532","display_name":"Polytechnic Institute of Porto","ror":"https://ror.org/04988re48","country_code":"PT","type":"education","lineage":["https://openalex.org/I83863532"]},{"id":"https://openalex.org/I4210166615","display_name":"INESC TEC","ror":"https://ror.org/05fa8ka61","country_code":"PT","type":"nonprofit","lineage":["https://openalex.org/I4210125590","https://openalex.org/I4210166615"]}],"countries":["PT"],"is_corresponding":false,"raw_author_name":"Eduardo Tovar","raw_affiliation_strings":["CISTER/INESC TEC, ISEP, Polytechnic Institute of Porto, Porto, Portugal"],"affiliations":[{"raw_affiliation_string":"CISTER/INESC TEC, ISEP, Polytechnic Institute of Porto, Porto, Portugal","institution_ids":["https://openalex.org/I83863532","https://openalex.org/I4210166615"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5023696057"],"corresponding_institution_ids":["https://openalex.org/I4210166615","https://openalex.org/I83863532"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.02933985,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"1"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9965999722480774,"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.9965999722480774,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9631999731063843,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.9584000110626221,"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.8549193143844604},{"id":"https://openalex.org/keywords/real-time-operating-system","display_name":"Real-time operating system","score":0.5626205801963806},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.562554121017456},{"id":"https://openalex.org/keywords/reset","display_name":"Reset (finance)","score":0.5596007704734802},{"id":"https://openalex.org/keywords/real-time-computing","display_name":"Real-time computing","score":0.5290125012397766},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.5273737907409668},{"id":"https://openalex.org/keywords/scheduling","display_name":"Scheduling (production processes)","score":0.515696108341217},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5084675550460815},{"id":"https://openalex.org/keywords/alarm","display_name":"ALARM","score":0.441165566444397},{"id":"https://openalex.org/keywords/jitter","display_name":"Jitter","score":0.41990184783935547},{"id":"https://openalex.org/keywords/execution-time","display_name":"Execution time","score":0.4183220863342285},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.41374799609184265},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.410234272480011},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.31963324546813965},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.11253315210342407}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8549193143844604},{"id":"https://openalex.org/C28472234","wikidata":"https://www.wikidata.org/wiki/Q213666","display_name":"Real-time operating system","level":2,"score":0.5626205801963806},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.562554121017456},{"id":"https://openalex.org/C2779795794","wikidata":"https://www.wikidata.org/wiki/Q7315343","display_name":"Reset (finance)","level":2,"score":0.5596007704734802},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.5290125012397766},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.5273737907409668},{"id":"https://openalex.org/C206729178","wikidata":"https://www.wikidata.org/wiki/Q2271896","display_name":"Scheduling (production processes)","level":2,"score":0.515696108341217},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5084675550460815},{"id":"https://openalex.org/C2779119184","wikidata":"https://www.wikidata.org/wiki/Q294350","display_name":"ALARM","level":2,"score":0.441165566444397},{"id":"https://openalex.org/C134652429","wikidata":"https://www.wikidata.org/wiki/Q1052698","display_name":"Jitter","level":2,"score":0.41990184783935547},{"id":"https://openalex.org/C2989134064","wikidata":"https://www.wikidata.org/wiki/Q288510","display_name":"Execution time","level":2,"score":0.4183220863342285},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.41374799609184265},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.410234272480011},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.31963324546813965},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.11253315210342407},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","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/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"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/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C106159729","wikidata":"https://www.wikidata.org/wiki/Q2294553","display_name":"Financial economics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/rtas.2016.7461333","is_oa":false,"landing_page_url":"https://doi.org/10.1109/rtas.2016.7461333","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.5400000214576721}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W350273603","https://openalex.org/W2121182846","https://openalex.org/W2393495588","https://openalex.org/W2052652451","https://openalex.org/W2108166217","https://openalex.org/W2144864494","https://openalex.org/W2155578972","https://openalex.org/W2169086742","https://openalex.org/W4313173655","https://openalex.org/W2189464748"],"abstract_inverted_index":{"With":[0],"the":[1,15,27,35,77,86,89,97,104,110,138,168,177,196,202,208,213,220,227,232,263,297,300,314,317],"increasing":[2],"complexity":[3],"of":[4,44,88,135,137,148,179,266,316],"embedded":[5,271],"systems,":[6],"it":[7],"becomes":[8],"unrealistic":[9],"to":[10,76,96,99,124,154,176,229,288,291,310],"formally":[11],"verify":[12,100],"that":[13,30,56,103,248],"all":[14,235],"system":[16,36,98,105,233],"requirements":[17,106],"will":[18],"be":[19,60,120,224,250,289],"respected":[20,61,108],"under":[21],"any":[22,253],"possible":[23],"execution":[24,51,129],"scenario.":[25],"Moreover,":[26],"worst-case":[28,50],"analyses":[29],"are":[31,38,93,107,162],"usually":[32],"performed":[33],"before":[34],"deployment":[37],"also":[39],"based":[40,84],"on":[41,85,212],"a":[42,113,149,189,242,277],"set":[43],"assumptions":[45],"(e.g.,":[46,128],"minimum":[47],"activation":[48],"period,":[49],"time,":[52],"maximum":[53],"release":[54],"jitter)":[55],"may":[57],"not":[58],"always":[59],"at":[62,101],"run-time.":[63],"For":[64],"those":[65],"reasons,":[66],"run-time":[67,70,102,150,204,256],"monitoring":[68,151],"and":[69,156,166,206,299,312],"verification":[71,82],"become":[72],"an":[73,117],"interesting":[74],"alternative":[75],"traditional":[78],"offline":[79],"verification.":[80],"Run-time":[81],"is":[83,115,186,241,259,276,304],"instrumentation":[87],"target":[90],"applications.":[91,302],"Monitors":[92],"then":[94],"added":[95],"during":[109],"execution.":[111],"If":[112],"misbehaviour":[114],"detected,":[116],"alarm":[118],"can":[119,222,249],"raised":[121],"so":[122],"as":[123,188],"trigger":[125],"appropriate":[126],"counter-measures":[127],"mode":[130],"change,":[131],"reset":[132],"or":[133],"deactivation":[134],"some":[136],"functionalities).":[139],"In":[140],"this":[141],"work,":[142],"we":[143],"present":[144],"four":[145],"different":[146],"implementations":[147,161],"framework":[152],"suited":[153,175],"real-time":[155],"safety":[157],"critical":[158],"systems.":[159,182,272],"Two":[160],"written":[163,245],"in":[164,201,246,252,270],"Ada":[165,193],"follow":[167],"Ravenscar":[169],"profile,":[170],"which":[171],"make":[172],"them":[173],"particularly":[174],"development":[178],"high":[180],"integrity":[181],"The":[183,238,273],"first":[184],"version":[185],"available":[187],"standalone":[190,243],"library":[191,244],"for":[192,281,285,307],"programs":[194],"while":[195],"second":[197],"has":[198,284],"been":[199],"integrated":[200],"GNAT":[203],"environment":[205],"instruments":[207],"ORK+":[209],"micro-kernel.":[210],"Information":[211],"task":[214],"scheduling":[215],"events,":[216],"directly":[217],"originating":[218],"from":[219],"kernel,":[221],"thus":[223],"used":[225,251,269],"by":[226],"monitors":[228,298],"check":[230],"if":[231],"follows":[234],"its":[236],"requirements.":[237],"third":[239],"implementation":[240,275],"C++":[247],"POSIX":[254],"compliant":[255],"environment.":[257],"It":[258,283,303],"therefore":[260,305],"compatible":[261],"with":[262],"vast":[264],"majority":[265],"operating":[267],"systems":[268],"last":[274],"loadable":[278],"kernel":[279],"module":[280],"Linux.":[282],"main":[286],"advantage":[287],"able":[290],"enforce":[292],"complete":[293],"space":[294],"partitioning":[295],"between":[296],"monitored":[301],"impossible":[306],"memory":[308],"faults":[309],"propagate":[311],"corrupt":[313],"state":[315],"monitors.":[318]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}