High levels of safety, security and also privacy standards require the use of formal methods to specify and develop compliant software (sub)systems. Any standard comes with an assessment process, which requires a complete documentation of the application in order to ease the justification of design choices and the review of code and proofs.
Ideally, an F-IDE dedicated to such developments should comply with several requirements. The first one is to associate a logical theory with a programming language. The second one is to offer a language/environment simple enough to be usable by most developers. The third one is to offer automated management of application documentation. It may also be expected that developments done with such an F-IDE are reusable and modular.
A satellite workshop of FM2016, the F-IDE workshop is opened to contributions on all aspects of a system development process, including specification, design, implementation, analysis and documentation. It should allow the presentation of tools, methods, techniques and experiments.