{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,16]],"date-time":"2026-02-16T17:16:33Z","timestamp":1771262193964,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642242694","type":"print"},{"value":"9783642242700","type":"electronic"}],"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-24270-0_4","type":"book-chapter","created":{"date-parts":[[2011,9,7]],"date-time":"2011-09-07T10:51:44Z","timestamp":1315392704000},"page":"43-56","source":"Crossref","is-referenced-by-count":16,"title":["DALculus \u2013 Theory and Tool for Development Assurance Level Allocation"],"prefix":"10.1007","author":[{"given":"Pierre","family":"Bieber","sequence":"first","affiliation":[]},{"given":"R\u00e9mi","family":"Delmas","sequence":"additional","affiliation":[]},{"given":"Christel","family":"Seguin","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"SAE S-18 and EUROCAE WG-63 committees: ARP4754a - Guidelines for Development of Civil Aircraft and Systems, SAE aerospace (2010)"},{"key":"4_CR2","unstructured":"Baufreton, P., Blanquart, J.-P., Boulanger, J.-L., Delseny, H., Derrien, J.-C., Gassino, J., Ladier, G., Ledinot, E., Leeman, M., Qu\u00e9r\u00e9, P., Ricque, B.: Multi-Domain Comparison of Dependability and Safety Standards. In: Proceedings of ERTS (2010), http:\/\/www.erts2010.org"},{"key":"4_CR3","unstructured":"RTCA SC167 and EUROCAE WG-12 committees: RTCA\/DO-178B - Software Considerations in Airborne Systems and Equipment Certification, RTCA Inc. (1992)"},{"key":"4_CR4","volume-title":"Proceedings of ESREL 2003","author":"M. Bozzano","year":"2003","unstructured":"Bozzano, M., Villafiorita, A., \u00c5kerlund, O., Bieber, P., Bougnol, C., B\u00f6de, E., Bretschneider, M., Cavallo, A., Castel, C., Cifaldi, M., Cimatti, A., Griffault, A., Kehren, C., Lawrence, B., Luedtke, A., Metge, S., Papadopoulos, C., Passarello, R., Peikenkamp, T., Persson, P., Seguin, C., Trotta, L., Valacca, L., Zacco, G.: ESACS: an integrated methodology for design and safety analysis of complex systems. In: Proceedings of ESREL 2003. Balkema publisher, Rotterdam (2003)"},{"key":"4_CR5","volume-title":"To appear in: ESREL 2011","author":"P. Bieber","year":"2011","unstructured":"Bieber, P., Delmas, R., Seguin, C.: Derivation of Qualitative and Quantitative Safety Requirements. To appear in: ESREL 2011. Balkema, Rotterdam (2011)"},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-642-14186-7_16","volume-title":"Theory and Applications of Satisfiability Testing \u2013 SAT 2010","author":"V. Manquinho","year":"2010","unstructured":"Manquinho, V., Martins, R., Lynce, I.: Improving Unsatisfiability-based Algorithms for Boolean Optimization. In: Strichman, O., Szeider, S. (eds.) SAT 2010. LNCS, vol.\u00a06175, pp. 181\u2013193. Springer, Heidelberg (2010)"},{"key":"4_CR7","unstructured":"SAT4J, http:\/\/www.sat4j.org"},{"key":"4_CR8","unstructured":"Papadopoulos, Y., Walker, M., Reiser, M.-O., Weber, M., Chen, D.-J., T\u00f6rngren, M., Servat, D., Abele, A., Stappert, F., L\u00f6nn, H., Berntsson, L., Johansson, R., Tagliabo, F., Torchiaro, S., Sandberg, A.: Automatic allocation of safety integrity level. In: Workshop on Critical Automotive Applications: Robustness & Safety, CARS 2010 (EDCC Workshop), Valencia, Spain (April 27, 2010)"},{"key":"4_CR9","unstructured":"Pecchia, A.: Una metodologia per la definizione dei livelli di critcit\u00e0 dei componenti di un sistema software complesso, Master Thesis, Universit\u00e0 degli Studi di Napoli Federico II, Italy (2008)"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Sagaspe, L., Bieber, P.: Constraint-Based Design and Allocation of Shared Avionics Resources. In: 26th AIAA-IEEE Digital Avionics Systems Conference, Dallas (2007)","DOI":"10.1109\/DASC.2007.4391846"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Aleti, A., Bjoernander, S., Grunske, L., Meedeniya, I.: ArcheOpterix: An extendable tool for architecture optimization of AADL models, in Model-based Methodologies for Pervasive and Embedded Software (MOMPES), Workshop at ICSE 2009 ACM and IEEE Digital Libraries (2009)","DOI":"10.1109\/MOMPES.2009.5069138"}],"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-642-24270-0_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T22:49:54Z","timestamp":1560552594000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24270-0_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642242694","9783642242700"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24270-0_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}