University of Limerick Institutional Repository

Browsing by Author "Hinchey, Mike"

DSpace Repository

Browsing by Author "Hinchey, Mike"

Sort by: Order: Results:

  • Vassev, Emil; Hinchey, Mike; Balasubramaniam, Dharini; Dobson, Simon (IEEE Computer Society, 2011)
    Both modularity and loose-­coupling properties inherent to the self-­adaptive systems offer the opportunity for adhoc service compositions, dynamic change and adaptation. To provide such a dynamic and self-­adapting ...
  • 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)
    The Autonomic System Specification Language (ASSL) is a framework for formally specifying, validating and generating autonomic systems. This paper presents concrete results on the use of ASSL to specify a self-healing ...
  • Hinchey, Mike; Vassev, Emil (IEEE Computer Society, 2009)
    ASSL provides a framework for formal specification, validation, and code generation of autonomic systems.
  • Vassev, Emil; Hinchey, Mike (IEEE Computer Society, 2013)
    Contemporary robotics relies on the most recent advances in automation and robotic technologies to promote autonomy and autonomic computing principles to robotized systems. However, it appears that the design and implementation ...
  • Vassev, Emil; Hinchey, Mike (Association for Computing Machinery, 2013)
    The development of unmanned space exploration missions is closely related to integration and promotion of autonomy in robotic spacecraft. Elicitation and expression of autonomy requirements is one of the most significant ...
  • Vassev, Emil; Hinchey, Mike (IEEE Computer Society, 2012)
    Closely related to artificial Intelligence, awareness depends on the knowledge transferred to software-intensive systems so they can use it to exhibit intelligence.
  • Schneidewind, Norman; Hinchey, Mike (IEEE Computer Society, 2009)
    A model of software complexity and reliability is developed. It uses an evolutionary process to transition from one software system to the next, while complexity metrics are used to predict the reliability for each system. ...
  • Bakera, Marco; Wagner, Christian; Margaria, Tiziana; Vassev, Emil; Hinchey, Mike; Steffen, Bernhard (NASA, 2009)
    Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR game-based Model Checker has ...
  • Schneidewind, Norman; Hinchey, Mike (Association for Computing Machinery, 2009)
    1. Introduction: We introduce the concept of using both consumer software and producer software in the analysis of risk as it relates to test criteria and strategies. There are two different versions of the software, ...
  • Gaudin, Benoit; Vassev, Emil; Hinchey, Mike; Nixon, Paddy (Association for Computing Machinery, 2011)
    This work presents an approach to self-healing that deals with un-handled exceptions within an executing program. More precisely, we propose an approach based on control theory that automatically disables system functionalities ...
  • Mjeda, Anila; Hinchey, Mike (2013)
    We propose a method tailored to the requirements of safety-critical embedded automotive software, named CTMCONTROL. CTMCONTROL has a particular focus on the specification-based control logic of the system under test and ...
  • Vassev, Emil; Hinchey, Mike; Nixon, Paddy (Association for Computing Machinery, 2010)
    We present a technological convergence approach to developing sensor networks capable of self-management. We use ASSL (Autonomic System Specification Language) to formally develop autonomous intelligent sensor nodes and ...
  • Vassev, Emil; Hinchey, Mike (Springer-Verlag, 2011)
    The Autonomic System Specification Language (ASSL) is a formal method dedicated to autonomic computing, and as such, assists developers with formal specification, validation and code generation of autonomic systems. Due ...
  • 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 ...
  • Vassev, Emil; Hinchey, Mike (Springer, 2012)
    Modern reasoning is based on inference techniques such as induction, deduction, abduction, subsumption, classification and recognition. These inference techniques are very inefficient when applied to large amounts of ...
  • Vassev, Emil; Hinchey, Mike (Springer, 2012)
    Autonomous behavior and onboard decision making is the backbone of robotic space exploration. The enormous distance and communication latency make such missions hardly controllable from Earth and external decision making ...
  • Hinchey, Mike; Coyle, Lorcan (IEEE Computer Society, 2010)
    Increasingly software can be considered to be critical,due to the business or other functionality which it supports. Upgrades or changes to such software are expensive and risky, primarily because the software has not ...
  • Bakera, Marco; Wagner, Christian; Margaria, Tiziana; Vassev, Emil; Hinchey, Mike; Steffen, Bernhard (IEEE Computer Society, 2010)
    Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR game-based Model Checker has ...
  • Hinchey, Mike (IEEE Computer Society, 2011)
    NASA is developing plans for innovative and novel approaches to future (unmanned) space exploration missions. Future missions involve sending spacecraft and robots to harsh environments, where resilience is necessary for ...

Search DSpace

Browse

My Account

Statistics