University of Twente Student Theses

Login

A java bridge for LSTMIN

Oostinga, Ruben (2012) A java bridge for LSTMIN.

[img]
Preview
PDF
2MB
Abstract:With today’s advancing technology we become more and more dependent on automated systems. We even trust our lives to those systems functioning properly. Think of the fly-by-wire system of a modern airliner. The system makes sure that the instructions of the pilot are translated into the correct movement of the plane. A fly-by-wire system is a lot more complicated than a mechanical system, therefore there is more opportunity for things to go wrong. To use such complicated systems it must be certain that it will function properly or otherwise it could have fatal consequences. Other systems, although lives may not depend on them as directly, should also function properly at all times. To ensure this the system must be tested. Systems are tested on various situations to verify they behave as expected. However, the problem with this is that of the sheer number of possible situations it is often impossible to test for every situation that could be encountered. Besides this it can also be very labour-intensive to test every situation even if tests are automated. Automated model checking attempts to solve this problem. A system will be abstracted to a model which behaves in the same way as the system. This model will be checked by looking at every situation and state the model can find itself in. This will then confirm that the system also behaves as intended. The intended behavior is specified as a certain property. There are two property types, safety properties and liveness properties. Safety properties specify that nothing “bad” will happen and liveness property specify something “good” will eventually happen
Item Type:Essay (Master)
Faculty:EEMCS: Electrical Engineering, Mathematics and Computer Science
Subject:54 computer science
Programme:Computer Science MSc (60300)
Link to this item:http://purl.utwente.nl/essays/61714
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page