{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:24:16Z","timestamp":1742912656319,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031409523"},{"type":"electronic","value":"9783031409530"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-40953-0_11","type":"book-chapter","created":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T17:02:08Z","timestamp":1694624528000},"page":"123-134","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Methodology for the Qualification of Operating Systems and Hypervisors for the Deployment in IoT Devices"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4020-0029","authenticated-orcid":false,"given":"Irene","family":"Bicchierai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5583-3910","authenticated-orcid":false,"given":"Enrico","family":"Schiavone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Massimiliano Leone","family":"Itria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7366-6530","authenticated-orcid":false,"given":"Andrea","family":"Bondavalli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lorenzo","family":"Falai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,9,14]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Knight, J.C.: Safety critical systems: challenges and directions. In: Proceedings of the 24th International Conference on Software Engineering. ICSE (2002)","DOI":"10.1145\/581339.581406"},{"key":"11_CR2","unstructured":"CEI EN 50129. Railway applications - Communication, signalling and processing systems - Safety related electronic systems for signalling (2018)"},{"key":"11_CR3","unstructured":"RedHat. Che cos\u2019\u00e8 l\u2019Internet of Things (IoT)? https:\/\/www.redhat.com\/it\/topics\/internet-of-things\/what-is-iot. Accessed Aug 2021"},{"key":"11_CR4","unstructured":"D2.2 \u201cState of the Art\u201d. AMBER Assessing, Measuring, and Benchmarking Resilience (2009)"},{"key":"11_CR5","unstructured":"D3.4. \u201cAssessment and analysis guidelines for Off-The-Shelf Product-based Systems Important for Safety\u201d v04, CEMSIS - Cost Effective Modernisation of Systems Important to Safety (2004)"},{"key":"11_CR6","unstructured":"Connelly, S., Becht, H.: Developing a methodology for the use of COTS operating systems with safety-related software. In: Proceedings of the Australian System Safety Conference (2011)"},{"key":"11_CR7","unstructured":"Pierce, R.H.: Great Britain, and Health and Safety Executive. Preliminary assessment of Linux for Safety related systems (2002)"},{"key":"11_CR8","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/j.ress.2018.04.009","volume":"176","author":"G Mazzeo","year":"2018","unstructured":"Mazzeo, G., et al.: SIL2 assessment of an active\/standby COTS-based Safety-related system. Reliab. Eng. Syst. Saf. 176, 125\u2013134 (2018)","journal-title":"Reliab. Eng. Syst. Saf."},{"key":"11_CR9","unstructured":"Xen Project. Requirements. https:\/\/wiki.xenproject.org\/wiki\/Automotive_Requirements"},{"key":"11_CR10","unstructured":"ISO 25000. The ISO\/IEC 25000 series of standards. https:\/\/iso25000.com\/index.php\/en\/iso-25000-standards?limit=4&limitstart=0. Accessed Sept 2020"},{"key":"11_CR11","unstructured":"CEI EN 50128. Railway applications - Communication, signalling and processing systems - Software for railway control and protection systems (2020)"},{"key":"11_CR12","unstructured":"ISO. 26262 \u201cFunctional Safety Road Vehicles\u201d"},{"key":"11_CR13","unstructured":"Troy, G.: Introduction to the Common Criteria for IT Security (ISO 15408) (1999)"},{"key":"11_CR14","unstructured":"Railnova. Access rolling stock data remotely. https:\/\/www.railnova.eu\/remotely-access-rolling-stock-data\/"},{"key":"11_CR15","unstructured":"Siemens. SIDOOR - Automatic door control systems for railway applications. https:\/\/new.siemens.com\/global\/en\/products\/automation\/products-for-specific-requirements\/sidoor-automatic-door-controls\/sidoor-for-railway-applications.html"},{"key":"11_CR16","unstructured":"Toshiba Infrastructure Systems & Solutions Corporation. Air Conditioning System. https:\/\/www.railnova.eu\/remotely-access-rolling-stock-data\/. Accessed Aug 2021"},{"key":"11_CR17","unstructured":"Veovo. Netherlands Railways Optimizes Operations and Improves Revenue. https:\/\/veovo.com\/discover\/news\/netherlands-railways-veovo-technology-to-improve-traveler-experience\/"},{"key":"11_CR18","unstructured":"Hayashi, A., Ito, Y., Ishikawa, K.: East Japan railway company, \u201cEarthquake disaster prevention and required performance of railway facilities in Japan\u201d. In: 17th U.S.-Japan-New Zealand Workshop on the Improvement of Structural Engineering and Resilience (2018)"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Stadler, J.J., Seidl, N.J.: Software failure modes and effects analysis. General Electric Healthcare (2013)","DOI":"10.1109\/RAMS.2013.6517710"},{"key":"11_CR20","unstructured":"OWASP. Static Code Analysis. https:\/\/owasp.org\/www-community\/controls\/Static_Code_Analysis"},{"key":"11_CR21","unstructured":"ScienceDirect. Fault Injection. https:\/\/www.sciencedirect.com\/topics\/computer-science\/fault-injection"},{"key":"11_CR22","doi-asserted-by":"crossref","unstructured":"CESG Certification Body. Certification Report No. CRP270 Citrix XenServer 6.0.2 Platinum Edition. Issue 1.0. (2012)","DOI":"10.1016\/S1364-5439(12)70003-5"},{"key":"11_CR23","unstructured":"National Information Assurance Partnership. Protection Profile for Virtualization (2016)"},{"key":"11_CR24","unstructured":"Radio Technical Commission for Aeronautics. DO-178B, Software Considerations in Airborne Systems and Equipment Certification (1992)"},{"key":"11_CR25","unstructured":"IEC\/TR 61508. Functional safety of electrical\/electronic\/programmable electronic safety-related systems (2011)"},{"key":"11_CR26","unstructured":"ISO\/IEC 25040. Systems and software engineering\u2014Systems and software Quality Requirements and Evaluation (SQuaRE)\u2014Evaluation process (2011)"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-40953-0_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,28]],"date-time":"2024-10-28T01:27:00Z","timestamp":1730078820000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-40953-0_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031409523","9783031409530"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-40953-0_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"14 September 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAFECOMP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Safety, Reliability, and Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toulouse","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 September 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 September 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"42","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"safecomp2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/safecomp2023.cnrs.fr\/","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":"100","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":"20","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":"20% - 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":"3","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":"5.7","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"For the workshops, 35 out of 49 papers have been accepted","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}