{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,10]],"date-time":"2024-06-10T14:39:01Z","timestamp":1718030341588},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T00:00:00Z","timestamp":1133395200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2005,12]]},"DOI":"10.1007\/s10617-006-9725-1","type":"journal-article","created":{"date-parts":[[2007,1,2]],"date-time":"2007-01-02T12:02:41Z","timestamp":1167739361000},"page":"209-227","source":"Crossref","is-referenced-by-count":33,"title":["RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model"],"prefix":"10.1007","volume":"10","author":[{"given":"H.","family":"Posadas","sequence":"first","affiliation":[]},{"given":"J. A.","family":"Adamez","sequence":"additional","affiliation":[]},{"given":"E.","family":"Villar","sequence":"additional","affiliation":[]},{"given":"F.","family":"Blasco","sequence":"additional","affiliation":[]},{"given":"F.","family":"Escuder","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9725_CR1","unstructured":"AXLOG, information available in http:\/\/www.axlog.fr."},{"key":"9725_CR2","doi-asserted-by":"crossref","unstructured":"Benini, L., D. Bertozzi, D. Bruni, N. Drago, F. Fummi, and M. Ponzino. SystemC cosimulation and Emulation of multiprocessor SoC design. In IEEE Computer, April 2003.","DOI":"10.1109\/MC.2003.1193229"},{"key":"9725_CR3","doi-asserted-by":"crossref","unstructured":"Bergeron, J. Writing Testbenches: Functional Verification of HDL Models. Springer, 2003.","DOI":"10.1007\/978-1-4615-0302-6"},{"key":"9725_CR4","unstructured":"Bolado, M., H. Posadas, J. Castillo, P. Huerta, C. S\u00e1nchez, P. S\u00e1nchez, H. Fouren, and F. Blasco. Platform Based on Open-Source Cores for Industrial Applications. In Proceedings of the Design, Automation and Test Conference, IEEE, 2004."},{"key":"9725_CR5","unstructured":"ENEA OSE Soft Kernel Environment, available in http:\/\/www.ose.com\/products."},{"key":"9725_CR6","doi-asserted-by":"crossref","unstructured":"EN 301.245, ETSI, December, 1997.","DOI":"10.1590\/S1020-49891997000300020"},{"key":"9725_CR7","unstructured":"Gerstlauer, A., H. Yu, and D. Gajski. RTOS Modeling for System-Level Design. In A.A. Jerraya, S. Yoo, D. Verkest, and N. When (eds.), Embedded Software for SoC. Springer, 2003."},{"key":"9725_CR8","doi-asserted-by":"crossref","unstructured":"Ghenassia, F. (ed.) Transaction-Level Modeling with SystemC. Springer, 2005.","DOI":"10.1007\/b137175"},{"key":"9725_CR9","unstructured":"Hassan, M.A., K. Sakanushi, Y. Takeuchi, and M. Imai. RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC. In Proceedings of the Design, Automation and Test Conference, IEEE, 2005."},{"key":"9725_CR10","unstructured":"He, Z., A. Mok, and C. Peng. Timed RTOS Modeling for Embedded System Design. In Proceedings of the Real Time and Embedded Technology and Applications Symposium, IEEE, 2005."},{"key":"9725_CR11","unstructured":"Herrera, F., V. Fern\u00e1ndez, P. S\u00e1nchez, and E. Villar. Embedded Software Generation from SystemC for Platform-Based Design. In W. M\u00fcller, W. Rosenstiel, and W. Ruf (eds.), SystemC: Methodologies and Applications. Springer, 2003."},{"key":"9725_CR12","doi-asserted-by":"crossref","unstructured":"Honda, S., T. Wakabayashi, H. Tomiyama, and H. Takada. RTOS-centric HW\/SW Cosimulator for Embedded System Design. In Proceedings of CoDes-ISSS\u201904, ACM, 2004.","DOI":"10.1145\/1016720.1016760"},{"key":"9725_CR13","unstructured":"IEEE, IEEE ratifies SystemC 2.1 Standard for System-Level chip design, http:\/\/standards.ieee.org\/announcements\/pr_p1666.html."},{"key":"9725_CR14","unstructured":"IEEE, Information technology-Portable Operating System Interface, IEEE Std 1003.1, 2004."},{"key":"9725_CR15","unstructured":"ITRS, International Technology Roadmap for Semiconductors: 2005 Edition, http:\/\/www.itrs.net\/Common\/2005ITRS\/Home2005.htm."},{"key":"9725_CR16","doi-asserted-by":"crossref","unstructured":"Jerraya, A.A., S. Yoo, D. Verkest, and N. When (eds.). Embedded Software for SoC. Springer, 2003.","DOI":"10.1007\/b105739"},{"key":"9725_CR17","unstructured":"A.A. Jerraya and W. Wolf (eds.). Multiprocessor Systems-on Chip. Morgan Kaufmann, 2005."},{"key":"9725_CR18","doi-asserted-by":"crossref","unstructured":"Liem, C., F. Nacabal, C. Valderrama, P. Paulin, and A. Jerraya. System-on-a-Chip Cosimulation and Compilation. Design & Test of Computers, April-June, IEEE, 1997.","DOI":"10.1109\/54.587736"},{"key":"9725_CR19","unstructured":"Madsen, J., K. Virk, and M. Gonzales. Abstract RTOS Modeling for Multiprocessor System on Chip. In Proceedings of the International Symposium on System-on Chip, IEEE, 2003."},{"key":"9725_CR20","doi-asserted-by":"crossref","unstructured":"M\u00fcller, W., W. Rosenstiel, and J. Ruf (eds.). SystemC: Methodologies and Applications. Springer, 2003.","DOI":"10.1007\/b105968"},{"key":"9725_CR21","doi-asserted-by":"crossref","unstructured":"Posadas, H., F. Herrera, V. Fern\u00e1ndez, P. S\u00e1nchez, E. Villar, and F. Blasco. Single Source Design Environment for Embedded Systems Based on SystemC. Design Automation for Embedded Systems, N.9, Springer, 2004.","DOI":"10.1007\/s10617-005-1199-z"},{"key":"9725_CR22","unstructured":"Posadas, H., F. Herrera, P. S\u00e1nchez, E. Villar, and F. Blasco. System-level Performance Analysis in SystemC. In Proceedings of the Design, Automation and Test Conference, IEEE, 2004."},{"key":"9725_CR23","unstructured":"Posadas, H., E. Villar, and F. Blasco. Real-Time Operating System Modeling in SystemC for HW\/SW co-simulation. In Proceedings of DCIS, IST, Lisbon, 2005."},{"key":"9725_CR24","doi-asserted-by":"crossref","unstructured":"Posadas, H., J. \u00e1damez, P. S\u00e1nchez, E. Villar, and F. Blasco. POSIX modeling in SystemC. In Proceedings of the Asian, South-Pacific Design, Automation Conference, IEEE, 2006.","DOI":"10.1145\/1118299.1118418"},{"key":"9725_CR25","unstructured":"Open POSIX test suite. www.sourceforge.net\/."},{"key":"9725_CR26","unstructured":"Tomiyama, H., Y. Cao, and K. Murakami. Modeling Fixed-Priority Preemptive Multi-Task Systems in SpecC. In Proceedings of the 10th Workshop on System And System Integration of Mixed Technologies (SASIMI\u201901), IEEE, 2001."},{"key":"9725_CR27","doi-asserted-by":"crossref","unstructured":"Yi, Y., D. Kim, and S. Ha. Fast and Time-Accurate Cosimulation with OS Scheduler Modeling. Design Automation of Embedded Systems, N.8. Springer, 2003.","DOI":"10.1023\/B:DAEM.0000003963.20442.29"},{"key":"9725_CR28","unstructured":"Yoo, S., G. Nicolescu, LG. Gauthier, and A.A. Jerraya. Automatic Generation of fast Timed Simulation Models for Operating Systems in SoC Design. In Proceedings of the Design, Automation and Test Conference, IEEE, 2002."}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-006-9725-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-006-9725-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-006-9725-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T15:29:33Z","timestamp":1559230173000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-006-9725-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,12]]},"references-count":28,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2005,12]]}},"alternative-id":["9725"],"URL":"https:\/\/doi.org\/10.1007\/s10617-006-9725-1","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"value":"0929-5585","type":"print"},{"value":"1572-8080","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,12]]}}}