{"id":"https://openalex.org/W2027450182","doi":"https://doi.org/10.4018/jertcs.2010040105","title":"Hierarchical Agent Monitored Parallel On-Chip System","display_name":"Hierarchical Agent Monitored Parallel On-Chip System","publication_year":2010,"publication_date":"2010-04-01","ids":{"openalex":"https://openalex.org/W2027450182","doi":"https://doi.org/10.4018/jertcs.2010040105","mag":"2027450182"},"language":"en","primary_location":{"id":"doi:10.4018/jertcs.2010040105","is_oa":false,"landing_page_url":"https://doi.org/10.4018/jertcs.2010040105","pdf_url":null,"source":{"id":"https://openalex.org/S172929737","display_name":"International Journal of Embedded and Real-Time Communication Systems","issn_l":"1947-3176","issn":["1947-3176","1947-3184"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Embedded and Real-Time Communication Systems","raw_type":"journal-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/A5018446798","display_name":"Liang Guang","orcid":null},"institutions":[{"id":"https://openalex.org/I155660961","display_name":"University of Turku","ror":"https://ror.org/05vghhr25","country_code":"FI","type":"education","lineage":["https://openalex.org/I155660961"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Liang Guang","raw_affiliation_strings":["University of Turku, Finland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Turku, Finland","institution_ids":["https://openalex.org/I155660961"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075314597","display_name":"Juha Plosila","orcid":"https://orcid.org/0000-0003-4018-5495"},"institutions":[{"id":"https://openalex.org/I155660961","display_name":"University of Turku","ror":"https://ror.org/05vghhr25","country_code":"FI","type":"education","lineage":["https://openalex.org/I155660961"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Juha Plosila","raw_affiliation_strings":["University of Turku, Finland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Turku, Finland","institution_ids":["https://openalex.org/I155660961"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055846108","display_name":"Jouni Isoaho","orcid":"https://orcid.org/0000-0002-5789-3992"},"institutions":[{"id":"https://openalex.org/I155660961","display_name":"University of Turku","ror":"https://ror.org/05vghhr25","country_code":"FI","type":"education","lineage":["https://openalex.org/I155660961"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Jouni Isoaho","raw_affiliation_strings":["University of Turku, Finland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Turku, Finland","institution_ids":["https://openalex.org/I155660961"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5003371230","display_name":"Hannu Tenhunen","orcid":"https://orcid.org/0000-0003-1959-6513"},"institutions":[{"id":"https://openalex.org/I155660961","display_name":"University of Turku","ror":"https://ror.org/05vghhr25","country_code":"FI","type":"education","lineage":["https://openalex.org/I155660961"]}],"countries":["FI"],"is_corresponding":false,"raw_author_name":"Hannu Tenhunen","raw_affiliation_strings":["University of Turku, Finland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Turku, Finland","institution_ids":["https://openalex.org/I155660961"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I155660961"],"apc_list":null,"apc_paid":null,"fwci":0.7312,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.72713199,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"1","issue":"2","first_page":"86","last_page":"105"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10829","display_name":"Interconnection Networks and Systems","score":0.9991000294685364,"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9991000294685364,"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.9979000091552734,"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.9976000189781189,"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.7909829020500183},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5768480896949768},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4560657739639282},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.45452913641929626},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.44239088892936707},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4153994619846344},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.41103169322013855},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2807234525680542}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7909829020500183},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5768480896949768},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4560657739639282},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.45452913641929626},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.44239088892936707},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4153994619846344},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.41103169322013855},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2807234525680542},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"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/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","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},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.4018/jertcs.2010040105","is_oa":false,"landing_page_url":"https://doi.org/10.4018/jertcs.2010040105","pdf_url":null,"source":{"id":"https://openalex.org/S172929737","display_name":"International Journal of Embedded and Real-Time Communication Systems","issn_l":"1947-3176","issn":["1947-3176","1947-3184"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320424","host_organization_name":"IGI Global","host_organization_lineage":["https://openalex.org/P4310320424"],"host_organization_lineage_names":["IGI Global"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Embedded and Real-Time Communication Systems","raw_type":"journal-article"},{"id":"pmh:oai:RePEc:igg:jertcs:v:1:y:2010:i:2:p:86-105","is_oa":false,"landing_page_url":"http://services.igi-global.com/resolvedoi/resolve.aspx?doi=10.4018/jertcs.2010040105","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W13906328","https://openalex.org/W33521852","https://openalex.org/W121886191","https://openalex.org/W590095378","https://openalex.org/W1833719054","https://openalex.org/W1884024438","https://openalex.org/W1990911977","https://openalex.org/W2007866638","https://openalex.org/W2017503457","https://openalex.org/W2017717449","https://openalex.org/W2098228187","https://openalex.org/W2098695358","https://openalex.org/W2106172458","https://openalex.org/W2111863355","https://openalex.org/W2117299787","https://openalex.org/W2117648153","https://openalex.org/W2121082877","https://openalex.org/W2123803662","https://openalex.org/W2126495708","https://openalex.org/W2128398793","https://openalex.org/W2130796079","https://openalex.org/W2151415616","https://openalex.org/W2151934796","https://openalex.org/W2159747318","https://openalex.org/W2161511578","https://openalex.org/W2169687938","https://openalex.org/W4253795537"],"related_works":["https://openalex.org/W2049993111","https://openalex.org/W1903167137","https://openalex.org/W2145025660","https://openalex.org/W2171674700","https://openalex.org/W1922520186","https://openalex.org/W1544097700","https://openalex.org/W1946493810","https://openalex.org/W1495250406","https://openalex.org/W17088386","https://openalex.org/W1608485412"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"the":[3,46,56,64,76,80,89,101,107,137],"authors":[4],"present":[5],"a":[6,10,25,50],"formal":[7,73,138],"specification":[8,60,74],"of":[9,42,48,91,100,126],"novel":[11,51],"design":[12,121],"paradigm,":[13],"hierarchical":[14,26,86,127],"agent":[15],"monitored":[16],"SoCs":[17],"(HAMSOC).":[18],"The":[19,72,104],"paradigm":[20],"motivates":[21],"dynamic":[22],"monitoring":[23,102,128],"in":[24,94,132],"and":[27,36,52,88,97,114],"distributed":[28],"manner,":[29],"with":[30,85,111,136],"adaptive":[31],"agents":[32],"embedded":[33],"for":[34,129],"local":[35],"global":[37],"operations.":[38,103],"Formal":[39],"methods":[40],"are":[41],"essential":[43],"importance":[44],"to":[45,63,117],"development":[47],"such":[49],"complex":[53],"platform.":[54],"As":[55],"initial":[57],"effort,":[58],"functional":[59],"is":[61,140],"indispensable":[62],"non-ambiguous":[65],"system":[66,81],"modeling":[67,95],"before":[68],"potential":[69],"property":[70],"verification.":[71],"defines":[75],"manner":[77],"by":[78],"which":[79],"can":[82],"be":[83],"constructed":[84],"components":[87],"representation":[90],"run-time":[92],"information":[93],"entities":[96],"every":[98],"type":[99],"syntax":[105],"follows":[106],"standard":[108],"set":[109],"theory":[110],"additional":[112],"glossary":[113],"notations":[115],"introduced":[116],"facilitate":[118],"practical":[119],"SoC":[120],"process.":[122],"A":[123],"case":[124],"study":[125],"power":[130],"management":[131],"NoC":[133],"(Network-on-chip),":[134],"written":[135],"specification,":[139],"demonstrated.":[141]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":2}],"updated_date":"2026-06-11T06:19:23.411458","created_date":"2016-06-24T00:00:00"}