{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T18:36:00Z","timestamp":1767983760479,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642045691","type":"print"},{"value":"9783642045707","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04570-7_6","type":"book-chapter","created":{"date-parts":[[2009,11,3]],"date-time":"2009-11-03T04:51:23Z","timestamp":1257223883000},"page":"53-69","source":"Crossref","is-referenced-by-count":93,"title":["Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software"],"prefix":"10.1007","author":[{"given":"David","family":"Delmas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Goubault","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sylvie","family":"Putot","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean","family":"Souyris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karim","family":"Tekkal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franck","family":"V\u00e9drine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Baudin, P., Delmas, D., Duprat, S., Monate, B.: Proving temporal properties at code level for basic operators of control\/command programs. In: Proceedings of ERTS 2008, SIA (2008)"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1007\/978-3-642-02658-4_46","volume-title":"Computed Aided Verification conference, CAV 2009, Grenoble, France","author":"O. Bouissou","year":"2009","unstructured":"Bouissou, O., Goubault, E., Putot, S., Tekkal, K., Vedrine, F.: Hybridfluctuat: a static analyzer of numerical programs within a continuous environment. In: Computed Aided Verification conference, CAV 2009, Grenoble, France. LNCS, vol.\u00a05643, pp. 620\u2013626. Springer, Heidelberg (2009)"},{"key":"6_CR3","unstructured":"Comba, J.L.D., Stolfi, J.: Affine arithmetic and its applications to computer graphics. In: Anais do VI Simp\u00f3sio Brasileiro de Computa\u00e7\u00e3o Gr\u00e1fica e Processamento de Imagens (SIBGRAPI 1993), October 1993, pp. 9\u201318 (1993)"},{"key":"6_CR4","unstructured":"Conquet, E., Cousot, P., Cousot, R., Goubault, E., Ghorbal, K., Lesens, D., Putot, S., Turin, M.: Space software validation using abstract interpretation. In: Proceedings of DASIA (2009)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P.: Abstract interpretation based formal methods and future challenges. Informatics, 138\u2013156 (2001)","DOI":"10.1007\/3-540-44577-3_10"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Basic concepts of abstract interpretation. In: IFIP Congress Topical Sessions, pp. 359\u2013366 (2004)","DOI":"10.1007\/978-1-4020-8157-6_27"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-3-540-31987-0_3","volume-title":"Programming Languages and Systems","author":"P. Cousot","year":"2005","unstructured":"Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: The astr\u00e9e analyzer. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 21\u201330. Springer, Heidelberg (2005)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/978-3-540-74061-2_27","volume-title":"Static Analysis","author":"D. Delmas","year":"2007","unstructured":"Delmas, D., Souyris, J.: Astr\u00e9e: From research to industry. In: Riis Nielson, H., Fil\u00e9, G. (eds.) SAS 2007. LNCS, vol.\u00a04634, pp. 437\u2013451. Springer, Heidelberg (2007)"},{"key":"6_CR9","unstructured":"Dormoy, F.-X.: Scade 6 a model based solution for safety critical software development. In: Embedded Real-Time Systems Conference (2008)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-3-540-24725-8_4","volume-title":"Programming Languages and Systems","author":"J. Feret","year":"2004","unstructured":"Feret, J.: Static analysis of digital filters. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol.\u00a02986, pp. 33\u201348. Springer, Heidelberg (2004)"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"627","DOI":"10.1007\/978-3-642-02658-4_47","volume-title":"Computed Aided Verification conference, CAV 2009, Grenoble, France","author":"K. Ghorbal","year":"2009","unstructured":"Ghorbal, K., Goubault, E., Putot, S.: The zonotope abstract domain taylor1+. In: Computed Aided Verification conference, CAV 2009, Grenoble, France. LNCS, vol.\u00a05643, pp. 627\u2013633. Springer, Heidelberg (2009)"},{"key":"6_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/11823230_3","volume-title":"Static Analysis","author":"E. Goubault","year":"2006","unstructured":"Goubault, E., Putot, S.: Static analysis of numerical algorithms. In: Yi, K. (ed.) SAS 2006. LNCS, vol.\u00a04134, pp. 18\u201334. Springer, Heidelberg (2006)"},{"key":"6_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-540-74061-2_9","volume-title":"Static Analysis","author":"E. Goubault","year":"2007","unstructured":"Goubault, E., Putot, S.: Under-approximations of computations in real numbers based on generalized affine arithmetic. In: Riis Nielson, H., Fil\u00e9, G. (eds.) SAS 2007. LNCS, vol.\u00a04634, pp. 137\u2013152. Springer, Heidelberg (2007)"},{"key":"6_CR14","unstructured":"Goubault, E., Putot, S.: Perturbed affine arithmetic for invariant computation in numerical program analysis. CoRR, abs\/0807.2961 (2008)"},{"key":"6_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-540-79707-4_3","volume-title":"Formal Methods for Industrial Critical Systems","author":"E. Goubault","year":"2008","unstructured":"Goubault, E., Putot, S., Baufreton, P., Gassino, J.: Static analysis of the accuracy in control systems: Principles and experiments. In: Leue, S., Merino, P. (eds.) FMICS 2007. LNCS, vol.\u00a04916, pp. 3\u201320. Springer, Heidelberg (2008)"},{"key":"6_CR16","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511791284","volume-title":"A Guide to MATLAB, 2e: for Beginners and Experienced Users","author":"Hunt","year":"2006","unstructured":"Hunt, Lipsman, Rosenberg, Coombes, Osborn, Stuck: A Guide to MATLAB, 2e: for Beginners and Experienced Users. Cambridge University Press, Cambridge (2006)"},{"key":"6_CR17","unstructured":"IEEE 754 standard for floating-point arithmetic. Floating-Point Working Group of the Microprocessor Standards Subcommittee of the Standards Committee of the IEEE Computer Society. Work in Progress (2004)"},{"key":"6_CR18","first-page":"42","volume-title":"33rd ACM symposium on Principles of Programming Languages","author":"X. Leroy","year":"2006","unstructured":"Leroy, X.: Formal certification of a compiler back-end, or: programming a compiler with a proof assistant. In: 33rd ACM symposium on Principles of Programming Languages, pp. 42\u201354. ACM Press, New York (2006)"},{"key":"6_CR19","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/996821.996827","volume-title":"PASTE 2004: Proceedings of the 5th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering","author":"M. Martel","year":"2004","unstructured":"Martel, M.: Validation of assembler programs for dsps: a static analyzer. In: PASTE 2004: Proceedings of the 5th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, pp. 8\u201313. ACM, New York (2004)"},{"issue":"3","key":"6_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1353445.1353446","volume":"30","author":"D. Monniaux","year":"2008","unstructured":"Monniaux, D.: The pitfalls of verifying floating-point computations. ACM Trans. Program. Lang. Syst.\u00a030(3), 1\u201341 (2008)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"6_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/964001.964002","volume-title":"31st Symposium on Principles of Programming Languages","author":"X. Rival","year":"2004","unstructured":"Rival, X.: Symbolic transfer functions-based approaches to certified compilation. In: Leroy, X. (ed.) 31st Symposium on Principles of Programming Languages, pp. 1\u201313. ACM, New York (2004)"},{"key":"6_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-540-75101-4_45","volume-title":"Computer Safety, Reliability, and Security","author":"J. Souyris","year":"2007","unstructured":"Souyris, J., Delmas, D.: Experimental assessment of astr\u00e9e on safety-critical avionics software. In: Saglietti, F., Oster, N. (eds.) SAFECOMP 2007. LNCS, vol.\u00a04680, pp. 479\u2013490. Springer, Heidelberg (2007)"},{"key":"6_CR23","unstructured":"Souyris, J., Le Pavec, E., Himbert, G., Borios, G., J\u00e9gu, V., Heckmann, R.: Computing the worst case execution time of an avionics program by abstract interpretation. In: 5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, Dagstuhl, Germany (2007)"},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"Thesing, S., Souyris, J., Heckmann, R., Randimbivololona, F., Langenbach, M., Wilhelm, R., Ferdinand, C.: An abstract interpretation-based timing validation of hard real-time avionics software. In: DSN (2003)","DOI":"10.1109\/DSN.2003.1209972"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04570-7_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:42:32Z","timestamp":1606185752000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04570-7_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642045691","9783642045707"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04570-7_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}