HybridFluctuat: A static analyzer of numerical programs within a continuous environment

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5643 LNCS, Issue , 2009, Pages 620-626

  Bouissou, Olivier ^a   Goubault, Eric ^a   Putot, Sylvie ^a   Tekkal, Karim ^b   Vedrine, Franck ^a  

^a DIF   (France)

^b FCS Digiteo   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ANSI C PROGRAMS; ASTRIUM; AUTOMATED TRANSFER VEHICLES; FLIGHT CONTROL SOFTWARE; INDUSTRIAL CASE STUDY; NUMERICAL PROGRAMS; SENSORS AND ACTUATORS; STATIC ANALYZERS;

HYBRID SYSTEMS;

COMPUTER AIDED ANALYSIS;

EID: 70350235068     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02658-4_46     Document Type: Conference Paper

References (11)

1. Fehnker, A., Ivancic, F.: Benchmarks for hybrid systems verification. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol. 2993, pp. 326-341. Springer, Heidelberg (2004)
2. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. Theoretical Computer Science 138(1), 3-34 (1995)
3. Bouissou, O., Martel, M.: GRKLib: a guaranteed runge-kutta library. In: Follow-up of International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics. IEEE Press, Los Alamitos (2007)
4. Bouissou, O., Martel, M.: Abstract interpretation of the physical inputs of embedded programs. In: Logozzo, F., Peled, D.A., Zuck, L.D. (eds.) VMCAI 2008. LNCS, vol. 4905, pp. 1-3. Springer, Heidelberg (2008)
5. Cousot, P.: Integrating physical systems in the static analysis of embedded control software. In: Yi, K. (ed.) APLAS 2005. LNCS, vol. 3780, pp. 135-138. Springer, Heidelberg (2005)
6. Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximations of fixed points. Principles of Programming Languages 4, 238-252 (1977)
7. Frehse, G.: Phaver: Algorithmic verification of hybrid systems past hytech. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol. 3414, pp. 258-273. Springer, Heidelberg (2005)
8. Goubault, E., Martel, M., Putot, S.: Asserting the precision of floating-point computations: A simple abstract interpreter. In: Le Ḿetayer, D. (ed.) ESOP 2002. LNCS, vol. 2305, pp. 209-212. Springer, Heidelberg (2002)
9. Goubault, E., Martel, M., Putot, S.: Some future challenges in the validation of control systems. In: ERTS, SEE (2006)
10. Kowalewski, S., Stursberg, O., Fritz, M., Graf, H., Preuß, I.H.J., et al.: A case study in tool-aided analysis of discretely controlled continuous systems: the two tanks problem. In: Antsaklis, P.J., Kohn, W., Lemmon, M.D., Nerode, A., Sastry, S.S. (eds.) HS 1997. LNCS, vol. 1567, p. 163. Springer, Heidelberg (1999)
11. Putot, S., Goubault, E., Martel, M.: Static analysis-based validation of floating-point computations. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) Dagstuhl Seminar 2003. LNCS, vol. 2991, pp. 306-313. Springer, Heidelberg (2004)