{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:55:20Z","timestamp":1725562520167},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152337"},{"type":"electronic","value":"9783642152344"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15234-4_11","type":"book-chapter","created":{"date-parts":[[2010,8,2]],"date-time":"2010-08-02T16:41:57Z","timestamp":1280767317000},"page":"102-113","source":"Crossref","is-referenced-by-count":0,"title":["Integrate Online Model Checking into Distributed Reconfigurable System on Chip with Adaptable OS Services"],"prefix":"10.1007","author":[{"given":"Sufyan","family":"Samara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuhong","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franz J.","family":"Rammig","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Samara, S., Tariq, F.B., Kerstan, T., Stahl, K.: Applications adaptable execution path for operating system services on a distributed reconfigurable system on chip. In: ICESS 2009: Proceedings of the 2009 International Conference on Embedded Software and Systems, Washington, DC, USA, pp. 461\u2013466. IEEE Computer Society, Washington (2009)","DOI":"10.1109\/ICESS.2009.38"},{"key":"11_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/ComputationWorld.2009.104","volume-title":"Proceedings of the 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns","author":"S. Samara","year":"2009","unstructured":"Samara, S., Schomaker, G.: Self-adaptive os service model in relaxed resource distributed reconfigurable system on chip (rsoc). In: Proceedings of the 2009 Computation World: Future Computing, Service Computation, Cognitive, Adaptive, Content, Patterns, Washington, DC, USA, pp. 1\u20138. IEEE Computer Society, Washington (2009)"},{"issue":"1","key":"11_CR3","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/j.entcs.2009.09.035","volume":"253","author":"Y. Zhao","year":"2009","unstructured":"Zhao, Y., Rammig, F.J.: Model-based runtime verification framework. Electronic Notes in Theoretical Computer Science\u00a0253(1), 179\u2013193 (2009)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"11_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-642-10265-3_13","volume-title":"Software Technologies for Embedded and Ubiquitous Systems","author":"F.J. Rammig","year":"2009","unstructured":"Rammig, F.J., Zhao, Y., Samara, S.: On-line model checking as operating system service. In: Lee, S., Narasimhan, P. (eds.) SEUS 2009. LNCS, vol.\u00a05860, pp. 131\u2013143. Springer, Heidelberg (2009)"},{"key":"11_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/3-540-63166-6_10","volume-title":"Computer Aided Verification","author":"S. Graf","year":"1997","unstructured":"Graf, S., Saidi, H.: Construction of abstract state graphs with pvs. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol.\u00a01254, pp. 72\u201383. Springer, Heidelberg (1997)"},{"key":"11_CR6","unstructured":"Engel, F., Kuz, I., Petters, S.M., Ruocco, S.: Operating systems on socs: A good idea? National ICT Australia Ltd. (2004)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Wigley, G., Kearney, D.: Research issues in operating systems for reconfigurable computing. In: Proceedings of the International Conference on Engineering of Reconfigurable System and Algorithms (ERSA), pp. 10\u201316. CSREA Press (2002)","DOI":"10.1007\/3-540-46117-5_71"},{"key":"11_CR8","unstructured":"Donato, A., Ferrandi, F., Santamberogio, M., Sciuto, D.: Operating system support for dynamically reconfigurable soc. architectures. Politecnico di Milano (2006)"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Nollet, V., Coene, P., Verkest, D., Vernalde, S., Lauwereins, R.: Designing an operating system for a heterogeneous reconfigurable soc. In: Proceedings of the RAW 2003 workshop (2003)","DOI":"10.1109\/IPDPS.2003.1213320"},{"key":"11_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"831","DOI":"10.1007\/978-3-540-30117-2_84","volume-title":"Field Programmable Logic and Application","author":"H. Walder","year":"2004","unstructured":"Walder, H., Platzner, M.: A runtime environment for reconfigurable hardware operating systems. In: Becker, J., Platzner, M., Vernalde, S. (eds.) FPL 2004. LNCS, vol.\u00a03203, pp. 831\u2013835. Springer, Heidelberg (2004)"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"G\u00f6tz, M., Rettberg, A., Pereira, C.E.: Run-time reconfigurable real-time operating system for hybrid execution platforms. In: Information Control Problems in Manufacturing, IFAC (2006)","DOI":"10.1016\/B978-008044654-7\/50148-5"},{"key":"11_CR12","unstructured":"G\u00f6tz, M., Rettberg, A., Pereira, C.E.: Towards run-time partitioning of a real time operating system for reconfigurable systems on chip. In: IFIP International Federation for Information Processing (2005)"},{"key":"11_CR13","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1109\/54.350695","volume":"12","author":"D.D. Gajski","year":"1995","unstructured":"Gajski, D.D., Vahid, F.: Specification and design of embedded hardware-software systems. IEEE, Design & Test of Computers\u00a012, 53\u201367 (1995)","journal-title":"IEEE, Design & Test of Computers"},{"key":"11_CR14","volume-title":"Model Checking","author":"E.M. Clark","year":"1999","unstructured":"Clark, E.M., Grumberg Jr., O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem, Secaucus, NJ, USA. Springer, New York (1996), Foreword By-Wolper, Pierre","DOI":"10.1007\/3-540-60761-7"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/3-540-49213-5_4","volume-title":"Compositionality: The Significant Difference","author":"S. Berezin","year":"1998","unstructured":"Berezin, S., Campos, S.V.A., Clarke, E.M.: Compositional reasoning in model checking. In: de Roever, W.-P., Langmaack, H., Pnueli, A. (eds.) COMPOS 1997. LNCS, vol.\u00a01536, pp. 81\u2013102. Springer, Heidelberg (1998)"},{"issue":"5","key":"11_CR17","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"E.M. Clarke","year":"1994","unstructured":"Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. ACM Trans. Program. Lang. Syst.\u00a016(5), 1512\u20131542 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"11_CR18","first-page":"76","volume-title":"ICCAD 1996: Proceedings of the 1996 IEEE\/ACM international conference on Computer-aided design","author":"W. Lee","year":"1996","unstructured":"Lee, W., Pardo, A., Jang, J.Y., Hachtel, G., Somenzi, F.: Tearing based automatic abstraction for ctl model checking. In: ICCAD 1996: Proceedings of the 1996 IEEE\/ACM international conference on Computer-aided design, Washington, DC, USA, pp. 76\u201381. IEEE Computer Society, Los Alamitos (1996)"},{"key":"11_CR19","unstructured":"Barnett, M., Schulte, W.: Spying on components: A runtime verification technique. In: Leavens, G.T., Sitaraman, M., Giannakopoulou, D., eds.: Workshop on Specification and Verification of Component-Based Systems. October 2001, Published as Iowa State Technical Report 01-09a (October 2001)"},{"key":"11_CR20","unstructured":"Arkoudas, K., Rinard, M.: Deductive Runtime Certification. In: Proceedings of the 2004 Workshop on Runtime Verification (RV 2004), Barcelona, Spain (April 2004)"},{"key":"11_CR21","unstructured":"Chen, F., Rosu, G.: Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation. In: Proceedings of the 2003 Workshop on Runtime Verification (RV 2003), Boulder, Colorado, USA (2003)"},{"key":"11_CR22","unstructured":"Havelund, K., Rosu, G.: Java PathExplorer \u2014 a runtime verification tool. In: Proceedings 6th International Symposium on Artificial Intelligence, Robotics and Automation in Space (ISAIRAS 2001), Montreal, Canada (June 2001)"}],"container-title":["IFIP Advances in Information and Communication Technology","Distributed, Parallel and Biologically Inspired Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15234-4_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:03:12Z","timestamp":1606186992000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15234-4_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152337","9783642152344"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15234-4_11","relation":{},"ISSN":["1868-4238","1861-2288"],"issn-type":[{"type":"print","value":"1868-4238"},{"type":"electronic","value":"1861-2288"}],"subject":[],"published":{"date-parts":[[2010]]}}}