University of Limerick Institutional Repository

Browsing LERO by Subject "reactive systems"

DSpace Repository

Browsing LERO by Subject "reactive systems"

Sort by: Order: Results:

  • Vassev, Emil; Hinchey, Mike (John Wiley & Sons Ltd, 2011)
    The increasing complexity of contemporary embedded computing systems requires the use of selfmanagement in order to handle unforeseen changes in both hardware and control software. The idea behind computer systems capable ...
  • 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 ...

Search ULIR


My Account