{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,9]],"date-time":"2025-03-09T06:40:02Z","timestamp":1741502402020,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642244308"},{"type":"electronic","value":"9783642244315"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24431-5_4","type":"book-chapter","created":{"date-parts":[[2011,8,24]],"date-time":"2011-08-24T02:29:46Z","timestamp":1314152986000},"page":"21-36","source":"Crossref","is-referenced-by-count":4,"title":["Runtime Verification of Typical Requirements for a Space Critical SoC Platform"],"prefix":"10.1007","author":[{"given":"Luca","family":"Ferro","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurence","family":"Pierre","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zeineb","family":"Bel Hadj Amor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00f4me","family":"Lachaize","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincent","family":"Lefftz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"IEEE Std 1666-2005, IEEE Standard System C Language Reference Manual. IEEE (2005)"},{"key":"4_CR2","unstructured":"IEEE Std 1800-2005, IEEE Standard for System Verilog: Unified Hardware Design, Specification and Verification Language. IEEE (2005)"},{"key":"4_CR3","unstructured":"IEEE Std 1850-2005, IEEE Standard for Property Specification Language (PSL). IEEE (2005)"},{"key":"4_CR4","unstructured":"Avinun, R.: Validate hardware\/software for nextgen mobile\/consumer apps using software-on-chip system development tools. EETimes (December 2010), http:\/\/www.eetimes.com\/design\/embedded\/4211507\/Validate-hardware-software-for-nextgen-mobile-consumer-apps-using-software-on-chip-system-development-tools-"},{"key":"4_CR5","unstructured":"Cornet, J.: Separation of Functional and Non-Functional Aspects in Transactional Level Models of Systems-on-Chip. PhD thesis, INP Grenoble (2008)"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Ecker, W., Esen, V., Hull, M.: Specification Language for Transaction Level Assertions. In: Proc. HLDVT 2006 (2006)","DOI":"10.1109\/HLDVT.2006.319967"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Ecker, W., Esen, V., Hull, M.: Implementation of a Transaction Level Assertion Framework in SystemC. In: Proc. DATE 2007 (2007)","DOI":"10.1109\/DATE.2007.364406"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Ferro, L., Pierre, L.: Formal Semantics for PSL Modeling Layer and Application to the Verification of Transactional Models. In: Proc. DATE 2010 (March 2010)","DOI":"10.1109\/DATE.2010.5456991"},{"key":"4_CR9","series-title":"LNEE","volume-title":"Advances in Design Methods from Modeling Languages for Embedded Systems and SoC\u2019s","author":"L. Ferro","year":"2010","unstructured":"Ferro, L., Pierre, L.: ISIS: Runtime Verification of TLM Platforms. In: Advances in Design Methods from Modeling Languages for Embedded Systems and SoC\u2019s. LNEE, vol.\u00a063. Springer, Heidelberg (2010)"},{"volume-title":"Transaction-Level Modeling with SystemC","year":"2005","key":"4_CR10","unstructured":"Ghenassia, F. (ed.): Transaction-Level Modeling with SystemC. Springer, Heidelberg (2005)"},{"key":"4_CR11","unstructured":"Goering, R.: Transaction models offer new deal for EDA. EETimes (March 2006), http:\/\/www.eetimes.com\/showArticle.jhtml?articleID=181503693"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Gro\u00dfe, D., Drechsler, R.: Checkers for SystemC Designs. In: Proc. ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2004) (2004)","DOI":"10.1109\/MEMCOD.2004.1459851"},{"issue":"1","key":"4_CR13","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1109\/TVLSI.2005.863187","volume":"14","author":"A. Habibi","year":"2006","unstructured":"Habibi, A., Tahar, S.: Design and Verification of SystemC Transaction Level Models. IEEE Transactions on VLSI Systems\u00a014(1) (January 2006)","journal-title":"IEEE Transactions on Very Large Scale Integration (VLSI) Systems"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Karlsson, D., Eles, P., Peng, Z.: Formal Verification of SystemC Designs Using a Petri-Net Based Representation. In: Proc. DATE 2006 (2006)","DOI":"10.1109\/DATE.2006.244076"},{"key":"4_CR15","unstructured":"Klingauf, W., Burton, M., G\u00fcnzel, R., Golze, U.: Why We Need Standards for Transaction-Level Modeling. SOC Central (April 2007)"},{"key":"4_CR16","unstructured":"Lahbib, Y., Perrin, A., Maillet-Contoz, L., Clouard, A., Ghenassia, F., Tourki, R.: Enriching the Boolean and the Modeling Layers of PSL with SystemC and TLM Flavors. In: Proc. FDL 2006 (2006)"},{"key":"4_CR17","unstructured":"Lahbib, Y.: Extension of Assertion-Based Verification Approaches for the Verification of SystemC SoC Models. PhD thesis, Univ. of Monastir, Tunisia (2006)"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Lefftz, V., Bertrand, J., Cass\u00e9, H., Clienti, C., Coussy, P., Maillet-Contoz, L., Mercier, P., Moreau, P., Pierre, L., Vaumorin, E.: A Design Flow for Critical Embedded Systems. In: Proc. IEEE Symposium on Industrial Embedded Systems (SIES) (July 2010)","DOI":"10.1109\/SIES.2010.5551393"},{"key":"4_CR19","unstructured":"Jon Michelson and Faisal Haque. Assertions Improve Productivity for All Development Phases. EETimes (July 2007), http:\/\/www.eetimes.com\/design\/edadesign\/4018491\/Assertions-Improve-Productivity-for-All-Development-Phases"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Moy, M., Maraninchi, F., Maillet-Contoz, L.: LusSy: an open tool for the analysis of systems-on-a-chip at the transaction level. Design Automation for Embedded Systems (2006)","DOI":"10.1007\/s10617-006-9044-6"},{"key":"4_CR21","unstructured":"Niemann, B., Haubelt, C.: Assertion-Based Verification of Transaction Level Models. In: Proc. ITG\/GI\/GMM Workshop (February 2006)"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Oddos, Y., Morin-Allory, K., Borrione, D.: Assertion-Based Design with Horus. In: Proc. MEMOCODE 2008 (2008)","DOI":"10.1109\/MEMCOD.2008.4547691"},{"issue":"10","key":"4_CR23","doi-asserted-by":"crossref","first-page":"1346","DOI":"10.1109\/TC.2008.74","volume":"57","author":"Laurence Pierre","year":"2008","unstructured":"Pierre, L., Ferro, L.: A Tractable and Fast Method for Monitoring SystemC TLM Specifications. IEEE Transactions on Computers\u00a057(10) (October 2008)","journal-title":"IEEE Transactions on Computers"},{"key":"4_CR24","doi-asserted-by":"crossref","unstructured":"Pierre, L., Ferro, L.: Enhancing the Assertion-Based Verification of TLM Designs with Reentrancy. In: Proc. MEMOCODE 2010 (2010)","DOI":"10.1109\/MEMCOD.2010.5558642"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24431-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,9]],"date-time":"2025-03-09T05:58:03Z","timestamp":1741499883000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24431-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642244308","9783642244315"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24431-5_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}