This is the first IFAC Workshop on Computer and Control following previous workshops organized by IFAC Technical Committee 3.3 as Workshops on Real-Time Programming (WRTP) and Algorithms and Architectures for Real-Time Control (AARTC) that were successfully organised during 30 editions.
The scope of the workshop is to bring together researchers and practitioners interested in control and computers to explore innovative ideas and experiences in the theory and technology of cyber-physical systems and embedded systems.
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.