{"id":"https://openalex.org/W3041620968","doi":"https://doi.org/10.1109/meco49872.2020.9134192","title":"Ada Ravenscar Profile and C language: Rules Porting and Compatibility Checks Automation","display_name":"Ada Ravenscar Profile and C language: Rules Porting and Compatibility Checks Automation","publication_year":2020,"publication_date":"2020-06-01","ids":{"openalex":"https://openalex.org/W3041620968","doi":"https://doi.org/10.1109/meco49872.2020.9134192","mag":"3041620968"},"language":"en","primary_location":{"id":"doi:10.1109/meco49872.2020.9134192","is_oa":false,"landing_page_url":"https://doi.org/10.1109/meco49872.2020.9134192","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 9th Mediterranean Conference on Embedded Computing (MECO)","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/A5046370972","display_name":"Luigi Pomante","orcid":"https://orcid.org/0000-0002-4137-3634"},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Luigi Pomante","raw_affiliation_strings":["Universit\u00e1 degli Studi dell' Aquila, DEWS, L'Aquila, ITALY"],"affiliations":[{"raw_affiliation_string":"Universit\u00e1 degli Studi dell' Aquila, DEWS, L'Aquila, ITALY","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012609341","display_name":"Fabio Romano","orcid":null},"institutions":[{"id":"https://openalex.org/I26415053","display_name":"University of L'Aquila","ror":"https://ror.org/01j9p1r26","country_code":"IT","type":"education","lineage":["https://openalex.org/I26415053"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Fabio Romano","raw_affiliation_strings":["Universit\u00e1 degli Studi dell' Aquila, DEWS, L'Aquila, ITALY"],"affiliations":[{"raw_affiliation_string":"Universit\u00e1 degli Studi dell' Aquila, DEWS, L'Aquila, ITALY","institution_ids":["https://openalex.org/I26415053"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040768026","display_name":"Paolo Serri","orcid":null},"institutions":[{"id":"https://openalex.org/I2801356230","display_name":"Thales (Australia)","ror":"https://ror.org/00f7vya03","country_code":"AU","type":"company","lineage":["https://openalex.org/I2801356230","https://openalex.org/I4210140930"]},{"id":"https://openalex.org/I1300590480","display_name":"Leonardo (United States)","ror":"https://ror.org/041twcm28","country_code":"US","type":"company","lineage":["https://openalex.org/I1300590480","https://openalex.org/I2802798279"]}],"countries":["AU","US"],"is_corresponding":false,"raw_author_name":"Paolo Serri","raw_affiliation_strings":["Thales Alenia Space Italia, TASI, L'Aquila, ITALY"],"affiliations":[{"raw_affiliation_string":"Thales Alenia Space Italia, TASI, L'Aquila, ITALY","institution_ids":["https://openalex.org/I1300590480","https://openalex.org/I2801356230"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5046370972"],"corresponding_institution_ids":["https://openalex.org/I26415053"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08885017,"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":"4"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994000196456909,"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.9994000196456909,"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/T13248","display_name":"Healthcare Technology and Patient Monitoring","score":0.9962000250816345,"subfield":{"id":"https://openalex.org/subfields/2746","display_name":"Surgery"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9943000078201294,"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/computer-science","display_name":"Computer science","score":0.8386210203170776},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6357331871986389},{"id":"https://openalex.org/keywords/porting","display_name":"Porting","score":0.5133475661277771},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.4447856843471527},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.43734681606292725},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.41859662532806396},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3228890895843506},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.12300857901573181}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8386210203170776},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6357331871986389},{"id":"https://openalex.org/C106251023","wikidata":"https://www.wikidata.org/wiki/Q851989","display_name":"Porting","level":3,"score":0.5133475661277771},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.4447856843471527},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.43734681606292725},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.41859662532806396},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3228890895843506},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.12300857901573181},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"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/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/meco49872.2020.9134192","is_oa":false,"landing_page_url":"https://doi.org/10.1109/meco49872.2020.9134192","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 9th Mediterranean Conference on Embedded Computing (MECO)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W2068563976","https://openalex.org/W2094523463","https://openalex.org/W2115597529","https://openalex.org/W2164633222","https://openalex.org/W2175792212","https://openalex.org/W2798962919","https://openalex.org/W2897559408","https://openalex.org/W2982180841","https://openalex.org/W2982276569","https://openalex.org/W6683833158","https://openalex.org/W6685610458"],"related_works":["https://openalex.org/W2356602486","https://openalex.org/W2351992668","https://openalex.org/W2324828474","https://openalex.org/W2374315191","https://openalex.org/W2391207559","https://openalex.org/W2384715785","https://openalex.org/W2349624418","https://openalex.org/W2064459023","https://openalex.org/W2384611437","https://openalex.org/W2907301531"],"abstract_inverted_index":{"The":[0,58],"Ada":[1,9,13,36],"Ravenscar":[2,30,69,98],"profile":[3,70],"is":[4,64,101],"a":[5,77,93],"subset":[6],"of":[7,28,61,108],"the":[8,20,29,46,68,80,106],"language":[10],"which":[11,38],"restricts":[12],"tasking":[14,81],"features":[15,82],"in":[16,42,76,105],"order":[17],"to":[18,55,65,74,96],"provide":[19],"determinism":[21],"required":[22],"by":[23,85],"hard":[24],"real-time":[25],"systems.":[26],"Some":[27],"rules":[31],"are":[32,39,83],"based":[33],"on":[34],"specific":[35],"constructs,":[37],"not":[40],"available":[41],"other":[43],"languages,":[44],"but":[45],"reasoning":[47],"behind":[48],"each":[49],"rule":[50],"can":[51,71],"be":[52,72],"applied":[53,104],"also":[54],"different":[56],"ones.":[57],"main":[59],"objective":[60],"this":[62],"paper":[63],"show":[66],"how":[67],"adapted":[73],"work":[75,90],"system":[78],"where":[79],"managed":[84],"RTEMS,":[86],"and":[87,103],"C/Ada":[88],"languages":[89],"together.":[91],"Furthermore,":[92],"tool":[94],"developed":[95],"automate":[97],"compliance":[99],"checks":[100],"presented":[102],"context":[107],"some":[109],"experimental":[110],"verification":[111],"activities.":[112]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}