Abstract
In this paper we propose a high level approach to capture the behaviour of an autonomous robotic or embedded system. Using requirements engineering, we construct models of the behaviour where system activities are captured mainly by collaborating state machines while the domain knowledge is captured by a non-monotonic logic. We explain our infrastructure that enables interpretation, simulation, automatic deployment, and testing of the models, minimising the need for developers to code. The approach also minimises faults introduced in the software development cycle and ensures a large part of the software is independent of the particular robotic platform.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Antoniou, G.: The role of nonmonotonic representations in requirements engineering. Int. J. of Software Engineering and Knowledge Engineering 8(3), 385–399 (1998)
Billington, D.: The proof algorithms of plausible logic form a hierarchy. In: Zhang, S., Jarvis, R.A. (eds.) AI 2005. LNCS (LNAI), vol. 3809, pp. 796–799. Springer, Heidelberg (2005)
Billington, D., Estivill-Castro, V., Hexel, R., Rock, A.: Architecture for hybrid robotic behavior. In: Corchado, E., Wu, X., Oja, E., Herrero, Á., Baruque, B. (eds.) HAIS 2009. LNCS, vol. 5572, pp. 145–156. Springer, Heidelberg (2009)
Billington, D., Estivill-Castro, V., Hexel, R., Rock, A.: Plausible logic facilitates engineering the behavior of autonomous robots. In: Fox, R., Golubski, W. (eds.) IASTED Conf. on Software Engineering (SE 2010), Anaheim, California, USA, February 16 - 18, pp. 41–48. IASTED, ACTA Press, Innsbruck, Austria (2010)
Billington, D., Rock, A.: Propositional plausible logic: Introduction and implementation. Studia Logica 67, 243–269 (2001)
Bochmann, C.V., Sunshine, C.A.: Formal methods in communication protocol design. IEEE Transaction on Communications 28(4), 624–631 (1980)
Brooks, R.A.: How to build complete creatures rather than isolated cognitive simulators. In: VanLehn, K. (ed.) Architectures for Intelligence, pp. 225–239. Lawrence Erlbaum Assosiates, Hillsdale (1991)
Brooks, R.A.: Intelligence without reason. In: Myopoulos, R., Reiter, R. (eds.) Proc. 12th Int. Joint Conference on Artificial Intelligence, ICJAI 1991, San Mateo, CA, pp. 569–595. Morgan Kaufmann Publishers, Sydney (1991)
Dromey, R.G., Powell, D.: Early requirements defect detection. TickIT Journal 4Q05, 3–13 (2005)
Ellis, C.: Team automata for groupware systems. In: GROUP 1997: Proc. of the Int. ACM SIGGROUP Conf. on Supporting group work, pp. 415–424. ACM, New York (1997)
Harel, D., Politi, M.: Modeling Reactive Systems with Statecharts: The STATEMATE Approach. McGraw-Hill, New York (1998)
Lötzsch, M., Bach, J., Burkhard, H.-D., Jüngel, M.: Designing agent behavior with the extensible agent behavior specification language XABSL. In: Polani, D., Browning, B., Bonarini, A., Yoshida, K. (eds.) RoboCup 2003. LNCS (LNAI), vol. 3020, pp. 114–124. Springer, Heidelberg (2004)
Mellor, S.J.: Embedded systems in UML. OMG White paper label: We can generate Systems Today (2007), http://www.omg.org/news/whitepapers/
Myers, T., Dromey, R.G.: From requirements to embedded software - formalising the key steps. In: 20th Australian Software Engineering Conf (ASWEC), Gold Cost, Australia, April 14-17, pp. 23–33. IEEE Computer Soc., Los Alamitos (2009)
Rock, A., Billington, D.: An implementation of propositional plausible logic. In: Edwards, J. (ed.) 23rd Australasian Computer Science Conf., Canberra. Australian Computer Science Communications, vol. 22(1), pp. 204–210. IEEE Computer Soc., Los Alamitos (January 2000)
Rock, A.: The DPL (decisive Plausible Logic) tool. Technical report (continually) (in preparation), http://www.cit.gu.edu.au/~arock/
Rumbaugh, J., Blaha, M.R., Lorensen, W., Eddy, F., Premerlani, W.: Object-Oriented Modelling and Design. Prentice-Hall, Englewood Cliffs (1991)
Samek, M.: Practical UML Statecharts in C/C++: Event-Driven Programming for Embedded Sytesms, 2nd edn., Newnes (2008)
Shlaer, S., Mellor, S.J.: Object lifecycles: modeling the world in states. Yourdon Press, Englewood Cliffs (1992)
ter Beek, M.H., Ellis, C.A., Kleijn, J., Rozenberg, G.: Synchronizations in team automata for groupware systems. Computer Supported Cooperative Work (CSCW) 12(1), 21–69 (2003)
Wagner, F., Schmuki, R., Wagner, T., Wolstenholme, P.: Modeling Software with Finite State Machines: A Practical Approach. CRC Press, NY (2006)
Wen, L., Colvin, R., Lin, K., Seagrott, J., Yatapanage, N., Dromey, R.G.: “Integrare”, a collaborative environment for behavior-oriented design. In: Luo, Y. (ed.) CDVE 2007. LNCS, vol. 4674, pp. 122–131. Springer, Heidelberg (2007)
Wen, L., Dromey, R.G.: From requirements change to design change: A formal path. In: 2nd Int. Conf. on Software Engineering and Formal Methods (SEFM 2004), Beijing, China, September 28-30, pp. 104–113. IEEE Computer Soc., Los Alamitos (2004)
Wen, L., Kirk, D., Dromey, R.G.: A tool to visualize behavior and design evolution. In: Di Penta, M., Lanza, M. (eds.) 9th Int. Workshop on Principles of Software Evolution (IWPSE 2007), in Conjunction with the 6th ESEC/FSE Joint Meeting, Dubrovnik, Croatia, September 3-4, pp. 114–115. ACM, New York (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Billington, D., Estivill-Castro, V., Hexel, R., Rock, A. (2010). Modelling Behaviour Requirements for Automatic Interpretation, Simulation and Deployment. In: Ando, N., Balakirsky, S., Hemker, T., Reggiani, M., von Stryk, O. (eds) Simulation, Modeling, and Programming for Autonomous Robots. SIMPAR 2010. Lecture Notes in Computer Science(), vol 6472. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-17319-6_21
Download citation
DOI: https://doi.org/10.1007/978-3-642-17319-6_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-17318-9
Online ISBN: 978-3-642-17319-6
eBook Packages: Computer ScienceComputer Science (R0)