{"id":"https://openalex.org/W2010685445","doi":"https://doi.org/10.1145/2661020.2661025","title":"Certifiable Java for Embedded Systems","display_name":"Certifiable Java for Embedded Systems","publication_year":2014,"publication_date":"2014-10-07","ids":{"openalex":"https://openalex.org/W2010685445","doi":"https://doi.org/10.1145/2661020.2661025","mag":"2010685445"},"language":"en","primary_location":{"id":"doi:10.1145/2661020.2661025","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2661020.2661025","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems","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/A5083205602","display_name":"Martin Schoeberl","orcid":"https://orcid.org/0000-0003-2366-382X"},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":true,"raw_author_name":"Martin Schoeberl","raw_affiliation_strings":["Technical University of Denmark","#N##TAB##TAB##TAB##TAB# Technical University of Denmark#N##TAB##TAB##TAB#"],"affiliations":[{"raw_affiliation_string":"Technical University of Denmark","institution_ids":["https://openalex.org/I96673099"]},{"raw_affiliation_string":"#N##TAB##TAB##TAB##TAB# Technical University of Denmark#N##TAB##TAB##TAB#","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5103728564","display_name":"Andreas Engelbredt Dalsgaard","orcid":null},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Andreas Engelbredt Dalsgaard","raw_affiliation_strings":["Dept. of Computer Science, Aalborg University","Department of Computer Science, Aalborg University,#TAB#"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, Aalborg University","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"Department of Computer Science, Aalborg University,#TAB#","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051122243","display_name":"Ren\u00e9 Rydhof Hansen","orcid":"https://orcid.org/0000-0002-5688-6432"},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Ren\u00e9 Rydhof Hansen","raw_affiliation_strings":["Dept. of Computer Science, Aalborg University","Department of Computer Science, Aalborg University,#TAB#"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, Aalborg University","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"Department of Computer Science, Aalborg University,#TAB#","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033077108","display_name":"Stephan Korsholm","orcid":"https://orcid.org/0000-0001-7301-6183"},"institutions":[{"id":"https://openalex.org/I69601649","display_name":"VIA University College","ror":"https://ror.org/04ctbxy49","country_code":"DK","type":"education","lineage":["https://openalex.org/I69601649"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Stephan E. Korsholm","raw_affiliation_strings":["VIA University College, Horsens"],"affiliations":[{"raw_affiliation_string":"VIA University College, Horsens","institution_ids":["https://openalex.org/I69601649"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033777370","display_name":"Anders P. Ravn","orcid":null},"institutions":[{"id":"https://openalex.org/I891191580","display_name":"Aalborg University","ror":"https://ror.org/04m5j1k67","country_code":"DK","type":"education","lineage":["https://openalex.org/I891191580"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Anders P. Ravn","raw_affiliation_strings":["Dept. of Computer Science, Aalborg University","Department of Computer Science, Aalborg University,#TAB#"],"affiliations":[{"raw_affiliation_string":"Dept. of Computer Science, Aalborg University","institution_ids":["https://openalex.org/I891191580"]},{"raw_affiliation_string":"Department of Computer Science, Aalborg University,#TAB#","institution_ids":["https://openalex.org/I891191580"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026981239","display_name":"Juan Ricardo Rios Rivas","orcid":null},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Juan Ricardo Rios Rivas","raw_affiliation_strings":["Technical University of Denmark","#N##TAB##TAB##TAB##TAB# Technical University of Denmark#N##TAB##TAB##TAB#"],"affiliations":[{"raw_affiliation_string":"Technical University of Denmark","institution_ids":["https://openalex.org/I96673099"]},{"raw_affiliation_string":"#N##TAB##TAB##TAB##TAB# Technical University of Denmark#N##TAB##TAB##TAB#","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080745936","display_name":"T\u00f3rur Biskopst\u00f8 Str\u00f8m","orcid":"https://orcid.org/0000-0002-7126-608X"},"institutions":[{"id":"https://openalex.org/I96673099","display_name":"Technical University of Denmark","ror":"https://ror.org/04qtj9h94","country_code":"DK","type":"education","lineage":["https://openalex.org/I96673099"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"T\u00f3rur Biskopst\u00f8 Str\u00f8m","raw_affiliation_strings":["Technical University of Denmark","#N##TAB##TAB##TAB##TAB# Technical University of Denmark#N##TAB##TAB##TAB#"],"affiliations":[{"raw_affiliation_string":"Technical University of Denmark","institution_ids":["https://openalex.org/I96673099"]},{"raw_affiliation_string":"#N##TAB##TAB##TAB##TAB# Technical University of Denmark#N##TAB##TAB##TAB#","institution_ids":["https://openalex.org/I96673099"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043177567","display_name":"Hans S\u00f8ndergaard","orcid":null},"institutions":[{"id":"https://openalex.org/I69601649","display_name":"VIA University College","ror":"https://ror.org/04ctbxy49","country_code":"DK","type":"education","lineage":["https://openalex.org/I69601649"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Hans S\u00f8ndergaard","raw_affiliation_strings":["VIA University College, Horsens"],"affiliations":[{"raw_affiliation_string":"VIA University College, Horsens","institution_ids":["https://openalex.org/I69601649"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5083205602"],"corresponding_institution_ids":["https://openalex.org/I96673099"],"apc_list":null,"apc_paid":null,"fwci":1.4788,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.84013642,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"10","last_page":"19"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","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/T10142","display_name":"Formal Methods in Verification","score":0.9966999888420105,"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/java","display_name":"Java","score":0.8276485204696655},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8065381050109863},{"id":"https://openalex.org/keywords/eclipse","display_name":"Eclipse","score":0.6867507696151733},{"id":"https://openalex.org/keywords/real-time-java","display_name":"Real time Java","score":0.6524298191070557},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.5422604084014893},{"id":"https://openalex.org/keywords/development-environment","display_name":"Development environment","score":0.5107295513153076},{"id":"https://openalex.org/keywords/strictfp","display_name":"strictfp","score":0.5023543834686279},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.49042055010795593},{"id":"https://openalex.org/keywords/embedded-java","display_name":"Embedded Java","score":0.46830689907073975},{"id":"https://openalex.org/keywords/java-annotation","display_name":"Java annotation","score":0.4442235827445984},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.4340320825576782},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.4204455316066742},{"id":"https://openalex.org/keywords/life-critical-system","display_name":"Life-critical system","score":0.41747742891311646},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.389930784702301},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.32728835940361023}],"concepts":[{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.8276485204696655},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8065381050109863},{"id":"https://openalex.org/C2778505590","wikidata":"https://www.wikidata.org/wiki/Q141022","display_name":"Eclipse","level":2,"score":0.6867507696151733},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.6524298191070557},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.5422604084014893},{"id":"https://openalex.org/C139968098","wikidata":"https://www.wikidata.org/wiki/Q3055454","display_name":"Development environment","level":2,"score":0.5107295513153076},{"id":"https://openalex.org/C174954855","wikidata":"https://www.wikidata.org/wiki/Q7623626","display_name":"strictfp","level":4,"score":0.5023543834686279},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.49042055010795593},{"id":"https://openalex.org/C175224512","wikidata":"https://www.wikidata.org/wiki/Q1334980","display_name":"Embedded Java","level":5,"score":0.46830689907073975},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.4442235827445984},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.4340320825576782},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.4204455316066742},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.41747742891311646},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.389930784702301},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.32728835940361023},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/2661020.2661025","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2661020.2661025","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.698.2155","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.2155","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.jopdesign.com/doc/cj4es.pdf","raw_type":"text"},{"id":"pmh:oai:pure.atira.dk:publications/1efac5a6-bed9-4a41-911a-f8a18de71bc5","is_oa":false,"landing_page_url":"https://vbn.aau.dk/da/publications/1efac5a6-bed9-4a41-911a-f8a18de71bc5","pdf_url":null,"source":{"id":"https://openalex.org/S4306401731","display_name":"VBN Forskningsportal (Aalborg Universitet)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I891191580","host_organization_name":"Aalborg University","host_organization_lineage":["https://openalex.org/I891191580"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Schoeberl , M , Dalsgaard , A E , Hansen , R R , Korsholm , S E , Ravn , A P , Rivas , J R R , Str\u00f8m , T B & S\u00f8ndergaard , H 2014 , Certifiable Java for Embedded Systems . in Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems . Association for Computing Machinery , pp. 10-19 , 12th International Workshop on Java Technologies for Real-Time and Embedded Systems , Niagara Falls, NY , United States , 13/10/2014 . https://doi.org/10.1145/2661020.2661025","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:pure.atira.dk:publications/59238594-f4bf-4e17-b312-b81fc8dfdf07","is_oa":false,"landing_page_url":"https://orbit.dtu.dk/en/publications/59238594-f4bf-4e17-b312-b81fc8dfdf07","pdf_url":null,"source":{"id":"https://openalex.org/S4306400705","display_name":"Technical University of Denmark, DTU Orbit (Technical University of Denmark, DTU)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I96673099","host_organization_name":"Technical University of Denmark","host_organization_lineage":["https://openalex.org/I96673099"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Schoeberl , M , Dalsgaard , A E , Hansen , R R , Korsholm , S E , Ravn , A P , Rios Rivas , J R , Str\u00f8m , T B & S\u00f8ndergaard , H 2014 , Certifiable Java for Embedded Systems . in Proceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems (JTRES 2014) . Association for Computing Machinery , pp. 10-19 , 12th International Workshop on Java Technologies for Real-time and Embedded Systems , Niagara Falls , New York , United States , 13/10/2014 . https://doi.org/10.1145/2661020.2661025","raw_type":"contributionToPeriodical"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.5400000214576721,"display_name":"Industry, innovation and infrastructure"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":50,"referenced_works":["https://openalex.org/W1541888410","https://openalex.org/W1606583766","https://openalex.org/W1635862007","https://openalex.org/W1711245081","https://openalex.org/W1875705204","https://openalex.org/W1965561833","https://openalex.org/W1971387933","https://openalex.org/W1974998009","https://openalex.org/W1986794611","https://openalex.org/W1988156923","https://openalex.org/W2005526723","https://openalex.org/W2009391050","https://openalex.org/W2021682354","https://openalex.org/W2023893693","https://openalex.org/W2029003002","https://openalex.org/W2031192129","https://openalex.org/W2037676168","https://openalex.org/W2057433895","https://openalex.org/W2064849992","https://openalex.org/W2066744234","https://openalex.org/W2067306975","https://openalex.org/W2069301550","https://openalex.org/W2075123271","https://openalex.org/W2076535555","https://openalex.org/W2077948478","https://openalex.org/W2088090014","https://openalex.org/W2093694045","https://openalex.org/W2094523463","https://openalex.org/W2098862077","https://openalex.org/W2100083164","https://openalex.org/W2105531520","https://openalex.org/W2111228111","https://openalex.org/W2114097602","https://openalex.org/W2115597529","https://openalex.org/W2122741351","https://openalex.org/W2125940299","https://openalex.org/W2129354145","https://openalex.org/W2134300778","https://openalex.org/W2136658590","https://openalex.org/W2139016210","https://openalex.org/W2143798995","https://openalex.org/W2146034377","https://openalex.org/W2156081350","https://openalex.org/W2162419804","https://openalex.org/W2167300882","https://openalex.org/W2170516424","https://openalex.org/W2170958955","https://openalex.org/W2187007972","https://openalex.org/W6677206126","https://openalex.org/W6686829010"],"related_works":["https://openalex.org/W2170470279","https://openalex.org/W1780290295","https://openalex.org/W1553103764","https://openalex.org/W356503253","https://openalex.org/W2130106957","https://openalex.org/W2041674393","https://openalex.org/W2121819567","https://openalex.org/W412736943","https://openalex.org/W2360912707","https://openalex.org/W2582080837"],"abstract_inverted_index":{"The":[0],"Certifiable":[1],"Java":[2,32,43],"for":[3,17,20,38],"Embedded":[4],"Systems":[5],"(CJ4ES)":[6],"project":[7,93,103],"aimed":[8],"to":[9,69],"develop":[10],"a":[11,41,79],"prototype":[12],"development":[13,54],"environment":[14,55],"and":[15,49,60,64],"platform":[16,62],"safety-critical":[18,39],"software":[19],"embedded":[21],"applications.":[22],"There":[23],"are":[24],"three":[25],"core":[26],"constituents:":[27],"A":[28],"profile":[29,59],"of":[30,78,101],"the":[31,58,61,91,96,98,102],"programming":[33],"language":[34],"that":[35,56,67,72],"is":[36,104],"tailored":[37],"applications,":[40],"predictable":[42],"processor":[44],"built":[45],"with":[46],"FPGA":[47],"technology,":[48],"an":[50],"Eclipse":[51],"based":[52],"application":[53],"binds":[57],"together":[63],"provides":[65],"analyses":[66],"help":[68],"provide":[70],"evidence":[71],"can":[73],"be":[74],"used":[75],"as":[76],"part":[77],"safety":[80],"case.":[81],"This":[82],"paper":[83],"summarizes":[84],"key":[85],"contributions":[86],"within":[87],"these":[88],"areas":[89],"during":[90],"three-year":[92],"period.":[94],"In":[95],"conclusion":[97],"overall":[99],"result":[100],"assessed.":[105]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}