Formal Mirror Models: an Approach to Just-in-Time Reasoning for Device Ecologies

@inproceedings{Loke2008FormalMM,
  title={Formal Mirror Models: an Approach to Just-in-Time Reasoning for Device Ecologies},
  author={Seng Wai Loke and Sucha Smanchat and Sea Ling and Maria Indrawan},
  year={2008}
}
Pervasive computing calls for new ways of thinking about software and new ways of applying software development techniques. In pervasive computing environments, users will need to interact with collections of devices surrounding them (such as the “system” of smart devices in a user’s home), which we metaphorically term device ecologies. A user can interact with these devices with embedded software and hardware, either directly via the device’s own interface, or automated through scripts… CONTINUE READING

Citations

Publications citing this paper.
SHOWING 1-5 OF 5 CITATIONS

Support for Verifying Pervasive Behavior by Mapping Task Models to Petri Nets

  • 2017 43rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
  • 2017
VIEW 1 EXCERPT
CITES BACKGROUND

User constraints for reliable user-defined smart home scenarios

  • Journal of Reliable Intelligent Environments
  • 2016
VIEW 1 EXCERPT
CITES BACKGROUND

To Do and Not to Do: Constrained Scenarios for Safe Smart House

  • 2015 International Conference on Intelligent Environments
  • 2015
VIEW 1 EXCERPT
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 15 REFERENCES

Renew

O. Kummer, F. Wienberg, M. Duvigneau
  • Version 2.0.1
  • 2004
VIEW 9 EXCERPTS
HIGHLY INFLUENTIAL

Renew - User Guide

O. Kummer, F. Wienberg, M. Duvigneau
  • Release 2.0.1
  • 2004
VIEW 8 EXCERPTS
HIGHLY INFLUENTIAL

A new architecture for home computing

  • Proceedings IEEE Workshop on Software Technologies for Future Embedded Systems. WSTFES 2003
  • 2003
VIEW 1 EXCERPT