TOWARDS AUTONOMOUS DEPENDABLE SYSTEMS

Today's modern society is dependent on the internet and other information systems. Our information systems need to be more reliable and better secure before society can put their trusts in such systems. A trustworthy dependable system must have autonomous behaviour integral to it. Our current project, at Cambridge's Computer Laboratory AutoHan group, focuses on building autonomous behaviour into everyday objects. We apply AI Planning with Partial Evaluation to solve the perennial problem of building dependable trustworthy systems.