We pioneer novel syntheses of software engineering and bio-inspired technologies for the design, analysis, and operation of dependable intelligent systems.
Through data analytics and artificial intelligence we assess and guarantee dependability properties – including safety and security of systems, their communication channels and data repositories. Applications span from the engineering of critical transport systems to analysis of documents and social media to the synthesis of generative art.
A key outcome of our work is the HiP-HOPS method and tools. This method offers a significant innovation that covers the system engineering lifecycle. From intelligent allocation of safety and security requirements through automated dependability analysis to evolutionary optimisation of system architectures, the automated production of certification artefacts, and intelligent safety monitoring using agents.
Over 200 papers on theory and industrial application have been published on this method alone.