{"id":"https://openalex.org/W1992745030","doi":"https://doi.org/10.1145/1120725.1120761","title":"Enabling RTOS simulation modeling in a system level design language","display_name":"Enabling RTOS simulation modeling in a system level design language","publication_year":2005,"publication_date":"2005-01-01","ids":{"openalex":"https://openalex.org/W1992745030","doi":"https://doi.org/10.1145/1120725.1120761","mag":"1992745030"},"language":"en","primary_location":{"id":"doi:10.1145/1120725.1120761","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1120725.1120761","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2005 conference on Asia South Pacific design automation - ASP-DAC '05","raw_type":"proceedings-article"},"type":"conference-abstract","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/A5069864154","display_name":"Mohamed Hassan","orcid":"https://orcid.org/0000-0001-5926-5861"},"institutions":[{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"M. AbdElSalam Hassan","raw_affiliation_strings":["Osaka University, Osaka, Japan","Graduate School of Information Science and Technology, Osaka University, Japan#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Osaka University, Osaka, Japan","institution_ids":["https://openalex.org/I98285908"]},{"raw_affiliation_string":"Graduate School of Information Science and Technology, Osaka University, Japan#TAB#","institution_ids":["https://openalex.org/I98285908"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5043815468","display_name":"Keishi Sakanushi","orcid":null},"institutions":[{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Keishi Sakanushi","raw_affiliation_strings":["Osaka University, Osaka, Japan","Graduate School of Information Science and Technology, Osaka University, Japan#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Osaka University, Osaka, Japan","institution_ids":["https://openalex.org/I98285908"]},{"raw_affiliation_string":"Graduate School of Information Science and Technology, Osaka University, Japan#TAB#","institution_ids":["https://openalex.org/I98285908"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101432602","display_name":"Yoshinori Takeuchi","orcid":"https://orcid.org/0000-0001-6936-3596"},"institutions":[{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yoshinori Takeuchi","raw_affiliation_strings":["Osaka University, Osaka, Japan","Graduate School of Information Science and Technology, Osaka University, Japan#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Osaka University, Osaka, Japan","institution_ids":["https://openalex.org/I98285908"]},{"raw_affiliation_string":"Graduate School of Information Science and Technology, Osaka University, Japan#TAB#","institution_ids":["https://openalex.org/I98285908"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109865597","display_name":"Masaharu Imai","orcid":null},"institutions":[{"id":"https://openalex.org/I98285908","display_name":"The University of Osaka","ror":"https://ror.org/035t8zc32","country_code":"JP","type":"education","lineage":["https://openalex.org/I98285908"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Masaharu Imai","raw_affiliation_strings":["Osaka University, Osaka, Japan","Graduate School of Information Science and Technology, Osaka University, Japan#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Osaka University, Osaka, Japan","institution_ids":["https://openalex.org/I98285908"]},{"raw_affiliation_string":"Graduate School of Information Science and Technology, Osaka University, Japan#TAB#","institution_ids":["https://openalex.org/I98285908"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I98285908"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"936","last_page":"936"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9997000098228455,"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.9997000098228455,"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/T10904","display_name":"Embedded Systems Design 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/T11195","display_name":"Simulation Techniques and Applications","score":0.9972000122070312,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/systemc","display_name":"SystemC","score":0.9581983089447021},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8191145658493042},{"id":"https://openalex.org/keywords/real-time-operating-system","display_name":"Real-time operating system","score":0.7398622632026672},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.5877254605293274},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.5476734042167664},{"id":"https://openalex.org/keywords/electronic-system-level-design-and-verification","display_name":"Electronic system-level design and verification","score":0.5105894207954407},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.40575775504112244},{"id":"https://openalex.org/keywords/computer-architecture","display_name":"Computer architecture","score":0.3389469385147095},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.33222854137420654}],"concepts":[{"id":"https://openalex.org/C2776928060","wikidata":"https://www.wikidata.org/wiki/Q1753563","display_name":"SystemC","level":2,"score":0.9581983089447021},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8191145658493042},{"id":"https://openalex.org/C28472234","wikidata":"https://www.wikidata.org/wiki/Q213666","display_name":"Real-time operating system","level":2,"score":0.7398622632026672},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.5877254605293274},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.5476734042167664},{"id":"https://openalex.org/C77495112","wikidata":"https://www.wikidata.org/wiki/Q5358436","display_name":"Electronic system-level design and verification","level":2,"score":0.5105894207954407},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.40575775504112244},{"id":"https://openalex.org/C118524514","wikidata":"https://www.wikidata.org/wiki/Q173212","display_name":"Computer architecture","level":1,"score":0.3389469385147095},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.33222854137420654}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1120725.1120761","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1120725.1120761","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2005 conference on Asia South Pacific design automation - ASP-DAC '05","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W1994188141","https://openalex.org/W2101303718","https://openalex.org/W2103910872","https://openalex.org/W4238272352"],"related_works":["https://openalex.org/W152439078","https://openalex.org/W4299825323","https://openalex.org/W2790192245","https://openalex.org/W4232281993","https://openalex.org/W2097331811","https://openalex.org/W2119788505","https://openalex.org/W1992745030","https://openalex.org/W4253193119","https://openalex.org/W1550409889","https://openalex.org/W4238487776"],"abstract_inverted_index":{"In":[0],"this":[1,42],"paper,":[2],"we":[3],"propose":[4],"a":[5,50],"new":[6],"process":[7,43],"definition":[8],"(T-THREAD)":[9],"and":[10,44],"an":[11,32],"extension":[12],"to":[13,21],"the":[14,23,38],"existing":[15],"SystemC":[16],"simulation":[17,29,54],"engine":[18],"(SIM_API":[19],"library)":[20],"capture":[22],"real":[24],"time":[25],"aspects":[26],"of":[27,41],"RTOS":[28],"models":[30],"in":[31,49],"SLDL":[33],"like":[34],"SystemC.":[35],"We":[36],"describe":[37],"execution":[39],"semantics":[40],"show":[45],"how":[46],"it":[47],"works":[48],"complete":[51],"embedded":[52],"system":[53],"model.":[55]},"counts_by_year":[],"updated_date":"2026-07-19T07:52:34.831488","created_date":"2025-10-10T00:00:00"}