Eva Fordran

  • Citations Per Year
Learn More
Programmable logic controllers (PLCs) are applied in a wide field of application and, especially, for safety-critical controls. Thus, there is the demand for high reliability of PLCs. Moreover, the increasing complexity of the PLC programs and the short time-to-market are hard to cope with. Formal verification techniques such as model checking allow for(More)
Zusammenfassung Dieser Beitrag beschreibt den Nachweis von KontrollflußEigenschaften von Algorithmen, wie z. B. Terminierung, mittels Modellprüfung temporaler Logik. Der Algorithmus wird dabei durch einen endlichen abstrakten Automaten modelliert, dessen Zustände beschreiben, an welcher Stelle sich der Kontrollfluß momentan im Algorithmus befindet. Das(More)
This paper presents experiences in applying model checking to register transfer level (RTL) design verification tasks. The presentation focuses on the description of typical verification problems and their formal capture as well as the application of reduction techniques. Moreover the paper briefly reports on those spots in the verification flow where model(More)
The correct design of complex material handling systems (MHS) is a challenging task, mainly because of short development cycles and ever increasing system sizes. For baggage handling systems (BHS) at airports, the correct design of routing strategies is of special importance, as these strategies are non-trivial but safety-critical. This paper presents a(More)
The correct designing of today's logistic systems has become an increasingly cumbersome process, especially due to their growing sizes and heterogeneities. While simulation methods provide a means to validate the functional behavior of logistic systems, formal methods allow for proving that the system completely fulfills its specification. This paper(More)
The design of properly working material handling systems (MHS) is a difficult process as these systems consist of a vast number of single elements with dedicated controls. While currently these systems are usually validated using simulation, formal methods provide a means to analyze the complete behavior of a system. However, these methods can often only be(More)