Towards Self-organising Time-sensitive Control System's Software

Abstract The embedded computer applications are rapidly growing in numbers, in complexity, and in dependability. This trend has been accompanied by shift of systems building paradigm from individual algorithms to interacting computing entities (e.g. agents, components, modules, etc). A number of studies focus on self-organising capabilities of such entities (agents). Unfortunately for computer control systems, many essential issues - such as, forced con currency, time awareness of theories and software, and some others - have been almost neglected in the conventional theory. This paper provides a superficial survey of evolution of software-intensive systems towards multiagent systems, lists subjectively some basic problems and achievements in developing time-critical systems. The authors suggest that sufficiently good theoretical and practical basis exists for building a test-bed that would assist in merging recent development trends in software engineering and artificial intelligence, and enable verification of time correctness of agent interaction. The test-bed would also assist in developing a theory for quantitative assessment of some properties of the evolving structures, and enable step-wise extension and testing of the supported functions (as the theoretical basis develops).

[1]  Robin Milner,et al.  Elements of interaction: Turing award lecture , 1993, CACM.

[2]  Ė. Kh. Tyugu,et al.  Knowledge-Based Programming , 2004 .

[3]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[4]  Andrew William Roscoe,et al.  The Theory and Practice of Concurrency , 1997 .

[5]  Adriano Valenzano,et al.  MAP and TOP communications - standards and applications , 1992, Electronic systems engineering series.

[6]  Jacques Ferber,et al.  Multi-agent systems - an introduction to distributed artificial intelligence , 1999 .

[7]  Robin Milner,et al.  Elements of interaction , 1993 .

[8]  Varmo Vene,et al.  Models of Attributed Automata , 1998, Informatica.

[9]  Zohar Manna,et al.  The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[10]  Ronald C. Arkin,et al.  An Behavior-based Robotics , 1998 .

[11]  Edward A. Lee Embedded Software — An Agenda for Research , 1999 .

[12]  L. Motus,et al.  Time concepts in real-time software , 1992 .

[13]  Peter Wegner,et al.  Interactive Software Technology , 1997, The Computer Science and Engineering Handbook.

[14]  L Motus Artificial intelligence in hard real-time - A new paradigm needed? , 1991 .

[15]  Michael G. Rodd,et al.  Timing analysis of real-time software , 1994 .

[16]  Adriano Valenzano,et al.  MAP and TOP communications , 1992 .

[17]  Nuel Belnap,et al.  The deliberative stit: A study of action, omission, ability, and obligation , 1995, J. Philos. Log..