ERHÖHUNG DER BAHNSICHERHEIT DURCH FORMALE METHODEN

The aim of this paper is to demonstrate the current problems of system development and to show, how formal methods can eliminate some of these problems. First the safety procass will be shown with its particioants and their roles as an introduction. In the first chapter the developing phases will be presented from the customer statement of requirements to the system specification, with their classification and deficiencies. In the next chapter the basics of the formal methods in area of test and simulation will be presented detailed with help of applications. Finally the current state of the application of formal methods andthe future tasks are sketched.