{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:14:14Z","timestamp":1750306454825,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,11,4]],"date-time":"2015-11-04T00:00:00Z","timestamp":1446595200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,11,4]]},"DOI":"10.1145\/2834848.2834869","type":"proceedings-article","created":{"date-parts":[[2015,11,30]],"date-time":"2015-11-30T19:03:51Z","timestamp":1448910231000},"page":"139-148","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":34,"title":["How realistic is the mixed-criticality real-time system model?"],"prefix":"10.1145","author":[{"given":"Alexandre","family":"Esper","sequence":"first","affiliation":[{"name":"Critical Software S.A. Porto, Portugal and CISTER\/INESC-TEC, ISEP, Porto, Portugal"}]},{"given":"Geoffrey","family":"Nelissen","sequence":"additional","affiliation":[{"name":"CISTER\/INESC-TEC, ISEP, Porto, Portugal"}]},{"given":"Vincent","family":"N\u00e9lis","sequence":"additional","affiliation":[{"name":"CISTER\/INESC-TEC, ISEP, Porto, Portugal"}]},{"given":"Eduardo","family":"Tovar","sequence":"additional","affiliation":[{"name":"CISTER\/INESC-TEC, ISEP, Porto, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2015,11,4]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2014.16"},{"volume-title":"Avionics Application Software Standard Interface. ARINC","year":"2003","key":"e_1_3_2_1_2_1","unstructured":"ARINC-653. Avionics Application Software Standard Interface. ARINC , Inc ., 2003 . ARINC-653. Avionics Application Software Standard Interface. ARINC, Inc., 2003."},{"key":"e_1_3_2_1_3_1","volume-title":"June","author":"Arinc RINC","year":"2015","unstructured":"A RINC 700 series. Arinc . http:\/\/store.aviation-ia.com\/cf\/store\/catalog.cfm?prod_group_id=1&category_group_id=4 , June 2015 . ARINC 700 series. Arinc. http:\/\/store.aviation-ia.com\/cf\/store\/catalog.cfm?prod_group_id=1&category_group_id=4, June 2015."},{"key":"e_1_3_2_1_4_1","volume-title":"Mixed criticality systems-a review. Department of Computer Science","author":"Burns A.","year":"2013","unstructured":"A. Burns and R. Davis . Mixed criticality systems-a review. Department of Computer Science , University of York , Tech. Rep, 2013 . A. Burns and R. Davis. Mixed criticality systems-a review. Department of Computer Science, University of York, Tech. Rep, 2013."},{"key":"e_1_3_2_1_5_1","author":"Davis R.","year":"2014","unstructured":"R. Davis , T. Vardanega , J. Alexanderson , V. Francis , P. Mark , B. Ian , A.-A. Mikel , F. Wartel , L. Cucu-Grosjean , P. Mathieu , F. Glenn , and F. J. Cazorla . PROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems. Ada User Journal, (2):118--122 , 2014 . R. Davis, T. Vardanega, J. Alexanderson, V. Francis, P. Mark, B. Ian, A.-A. Mikel, F. Wartel, L. Cucu-Grosjean, P. Mathieu, F. Glenn, and F. J. Cazorla. PROXIMA: A Probabilistic Approach to the Timing Behaviour of Mixed-Criticality Systems. Ada User Journal, (2):118--122, 2014.","journal-title":"Ada User Journal, (2):118--122"},{"key":"e_1_3_2_1_6_1","volume-title":"Arinc 653 in space dasia","author":"Diniz N.","year":"2005","unstructured":"N. Diniz and J. Rufino . Arinc 653 in space dasia 2005 , eurospace, edinburgh, scotland. 2005. N. Diniz and J. Rufino. Arinc 653 in space dasia 2005, eurospace, edinburgh, scotland. 2005."},{"key":"e_1_3_2_1_7_1","volume-title":"Software Considerations in Airborne Systems and Equipment Certification. RTCA","author":"C.","year":"2011","unstructured":"DO-178 C. Software Considerations in Airborne Systems and Equipment Certification. RTCA , Inc ., 2011 . DO-178C. Software Considerations in Airborne Systems and Equipment Certification. RTCA, Inc., 2011."},{"key":"e_1_3_2_1_8_1","volume-title":"Failure modes, effects (and criticality) analysis (FMEA\/FMECA). European Cooperation for Space Standardization","author":"A.","year":"2009","unstructured":"ECSS-Q-30-02 A. Failure modes, effects (and criticality) analysis (FMEA\/FMECA). European Cooperation for Space Standardization , 2009 . ECSS-Q-30-02A. Failure modes, effects (and criticality) analysis (FMEA\/FMECA). European Cooperation for Space Standardization, 2009."},{"key":"e_1_3_2_1_9_1","volume-title":"European Cooperation for Space Standardization","author":"A.","year":"2008","unstructured":"ECSS-Q-40-12 A. Fault tree analysis - Adoption notice ECSS\/IEC 61025 . European Cooperation for Space Standardization , 2008 . ECSS-Q-40-12A. Fault tree analysis - Adoption notice ECSS\/IEC 61025. European Cooperation for Space Standardization, 2008."},{"key":"e_1_3_2_1_10_1","volume-title":"European Cooperation for Space Standardization","author":"A.","year":"2009","unstructured":"ECSS-Q-HB-80-03 A. Space Product Assurance - Software Dependability and Safety . European Cooperation for Space Standardization , 2009 . ECSS-Q-HB-80-03A. Space Product Assurance - Software Dependability and Safety. European Cooperation for Space Standardization, 2009."},{"key":"e_1_3_2_1_11_1","volume-title":"European Cooperation for Space Standardization","author":"C.","year":"2009","unstructured":"ECSS-Q-ST-30 C. Space product assurance - Dependability . European Cooperation for Space Standardization , 2009 . ECSS-Q-ST-30C. Space product assurance - Dependability. European Cooperation for Space Standardization, 2009."},{"key":"e_1_3_2_1_12_1","volume-title":"European Cooperation for Space Standardization","author":"C.","year":"2009","unstructured":"ECSS-Q-ST-80 C. Software Product Assurance . European Cooperation for Space Standardization , 2009 . ECSS-Q-ST-80C. Software Product Assurance. European Cooperation for Space Standardization, 2009."},{"key":"e_1_3_2_1_13_1","volume-title":"Signalling and Processing Systems Software for Railway Control and Protection Systems. CENELEC","author":"EN","year":"2009","unstructured":"EN 50128. Railway Applications Communication , Signalling and Processing Systems Software for Railway Control and Protection Systems. CENELEC , 2009 . EN 50128. Railway Applications Communication, Signalling and Processing Systems Software for Railway Control and Protection Systems. CENELEC, 2009."},{"volume-title":"IEC","year":"2006","key":"e_1_3_2_1_14_1","unstructured":"IEC60812. Analysis techniques for system reliability -- Procedure for failure mode and effects analysis (FMEA) . IEC , 2006 . IEC60812. Analysis techniques for system reliability -- Procedure for failure mode and effects analysis (FMEA). IEC, 2006."},{"volume-title":"IEC","year":"2006","key":"e_1_3_2_1_15_1","unstructured":"IEC61025. Fault tree analysis (FTA) . IEC , 2006 . IEC61025. Fault tree analysis (FTA). IEC, 2006."},{"volume-title":"IEC","year":"2010","key":"e_1_3_2_1_16_1","unstructured":"IEC61508. Functional safety of electrical\/electronic\/programmable electronic safety-related systems . IEC , 2010 . IEC61508. Functional safety of electrical\/electronic\/programmable electronic safety-related systems. IEC, 2010."},{"volume-title":"Road vehicles - Functional safety. ISO","year":"2011","key":"e_1_3_2_1_17_1","unstructured":"ISO26262. Road vehicles - Functional safety. ISO , 2011 . ISO26262. Road vehicles - Functional safety. ISO, 2011."},{"volume-title":"RIAC","year":"2006","key":"e_1_3_2_1_18_1","unstructured":"RIAC-HDBK-217Plus. Handbook of 217Plus Reliability Prediction Models . RIAC , 2006 . RIAC-HDBK-217Plus. Handbook of 217Plus Reliability Prediction Models. RIAC, 2006."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2516821.2516834"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.35"},{"key":"e_1_3_2_1_21_1","first-page":"2","volume-title":"DASC'07","author":"Watkins C. B.","unstructured":"C. B. Watkins and R. Walter . Transitioning from federated avionics architectures to integrated modular avionics . In DASC'07 , pages 2 --A. IEEE, 2007. C. B. Watkins and R. Walter. Transitioning from federated avionics architectures to integrated modular avionics. In DASC'07, pages 2--A. IEEE, 2007."}],"event":{"name":"RTNS '15: 23rd International Conference on Real-Time Networks and Systems","acronym":"RTNS '15","location":"Lille France"},"container-title":["Proceedings of the 23rd International Conference on Real Time and Networks Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2834848.2834869","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2834848.2834869","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:43:18Z","timestamp":1750225398000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2834848.2834869"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11,4]]},"references-count":21,"alternative-id":["10.1145\/2834848.2834869","10.1145\/2834848"],"URL":"https:\/\/doi.org\/10.1145\/2834848.2834869","relation":{},"subject":[],"published":{"date-parts":[[2015,11,4]]},"assertion":[{"value":"2015-11-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}