Abstract
The aim of this paper is to make an introspective study of some aspects of the use of formal methods in development and assessment of automation systems. The authors do not wish to enter into yet another polemical debate on the pros and cons of formal methods. Instead, the paper proposes a holistic approach to the subject. The authors describe the outlines of a concept called the “BMW approach” (the resemblance of this name to a famous make of German cars is only a coincidence !). The BMW approach presents a symbiosis of the three orthogonal components of any methodology: notation (Beschreibungsmittel), method (Methode) and tool (Werkzeug). The BMW approach has been successfully applied in several railways-related projects done at IfRA.
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call