A Compositional Model for Verifying and Programming Ecologies of Smart Internet Devices

  • Loke, Seng (Primary Chief Investigator (PCI))
  • Ling, Chris (Chief Investigator (CI))

    Project: Research

    Project Details

    Project Description

    Emerging in 21st century computing is what we perceive as device ecologies, or collections of devices that can exhibit smart behaviour, automate tasks, interact synergistically with one another, with users and Internet resources, and provide aid and value in daily life and work. Device ecologies will be seen in areas as diverse as e-commerce, health care, home automation, office automation, manufacturing, and defense. This project will develop a novel model and language for analyzing and programming device ecologies. This will be an Australian contribution towards techniques for constructing advanced applications that work over the computing infrastructure of the future.
    StatusFinished
    Effective start/end date1/02/0431/12/09

    Funding

    • Australian Research Council (ARC): AUD50,000.00
    • Australian Research Council (ARC): AUD101,170.00
    • Monash University: AUD14,000.00