University of Limerick Institutional Repository

Browsing LERO - UL authors by Subject "reactive systems"

DSpace Repository

Browsing LERO - UL authors by Subject "reactive systems"

Sort by: Order: Results:

  • The ASSL approach to specifying self-managing embedded systems 
    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 ...
  • Developing self-managing embedded systems with ASSL 
    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


Browse

My Account

Statistics