Vassev, Emil; Hinchey, Mike
(IEEE Computer Society, 2009)
We present a new formal approach to the implementation of embedded systems, arrived at by introducing self-management capabilities to the same. We use the ASSL (Autonomic System Specification Language) framework to approach ...