Verification of Behaviour Networks Using Finite-State Automata [chapter]

Christopher Armbrust, Lisa Kiekbusch, Thorsten Ropertz, Karsten Berns
2012 Lecture Notes in Computer Science  
This paper addresses the problem of verifying properties of behaviour-based systems used for controlling robots. A behaviour-based system typically consists of many interconnected components, the behaviours, which in combination realise the system's overall functionality. The connections between the behaviours are crucial for the correct operation of a system. Therefore, key properties of behaviour-based systems are verifiable based on their behaviour interconnections. In this paper, it is
more » ... ibed how behaviour-based networks can be (automatically) modelled using finite-state machines and how model checking with the Uppaal toolbox can then be applied for verification and analysis tasks.
doi:10.1007/978-3-642-33347-7_1 fatcat:qkyjzogt6vcvhd5en526nzsvdi