TY - GEN
T1 - Reverse engineering using behavior tree approach
AU - Solichah, Iis
AU - Mursanto, Petrus
PY - 2011
Y1 - 2011
N2 - A new system of Automatic Vehicle Classification (AVC) has been verified by means of a reverse engineering approach using Behavior Tree (BT). This approach was inspired by accuracy problem possessed by the AVC system as well as the benefits offered by BT. Although the AVC system has been deployed, it performs several failures in classifying vehicles with certain behavior under specific environment. It was due to specific requirements that had been overlooked by conventional textual-narrative requirement expressions. A formal but simpler and more natural way of requirement expression in Behavior Tree is expected to eliminate the weakness of conventional requirement representation. Results of the case study are BT representation of the AVC system and several test case specifications using Linear-time Temporal Logic (LTL) notations.
AB - A new system of Automatic Vehicle Classification (AVC) has been verified by means of a reverse engineering approach using Behavior Tree (BT). This approach was inspired by accuracy problem possessed by the AVC system as well as the benefits offered by BT. Although the AVC system has been deployed, it performs several failures in classifying vehicles with certain behavior under specific environment. It was due to specific requirements that had been overlooked by conventional textual-narrative requirement expressions. A formal but simpler and more natural way of requirement expression in Behavior Tree is expected to eliminate the weakness of conventional requirement representation. Results of the case study are BT representation of the AVC system and several test case specifications using Linear-time Temporal Logic (LTL) notations.
UR - http://www.scopus.com/inward/record.url?scp=84857333513&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84857333513
SN - 9789791421119
T3 - ICACSIS 2011 - 2011 International Conference on Advanced Computer Science and Information Systems, Proceedings
SP - 207
EP - 214
BT - ICACSIS 2011 - 2011 International Conference on Advanced Computer Science and Information Systems, Proceedings
T2 - 2011 International Conference on Advanced Computer Science and Information Systems, ICACSIS 2011
Y2 - 17 December 2011 through 18 December 2011
ER -