{"id":"https://openalex.org/W2117464272","doi":"https://doi.org/10.1109/memcod.2006.1695918","title":"The SystemJ approach to system-level design","display_name":"The SystemJ approach to system-level design","publication_year":2006,"publication_date":"2006-09-22","ids":{"openalex":"https://openalex.org/W2117464272","doi":"https://doi.org/10.1109/memcod.2006.1695918","mag":"2117464272"},"language":"en","primary_location":{"id":"doi:10.1109/memcod.2006.1695918","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2006.1695918","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings.","raw_type":"proceedings-article"},"type":"conference-paper","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/A5076838369","display_name":"Flavius Gruian","orcid":"https://orcid.org/0000-0003-1739-3384"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"F. Gruian","raw_affiliation_strings":["Department of Computer Science, Lund Institute of Technology, Lund, Sweden","Dept. of Comput. Sci., Lund Inst. of Technol., Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Lund Institute of Technology, Lund, Sweden","institution_ids":[]},{"raw_affiliation_string":"Dept. of Comput. Sci., Lund Inst. of Technol., Sweden","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076621370","display_name":"Partha S. Roop","orcid":"https://orcid.org/0000-0001-9654-5678"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"P. Roop","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Auckland, Auckland, New Zealand","Department of Electrical and Computer Engineering, University of Auckland, Auckland, New Zealand;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Auckland, Auckland, New Zealand;","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088166627","display_name":"Zoran Sal\u010di\u0107","orcid":"https://orcid.org/0000-0001-7714-9848"},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"Z. Salcic","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Auckland, Auckland, New Zealand","Department of Electrical and Computer Engineering, University of Auckland, Auckland, New Zealand;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Auckland, Auckland, New Zealand;","institution_ids":["https://openalex.org/I154130895"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5077933011","display_name":"Ivan Radojevic","orcid":null},"institutions":[{"id":"https://openalex.org/I154130895","display_name":"University of Auckland","ror":"https://ror.org/03b94tp07","country_code":"NZ","type":"education","lineage":["https://openalex.org/I154130895"]}],"countries":["NZ"],"is_corresponding":false,"raw_author_name":"I. Radojevic","raw_affiliation_strings":["Department of Electrical and Computer Engineering, University of Auckland, Auckland, New Zealand","Department of Electrical and Computer Engineering, University of Auckland, Auckland, New Zealand;"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Auckland, Auckland, New Zealand","institution_ids":["https://openalex.org/I154130895"]},{"raw_affiliation_string":"Department of Electrical and Computer Engineering, University of Auckland, Auckland, New Zealand;","institution_ids":["https://openalex.org/I154130895"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":26,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"149","last_page":"158"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"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/T10904","display_name":"Embedded Systems Design Techniques","score":1.0,"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/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9995999932289124,"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9994999766349792,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8498228788375854},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.7247905731201172},{"id":"https://openalex.org/keywords/asynchronous-communication","display_name":"Asynchronous communication","score":0.7126455903053284},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5928730964660645},{"id":"https://openalex.org/keywords/java-modeling-language","display_name":"Java Modeling Language","score":0.4284440279006958},{"id":"https://openalex.org/keywords/real-time-java","display_name":"Real time Java","score":0.4049476981163025},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.33785587549209595},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.32773637771606445},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3245604336261749},{"id":"https://openalex.org/keywords/java-annotation","display_name":"Java annotation","score":0.26399868726730347}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8498228788375854},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.7247905731201172},{"id":"https://openalex.org/C151319957","wikidata":"https://www.wikidata.org/wiki/Q752739","display_name":"Asynchronous communication","level":2,"score":0.7126455903053284},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5928730964660645},{"id":"https://openalex.org/C60945770","wikidata":"https://www.wikidata.org/wiki/Q2517517","display_name":"Java Modeling Language","level":5,"score":0.4284440279006958},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.4049476981163025},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.33785587549209595},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.32773637771606445},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3245604336261749},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.26399868726730347},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/memcod.2006.1695918","is_oa":false,"landing_page_url":"https://doi.org/10.1109/memcod.2006.1695918","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Fourth ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2006. MEMOCODE '06. Proceedings.","raw_type":"proceedings-article"},{"id":"pmh:oai:lup.lub.lu.se:17318d51-2ad8-475e-a355-0f82a1b68bad","is_oa":false,"landing_page_url":"https://lup.lub.lu.se/record/620268","pdf_url":null,"source":{"id":"https://openalex.org/S4306400536","display_name":"Lund University Publications (Lund University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I187531555","host_organization_name":"Lund University","host_organization_lineage":["https://openalex.org/I187531555"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferencePaper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W258022877","https://openalex.org/W1503973138","https://openalex.org/W1550131357","https://openalex.org/W1569551987","https://openalex.org/W1701627750","https://openalex.org/W1763792285","https://openalex.org/W1782169904","https://openalex.org/W2002106209","https://openalex.org/W2072777396","https://openalex.org/W2072961973","https://openalex.org/W2081938726","https://openalex.org/W2099529102","https://openalex.org/W2100500718","https://openalex.org/W2111113332","https://openalex.org/W2114824637","https://openalex.org/W2123797513","https://openalex.org/W2125415493","https://openalex.org/W2131209186","https://openalex.org/W2132551355","https://openalex.org/W2135428045","https://openalex.org/W2136468674","https://openalex.org/W2138612658","https://openalex.org/W2139020255","https://openalex.org/W2148740615","https://openalex.org/W2155117969","https://openalex.org/W2159174738","https://openalex.org/W2160367421","https://openalex.org/W2162357850","https://openalex.org/W2166295031","https://openalex.org/W2169687938","https://openalex.org/W2176300081","https://openalex.org/W2179148191","https://openalex.org/W2503657378","https://openalex.org/W2615373161","https://openalex.org/W2922165966","https://openalex.org/W3144368627","https://openalex.org/W4210886820","https://openalex.org/W4248167513","https://openalex.org/W4285719527","https://openalex.org/W6633991648","https://openalex.org/W6637438590","https://openalex.org/W6676986172","https://openalex.org/W6678316769","https://openalex.org/W6760184896","https://openalex.org/W6830444525"],"related_works":["https://openalex.org/W1974508891","https://openalex.org/W2076663662","https://openalex.org/W2997436116","https://openalex.org/W2365754790","https://openalex.org/W4249758317","https://openalex.org/W2359448728","https://openalex.org/W2062582068","https://openalex.org/W4236689566","https://openalex.org/W2360912707","https://openalex.org/W616469428"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3],"propose":[4],"a":[5,114],"new":[6],"system-level":[7],"design":[8,85],"language,":[9],"called":[10],"SystemJ.":[11],"It":[12],"extends":[13],"Java":[14,64,68,95],"with":[15],"synchronous":[16,31],"reactive":[17,76],"features":[18],"present":[19],"in":[20,97,113],"Esterel":[21],"and":[22,46,53,55,72,105,108,111],"asynchronous":[23,29,57],"constructs":[24],"suitable":[25],"for":[26,70,79],"modelling":[27,110],"globally":[28],"locally":[30],"systems.":[32],"The":[33],"strength":[34],"of":[35,49,59],"SystemJ":[36,84,100],"comes":[37,101],"from":[38],"its":[39],"ability":[40],"to":[41,102],"offer":[42],"the":[43,56,63,83,91],"data":[44,104],"processing":[45],"encapsulation":[47],"elegance":[48],"Java,":[50],"Esterel-like":[51],"reactivity":[52],"synchrony,":[54],"de-coupling":[58],"CSP":[60],"all":[61],"within":[62],"framework.":[65],"Using":[66],"standard":[67],"environments,":[69],"specification":[71],"modelling,":[73],"or":[74],"specialised":[75],"embedded":[77,98],"processors,":[78],"high":[80],"performance":[81],"implementation,":[82],"flow":[86],"is":[87],"extremely":[88],"versatile.":[89],"With":[90],"increasing":[92],"attention":[93],"that":[94],"gets":[96],"systems,":[99],"address":[103],"control,":[106],"software":[107],"hardware,":[109],"implementation":[112],"unified":[115],"manner":[116]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}