creators_name: Russo Jr, Aryldo G
creators_id: agrj@aes.com.br
type: deploy_associate_item
datestamp: 2010-01-08 09:47:17
lastmod: 2010-04-19 15:05:59
metadata_visibility: show
title: Formal Methods in Industry: The State of Practice of Formal Methods in South America and Far East
ispublished: submitted
subjects: deploy_industrial_trans
subjects: deploy_method_other
full_text_status: public
pres_type: speech
abstract: The use of formal methods has constantly increased, al- though with basically two constraints: their use has been concentrated mostly in Europe, their Mother land and they have been used only by big companies which are in charge to develop some kind of safety critical applications, what, in a first look seems correct. The aim of this paper is to present the usage stage of formal methods in other parts of the world, mainly South America, and Far East. A personal comparison of some formal method tools, namely: Atelier B[1], RODIN[2], and SCADE[3]is also presented. The comparison methodology is based on three different points of view: capability, I mean, how these tools can satisfy project constraints, usability, basically, what’s the difficulty the user faces when trying to use the tool, and adequacy to the current development pro- cess.This work describes also real applications in industry, sometimes not the formal method usage itself, but how the formal method culture can drasticaly helps on the development process. Finally, some of the gaps in industry wishes that could be fulfilled by some applications are sorted.
date: 2009-09-14
date_type: submitted
event_title: Dagstuhl seminar on Refinement Based Methods for the Construction of Dependable Systems
event_location: Dagstuhl
event_dates: 14-18 Sept. 2009
event_type: other
refereed: FALSE
citation:   Russo Jr, Aryldo G  (2009) Formal Methods in Industry: The State of Practice of Formal Methods in South America and Far East.  [DEPLOY Associate Item]    (Submitted)  
document_url: http://deploy-eprints.ecs.soton.ac.uk/169/1/ICFEM_2009_ind_app.pdf