{"id":"https://openalex.org/W4240694227","doi":"https://doi.org/10.1145/1316003.1316008","title":"Building high-integrity distributed systems with Ravenscar restrictions","display_name":"Building high-integrity distributed systems with Ravenscar restrictions","publication_year":2007,"publication_date":"2007-01-01","ids":{"openalex":"https://openalex.org/W4240694227","doi":"https://doi.org/10.1145/1316003.1316008"},"language":"en","primary_location":{"id":"doi:10.1145/1316003.1316008","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1316003.1316008","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th international workshop on Real-time Ada  - IRTAW '07","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/A5021493566","display_name":"Santiago Urue\u00f1a","orcid":"https://orcid.org/0000-0001-7759-7704"},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Santiago Urue\u00f1a","raw_affiliation_strings":["Technical University of Madrid (UPM), Boadilla del Monte, Spain"],"affiliations":[{"raw_affiliation_string":"Technical University of Madrid (UPM), Boadilla del Monte, Spain","institution_ids":["https://openalex.org/I88060688"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5065057618","display_name":"Juan Zamorano","orcid":"https://orcid.org/0000-0001-5412-5691"},"institutions":[{"id":"https://openalex.org/I88060688","display_name":"Universidad Polit\u00e9cnica de Madrid","ror":"https://ror.org/03n6nwv02","country_code":"ES","type":"education","lineage":["https://openalex.org/I88060688"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Juan Zamorano","raw_affiliation_strings":["Technical University of Madrid (UPM), Boadilla del Monte, Spain"],"affiliations":[{"raw_affiliation_string":"Technical University of Madrid (UPM), Boadilla del Monte, Spain","institution_ids":["https://openalex.org/I88060688"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5021493566"],"corresponding_institution_ids":["https://openalex.org/I88060688"],"apc_list":null,"apc_paid":null,"fwci":0.6418,"has_fulltext":false,"cited_by_count":3,"citation_normalized_percentile":{"value":0.76659205,"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":"29","last_page":"29"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9970999956130981,"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"}},"topics":[{"id":"https://openalex.org/T10715","display_name":"Distributed and Parallel Computing Systems","score":0.9970999956130981,"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.996999979019165,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.989300012588501,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8411410450935364},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.5005161762237549},{"id":"https://openalex.org/keywords/predictability","display_name":"Predictability","score":0.4389958679676056},{"id":"https://openalex.org/keywords/data-integrity","display_name":"Data integrity","score":0.4150007367134094},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.41434866189956665},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4136769771575928},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4015255570411682},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.3397681713104248},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.3278467059135437},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.18695563077926636}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8411410450935364},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.5005161762237549},{"id":"https://openalex.org/C197640229","wikidata":"https://www.wikidata.org/wiki/Q2534066","display_name":"Predictability","level":2,"score":0.4389958679676056},{"id":"https://openalex.org/C33762810","wikidata":"https://www.wikidata.org/wiki/Q461671","display_name":"Data integrity","level":2,"score":0.4150007367134094},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.41434866189956665},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4136769771575928},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4015255570411682},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.3397681713104248},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.3278467059135437},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.18695563077926636},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1316003.1316008","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1316003.1316008","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 13th international workshop on Real-time Ada  - IRTAW '07","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","display_name":"Sustainable cities and communities","score":0.5099999904632568}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2726467123","https://openalex.org/W2064726690","https://openalex.org/W4254065731","https://openalex.org/W4252678288","https://openalex.org/W1607297154","https://openalex.org/W4210820789","https://openalex.org/W2913177154","https://openalex.org/W4237782192","https://openalex.org/W4235131201","https://openalex.org/W4232793539"],"abstract_inverted_index":{"The":[0],"Ravenscar":[1],"profile":[2,31],"was":[3],"a":[4,28,58],"qualitative":[5],"leap":[6],"in":[7,57],"the":[8,40,45,52],"development":[9],"of":[10],"single-processor":[11],"hard":[12,60],"real-time":[13,61],"systems":[14,24],"with":[15],"certification":[16],"requirements.":[17],"But":[18],"nowadays":[19],"more":[20,22],"and":[21,42,50,55],"safety-critical":[23],"are":[25],"distributed,":[26],"so":[27],"new":[29],"Ada":[30,62],"is":[32],"needed":[33,47],"for":[34],"multi-node":[35],"applications.":[36],"This":[37],"work":[38],"discusses":[39],"restrictions":[41],"additions":[43],"to":[44,48],"language":[46],"certify":[49],"obtain":[51],"required":[53],"predictability":[54],"timeliness":[56],"high-integrity":[59],"distributed":[63],"application.":[64]},"counts_by_year":[{"year":2013,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}