This paper reports on the experiment PICGAL which aims to assess the benefits of using VDM to develop high reliability related software in the space industry in a practical way. The application used in this project is a code generator from a next generation environment to be used in the development of ground application software for boosters such as ARIANE V. The experiment is constructed as a parallel development of the code generator; using the conventional approach and using formal specification. This allows detailed measurements of the effects resulting from the introduction of VDM. This work is adding to the existing body of evidence of the effect of using a moderate amount of formal methods in an industrial context in a new critical domain. This paper provides an overview of the domain, the application and it shows how the formal specification has been structured.
Process improvement experiment of a code generator to the Ariane launcher
Telegram: Contact @picgal
Skip to search form Skip to main content You are currently offline. Some features of the site may not work correctly. DOI: Devauchelle and P. Devauchelle , P. The application used in this project is a code generator from a next generation environment to be used in the development of ground application software for boosters such as ARIANE V.
PICGAL: Practical use of formal specification to develop a complex critical system
To stay in business in the long term, it is foreseen that it will be necessary to be able to master rigorous techniques in the development of security and safety related systems. In particular since the complexity of the critical software is increasing. One of the main problems we have at the moment with our software development is that the currently used informal methods do not promote the early detection of faults during the development.
Black Teen Amateur Fucking. Paying In Pussy Hardcore Homemade Sex. Wife With Black Lover On Real Homemade.