Conference paper

RÁB Jaroslav, RYŠAVÝ Ondřej and ŠVÉDA Miroslav. On the Implementation of State-space Exploration Procedure in a Relational Database Management System. In: 30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software. Mragowo: IEEE Computer Society, 2009, pp. 151-156. ISBN 978-83-60810-22-4.
Publication language:english
Original title:On the Implementation of State-space Exploration Procedure in a Relational Database Management System
Title (cs):O implementaci procedury pro prohledávání stavového prostoru v relačním databázovém systému
Pages:151-156
Proceedings:30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software
Conference:30th IFAC Workshop on Real-Time Programming
Place:Mragowo, PL
Year:2009
ISBN:978-83-60810-22-4
Publisher:IEEE Computer Society
URL:http://www.wrtp-rts.proceedings2009.imcsit.org/pliks/169.pdf [PDF]
Files: 
+Type Name Title Size Last modified
icon169.pdf175 KB2011-01-14 14:32:19
^ Select all
With selected:
Keywords
Formal Specification, Temporal Logic of Actions, State exploration,
Relational database systems
Annotation
An examination of discrete system's behavior can be done by exhaustive exploration of the state space that is generated
according to the assigned domain semantics. Model-checking is the matured discipline that allows to explore state space as large as several millions of states.  In this paper, we describe a novel approach to the implementation of state exploration procedure using PL/SQL, the language of Oracle relational
database system. The high efficiency of database systems when dealing with large amounts of data and relatively cheap hardware available nowadays advocates the use of relational database as an implementation platform for practical exhaustive state exploration algorithm with the hope that this platform may scale up the model checking method to hundreds of millions of explorable states.
BibTeX:
@INPROCEEDINGS{
   author = {Jaroslav R{\'{a}}b and Ond{\v{r}}ej Ry{\v{s}}av{\'{y}} and
	Miroslav {\v{S}}v{\'{e}}da},
   title = {On the Implementation of State-space Exploration Procedure
	in a Relational Database Management System},
   pages = {151--156},
   booktitle = {30th IFAC Workshop on Real-Time Programming and 4th
	International Workshop on Real-Time Software},
   year = {2009},
   location = {Mragowo, PL},
   publisher = {IEEE Computer Society},
   ISBN = {978-83-60810-22-4},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.en.iso-8859-2?id=9063}
}

Your IPv4 address: 54.224.197.251
Switch to IPv6 connection

DNSSEC [dnssec]