Call for Participation ====================== FMICS 2013 18th International Workshop on Formal Methods for Industrial Critical Systems September 23-24, 2013 Madrid (Spain) Co-located with SEFM 2013 http://lvl.info.ucl.ac.be/Fmics2013 Invited Talks ------------- * Alessandro Fantechi (Università degli Studi di Firenze): Twenty-Five Years of Formal Methods and Railways: What Next? * Benjamin Monate (TrustInSoft): TrustInSoft: Industrial Formal Methods to Protect Security-Sensitive Systems Scope ----- The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. In particular, FMICS brings together scientists and engineers who are active in the area of formal methods and interested in exchanging their experiences in the industrial usage of these methods. The FMICS workshop series also strives to promote research and development for the improvement of formal methods and tools for industrial applications. Programme --------- HyRev: A tool for the automatic generation of real-time routines for enabling fail-safe control in a class of safety-critical embedded systems using backwards reachability analysis -- Hallstein Asheim Hansen Formal Reliability Analysis of Protective Relays in Power Distribution Systems -- Adil Khurram, Haider Ali, Arham Tariq and Osman Hasan Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-Linear and Linear Analyses -- Adrien Champion, Rémi Delmas, Michael Dierkes, Pierre-Loic Garoche, Romain Jobredeaux and Pierre Roux Complex Digital System Design: a methodology and its application to medical implants -- Helene Leroux, Karen Godary-Dejean and David Andreu On the Effectiveness of Assertion-Based Verification in an Industrial Context -- Laurence Pierre, Fabrice Pancher, Rodolphe Suescun and Jérôme Quévremont Predicate Abstraction for Programmable Logic Controllers -- Sebastian Biallas, Mirco Giacobbe and Stefan Kowalewski Boolean Quantifier Elimination for Automotive Configuration - A Case Study -- Christoph Zengler and Wolfgang Auditing User-Provided Axioms in Software Verification Conditions -- Paul Jackson, Florian Schanda and Angela Wallenburg Study on the Barriers to the Industrial Adoption of Formal Methods -- Jennifer Davis, Matthew Clark, Darren Cofer, Aaron Fifarek, Jacob Hinchman, Jonathan Hoffman, Brian Hulbert, Steven Miller and Lucas Wagner Manager Guidelines for the Industrial Deployment of Formal Methods -- Christophe Ponsard, Jean-Christophe Deprez and Renaud De Landtsheer An outline workflow for practical formal verification from software requirements to object code -- Darren Sexton Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip -- Abderahman Kriouile and Wendelin Serwe Specification and Verification using Alloy of Optimistic Access Control for Distributed Collaborative Editors -- Aurel Randolph, Abdessamad Imine, Hanifa Boucheneb and Alejandro Quintero Registration ------------ Registration proceeds via the SEFM conference http://madrid.nethotels.com/mice/english/sefm_2013 ------------------------------------ Michael Dierkes, PhD Senior Software Engineer Rockwell Collins France +33 5 34 61 86 88 ------------------------------------ ?The information in this e-mail and any attached document may be of a confidential or proprietary nature. If you are not the intended recipient, please notify Rockwell Collins immediately and delete this e-mail and any attached document. Any unauthorised disclosure, distribution or copying hereof is prohibited.? « Les informations contenues dans ce courriel et tout document attaché peuvent être de nature confidentielle ou propriétaire. Si vous n?êtes pas le destinataire escompté, merci d?en informer Rockwell Collins immédiatement et de détruire ce courriel ainsi que tout document attaché. Toute divulgation, distribution ou copie de ces informations sans autorisation préalable est interdite. »