{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,12]],"date-time":"2026-03-12T15:45:49Z","timestamp":1773330349999,"version":"3.50.1"},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319662657","type":"print"},{"value":"9783319662664","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-66266-4_12","type":"book-chapter","created":{"date-parts":[[2017,8,16]],"date-time":"2017-08-16T02:33:31Z","timestamp":1502850811000},"page":"179-194","source":"Crossref","is-referenced-by-count":5,"title":["Generic Management of Availability in Fail-Operational Automotive Systems"],"prefix":"10.1007","author":[{"given":"Philipp","family":"Schleiss","sequence":"first","affiliation":[]},{"given":"Christian","family":"Drabek","sequence":"additional","affiliation":[]},{"given":"Gereon","family":"Weiss","sequence":"additional","affiliation":[]},{"given":"Bernhard","family":"Bauer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,17]]},"reference":[{"issue":"4","key":"12_CR1","doi-asserted-by":"crossref","first-page":"603","DOI":"10.1109\/JPROC.2009.2039550","volume":"98","author":"M Natale Di","year":"2010","unstructured":"Di Natale, M., Sangiovanni-Vincentelli, A.: Moving from federated to integrated architectures in automotive: the role of standards, methods and tools. Proc. IEEE 98(4), 603\u2013620 (2010)","journal-title":"Proc. IEEE"},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"Durisic, D., Staron, M., Tichy, M., Hansson, J.: Evolution of long-term industrial meta-models. In: 40th EUROMICRO Conference on Software Engineering and Advanced Applications, pp. 141\u2013148 (2014)","DOI":"10.1109\/SEAA.2014.21"},{"key":"12_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1007\/978-3-319-22975-1_8","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"R Gorcitz","year":"2015","unstructured":"Gorcitz, R., Kofman, E., Carle, T., Potop-Butucaru, D., Simone, R.: On the scalability of constraint solving for static\/off-line real-time scheduling. In: Sankaranarayanan, S., Vicario, E. (eds.) FORMATS 2015. LNCS, vol. 9268, pp. 108\u2013123. Springer, Cham (2015). doi: 10.1007\/978-3-319-22975-1_8"},{"key":"12_CR4","unstructured":"Graydon, P., Bate, I.: Safety assurance driven problem formulation for mixed-criticality scheduling. In: Proceedings of 1st International Workshop on Mixed Criticality Systems (WMC), pp. 19\u201324 (2013)"},{"key":"12_CR5","unstructured":"Gurobi Optimizer Reference Manual (2017). http:\/\/www.gurobi.com"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Hamann, A., Ernst, R.: TDMA time slot and turn optimization with evolutionary search techniques. In: Proceedings of Conference on Design, Automation and Test in Europe (DATE), pp. 312\u2013317 (2005)","DOI":"10.1109\/DATE.2005.299"},{"key":"12_CR7","unstructured":"ISO 26262: Road Vehicles - Functional Safety (2011)"},{"key":"12_CR8","doi-asserted-by":"crossref","unstructured":"Kanekawa, N.: Dynamic autonomous redundancy management strategy for balanced graceful degradation. In: Proceedings of IEEE Workshop on Fault-Tolerant Parallel and Distributed Systems, pp. 18\u201323 (1994)","DOI":"10.1109\/FTPDS.1994.494469"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"Kothmayr, T., Kemper, A., Scholz, A., Heuer, J.: Synthesizing Schedules through Heuristics for Hard Real-Time Workflows. In: IEEE International Conference on Industrial Technology (ICIT), pp. 1937\u20131944 (2015)","DOI":"10.1109\/ICIT.2015.7125380"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Lin, C., Kaldewey, T., Povzner, A., Brandt, S.A.: Diverse soft real-time processing in an integrated system. In: Proceedings of 27th IEEE Real-Time Systems Symposium (RTSS), pp. 369\u2013378 (2006)","DOI":"10.1109\/RTSS.2006.21"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Ruiz, A., Juez, G., Schleiss, P., Weiss, G.: A safe generic adaptation mechanism for smart cars. In: Proceedings of 26th IEEE International Symposium on Software Reliability Engineering (ISSRE) (2015)","DOI":"10.1109\/ISSRE.2015.7381810"},{"key":"12_CR12","unstructured":"SafeAdapt Project. http:\/\/www.safeadapt.eu"},{"key":"12_CR13","doi-asserted-by":"crossref","unstructured":"Sagstetter, F., Andalam, S., Waszecki, P., Lukasiewycz, M., St\u00e4hle, H., Chakraborty, S., Knoll, A.: Schedule integration framework for time-triggered automotive architectures. In: 51st ACM\/EDAC\/IEEE Design Automation Conference (DAC), pp. 1\u20136 (2014)","DOI":"10.1145\/2593069.2593211"},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"Steiner, W.: An evaluation of SMT-based schedule synthesis for time-triggered multi-hop networks. In: 31st IEEE Real-Time Systems Symposium, pp. 375\u2013384 (2010)","DOI":"10.1109\/RTSS.2010.25"},{"key":"12_CR15","doi-asserted-by":"crossref","unstructured":"Windsor, J., Deredempt, M.H., De-Ferluc, R.: Integrated modular avionics for spacecraft. In: Proceedings of 30th IEEE\/AIAA Digital Avionics Systems Conference (DASC), pp. 1\u201316 (8A6) (2011)","DOI":"10.1109\/DASC.2011.6096141"},{"key":"12_CR16","doi-asserted-by":"crossref","unstructured":"Yeh, Y.C.: Triple-triple redundant 777 primary flight computer. In: Proceedings of IEEE Aerospace Applications Conference, vol. 1, pp. 293\u2013307 (1996)","DOI":"10.1109\/AERO.1996.495891"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66266-4_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T22:57:50Z","timestamp":1750805870000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66266-4_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319662657","9783319662664"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66266-4_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}