Uwe Glässer and Margus Veanes
We present a high-level executable specification for the Universal Plug and Play (UPnP) standard illustrating the use of Abstract State Machine (ASM) technology as a practical tool for applied systems engineering. The concept of distributed real-time ASM allows us to combine both synchronous and asynchronous execution models in one uniform model of computation.
In Design and Analysis of Distributed Embedded Systems, IFIP 17th World Computer Congress (DIPES 2002)
Publisher Kluwer Academic
All copyrights reserved by Kluwer Academic 2007.