Pervasive Computing

Setup and design of operating systems for electronic equipment and industrial products are traditionally a resource insensitive task often with extensive manual testing. When logic is represented in terms of constraints and consistent data rather than programs, the quality and usability of the product is enhanced, and the resources for programming and test are reduced dramatically. Pervasive Computing solutions have some of the following characteristics:

  • Configuration data embedded in the physical product to simplify installation and setup
  • Improve man-machine interfaces for easy maintenance
  • Gaming rules described as constraints for Computer games
  • Operational logic for automation equipment and devices

Array Configuration's delivers extremely compact models; both in terms of modeled problems and the runtime engine itself, resulting in low memory requirements. The model can run efficiently stand-alone as embedded solution on silicon or on mobile clients like Java enabled mobile phones.