{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,8]],"date-time":"2025-10-08T16:42:36Z","timestamp":1759941756547},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030411305"},{"type":"electronic","value":"9783030411312"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-41131-2_1","type":"book-chapter","created":{"date-parts":[[2020,2,17]],"date-time":"2020-02-17T11:06:49Z","timestamp":1581937609000},"page":"3-27","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A Modular SystemC RTOS Model for Uncertainty Analysis"],"prefix":"10.1007","author":[{"given":"Lorenzo","family":"Lazzara","sequence":"first","affiliation":[]},{"given":"Giulio Mos\u00e9","family":"Mancuso","sequence":"additional","affiliation":[]},{"given":"Fabio","family":"Cremona","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Ulisse","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,2,18]]},"reference":[{"key":"1_CR1","unstructured":"Accelera: Core SystemC Language. https:\/\/www.accellera.org\/downloads\/standards\/systemc . Accessed Aug 2019"},{"key":"1_CR2","unstructured":"Airlines Electronic Engineering Committee (AEEC): ARINC Specification 653 P1. Avionics application software standard interface (2010). rev. 3"},{"key":"1_CR3","unstructured":"Barry, R.: FreeRTOS. http:\/\/freerots.org . Accessed Aug 2019"},{"issue":"3","key":"1_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1164050.1164052","volume":"3","author":"G Buttazzo","year":"2006","unstructured":"Buttazzo, G.: Research trends in real-time computing for embedded systems. SIGBED Rev. 3(3), 1\u201310 (2006). https:\/\/doi.org\/10.1145\/1164050.1164052","journal-title":"SIGBED Rev."},{"key":"1_CR5","unstructured":"D\u2019Angelo, M., Ferrari, A., Ogaard, O., Pinello, C., Ulisse, A.: A Simulator based on QEMU and SystemC for robustness testing of a networked linux-based fire detection and alarm system. In: Proceedings of the Conference on Embedded Real Time Systems and Software, pp. 1\u20139 (2012)"},{"key":"1_CR6","unstructured":"DDC-I: DEOS. https:\/\/www.ddci.com\/category\/deos\/ . Accessed Aug 2019"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Grimm, C., Rathmair, M.: Dealing with uncertainties in analog\/mixed-signal systems: invited. In: Proceedings of the 54th Annual Design Automation Conference 2017, New York, NY, USA, pp. 35:1\u201335:6 (2017)","DOI":"10.1145\/3061639.3072949"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Hansen, J.P., Wrage, L.: Verification of real-time systems using statistical model checking. In: AIAA Infotech@ Aerospace, p. 1866 (2015)","DOI":"10.2514\/6.2015-1866"},{"key":"1_CR9","unstructured":"Huck, E., Miramond, B., Verdier, F.: A modular SystemC RTOS model for embedded services exploration. In: Proceedings of First European Workshop on Design and Architectures for Signal and Image Processing (2007)"},{"key":"1_CR10","unstructured":"ISO International Standard ISO\/IEC 14882:2017(E): Programming Language C++: Random Library. http:\/\/www.cplusplus.com\/reference\/random\/ . Accessed Aug 2019"},{"issue":"12","key":"1_CR11","doi-asserted-by":"publisher","first-page":"1523","DOI":"10.1109\/43.898830","volume":"19","author":"K Keutzer","year":"2000","unstructured":"Keutzer, K., Newton, A.R., Rabaey, J.M., Sangiovanni-Vincentelli, A.: System-level design: orthogonalization of concerns and platform-based design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19(12), 1523\u20131543 (2000)","journal-title":"IEEE Trans. Comput. Aided Des. Integr. Circuits Syst."},{"issue":"3","key":"1_CR12","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L Lamport","year":"1994","unstructured":"Lamport, L.: The temporal logic of actions. ACM Trans. Program. Lang. Syst. (TOPLAS) 16(3), 872\u2013923 (1994)","journal-title":"ACM Trans. Program. Lang. Syst. (TOPLAS)"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-319-47166-2_6","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"A Legay","year":"2016","unstructured":"Legay, A., Sedwards, S., Traonouez, L.M.: Plasma lab: a modular statistical model checking platform. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 77\u201393. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47166-2_6"},{"key":"1_CR14","doi-asserted-by":"publisher","unstructured":"Meyerowitz, T., Sangiovanni-Vincentelli, A., Sauermann, M., Langen, D.: Source-level timing annotation and simulation for a heterogeneous multiprocessor. In: 2008 Design, Automation and Test in Europe, pp. 276\u2013279 (2008). https:\/\/doi.org\/10.1109\/DATE.2008.4484897","DOI":"10.1109\/DATE.2008.4484897"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Mignogna, A., Ferrante, O., Carloni, M., Ferrari, A.: A fully configurable RTOS model for large scale distributed embedded systems simulations based on SystemC. In: Proceedings of Conference on Applied Simulation and Modelling. ACTA Press (2011)","DOI":"10.2316\/P.2011.715-017"},{"key":"1_CR16","unstructured":"Plasma-Lab: Statistical Model Checking. https:\/\/project.inria.fr\/plasma-lab\/statistical-model-checking\/ . Accessed Aug 2019"},{"key":"1_CR17","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/s10617-006-9725-1","volume":"10","author":"H Posadas","year":"2005","unstructured":"Posadas, H., \u00c1damez, J., Villar, E., Blasco, F., Escuder, F.: RTOS modeling in SystemC for real-time embedded SW simulation: a POSIX model. Des. Autom. Emb. Syst. 10, 209\u2013227 (2005)","journal-title":"Des. Autom. Emb. Syst."},{"key":"1_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"806","DOI":"10.1007\/978-3-319-47166-2_56","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques","author":"J Quilbeuf","year":"2016","unstructured":"Quilbeuf, J., Cavalcante, E., Traonouez, L.-M., Oquendo, F., Batista, T., Legay, A.: A logic for the statistical model checking of dynamic software architectures. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9952, pp. 806\u2013820. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47166-2_56"},{"key":"1_CR19","unstructured":"Segala, R.: Modeling and verification of randomized distributed real-time systems. Ph.D. thesis, Massachusetts Institute of Technology (1995)"},{"key":"1_CR20","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611973228","volume-title":"Uncertainty Quantification: Theory, Implementation, and Applications","author":"RC Smith","year":"2013","unstructured":"Smith, R.C.: Uncertainty Quantification: Theory, Implementation, and Applications. SIAM, Philadelphia (2013)"},{"key":"1_CR21","unstructured":"Swan, S.: An introduction to system level modeling in SystemC 2.0. Cadence Design Systems Inc., draft report (2001)"},{"issue":"3","key":"1_CR22","first-page":"36","volume":"7","author":"R Wilhelm","year":"2008","unstructured":"Wilhelm, R., et al.: The worst-case execution-time problem - overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. (TECS) 7(3), 36 (2008)","journal-title":"ACM Trans. Embed. Comput. Syst. (TECS)"},{"key":"1_CR23","unstructured":"Wind Rivers Systems: VxWorks. https:\/\/www.windriver.com\/products\/vxworks\/ . Accessed Aug 2019"},{"key":"1_CR24","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-1-4020-9436-1_9","volume-title":"Hardware-Dependent Software: Principles and Practice","author":"H Zabel","year":"2009","unstructured":"Zabel, H., M\u00fcller, W., Gerstlauer, A.: Accurate RTOS modeling and analysis with SystemC. In: Ecker, W., M\u00fcller, W. (eds.) Hardware-Dependent Software: Principles and Practice, pp. 233\u2013260. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-1-4020-9436-1_9"},{"key":"1_CR25","unstructured":"Zhang, M., Ali, S., Yue, T., Nguyen, P.: Uncertainty modeling framework for the integration level v. 1. Simula Research Laboratory (2016)"},{"issue":"2","key":"1_CR26","doi-asserted-by":"publisher","first-page":"1379","DOI":"10.1007\/s10270-017-0609-6","volume":"18","author":"M Zhang","year":"2019","unstructured":"Zhang, M., Ali, S., Yue, T., Norgren, R., Okariz, O.: Uncertainty-wise cyber-physical system test modeling. Softw. Syst. Model. 18(2), 1379\u20131418 (2019)","journal-title":"Softw. Syst. Model."}],"container-title":["Lecture Notes in Computer Science","Cyber Physical Systems. Model-Based Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-41131-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,27]],"date-time":"2023-09-27T00:20:55Z","timestamp":1695774055000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-41131-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030411305","9783030411312"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-41131-2_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"18 February 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CyPhy","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"New York City, NY","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cyphy2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.cyphy.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"18","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"56% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1-2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}