Static Analysis of the Accuracy in Control Systems : Principles and Experiments Eric Goubault1 , Sylvie Putot1 , Philippe Baufreton2 , and Jean Gassino3 1 CEA LISTGif-sur-Yvette, {eric.goubault,sylvie.putot}@cea. - Combined driving - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2009-11-24 06:44:26 Computer arithmetic Abstract interpretation Floating point Interval arithmetic Fluctuat Rounding Infinite loop Affine arithmetic Lookup table Recursion Division algorithm Fixed-point arithmetic		Static Analysis of the Accuracy in Control Systems : Principles and Experiments Eric Goubault1 , Sylvie Putot1 , Philippe Baufreton2 , and Jean Gassino3 1 CEA/LISTGif-sur-Yvette, {eric.goubault,sylvie.putot}@cea. Add to Reading List Source URL: www.lix.polytechnique.fr Download Document from Source Website File Size: 278,04 KB Share Document on Facebook

	Static Analysis of the Accuracy and Robustness of Finite Precision Implementations Fluctuat Eric Goubault and Sylvie Putot DocID: 1qDOI - View Document
	Static Analysis of the Accuracy in Control Systems : Principles and Experiments Eric Goubault1 , Sylvie Putot1 , Philippe Baufreton2 , and Jean Gassino3 1 CEA/LISTGif-sur-Yvette, {eric.goubault,sylvie.putot}@cea. DocID: 1oWx2 - View Document
	Towards an industrial use of FLUCTUAT on safety-critical avionics software? David Delmas1 , Eric Goubault2 , Sylvie Putot2 , Jean Souyris1 , Karim Tekkal2 , and Franck V´edrine2 1 DocID: 1oVed - View Document
	SPACE SOFTWARE VALIDATION USING ABSTRACT INTERPRETATION Olivier Bouissou(1), Eric Conquet(2), Patrick Cousot(3), Radhia Cousot(3)(6), Jérôme Feret(3)(7), Khalil Ghorbal(1), Eric Goubault(1), David Lesens(4), Laurent Ma DocID: 1ovhQ - View Document
	fluctuat nec mergitur CONTENTS h - The Gravitational Voice is an internal publication of the European Gravitational DocID: 1nbDX - View Document