University of Limerick Institutional Repository

Browsing by Author "Hinchey, Mike"

DSpace/Manakin Repository

Browsing by Author "Hinchey, Mike"

Sort by: Order: Results:

  • An ASSL approach to handling uncertainty in self-­adaptive systems
    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 ...
  • 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 ...
  • ASSL: a software engineering approach to autonomic computing
    Hinchey, Mike; Vassev, Emil (IEEE Computer Society, 2009)
    ASSL provides a framework for formal specification, validation, and code generation of autonomic systems.
  • ASSL specification and code generation of self-healing behavior for NASA Swarm-Based Systems
    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 ...
  • Awareness in software-intensive systems
    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.
  • A complexity reliability model.
    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. ...
  • Component-oriented behavior extraction for autonomic system design
    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 ...
  • A consumer/producer approach to risk-driven software reliability and testing
    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, ...
  • A Control Theory based approach for self-healing of un-handled runtime exceptions
    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 ...
  • Developing intelligent sensor networks —a technological convergence approach
    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 ...
  • Developing model-checking mechanisms for ASSL: an experience report
    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 ...
  • 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 ...
  • Efficient reasoning with ambient trees for space exploration
    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 ...
  • Efficient space exploration through laziness
    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 ...
  • Evolving critical systems: a research agenda for computer-based systems.
    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 ...
  • Extracting component-oriented behaviour for self-healing enabling.
    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 ...
  • Families (of products) in space
    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 ...
  • FastFix: a control theoretic view of self-healing for automatic corrective software maintenance
    Gaudin, Benoit; Vassev, Emil; Hinchey, Mike; Nixon, Paddy; Coelho, Garcia J.; Maalej, Walid (Szkoła Wyższa Psychologii Społecznej (SWPS), 2012)
    One of the main objectives of self-adaptive systems is to reduce maintenance costs through automatic adaptation. Self-healing is a self-adapting property that helps systems return to a normal state after a fault or ...
  • A formal approach to self-configurable swarm-based space-exploration systems
    Vassev, Emil; Hinchey, Mike; Nixon, Paddy (IEEE Computer Society, 2010)
    Intelligent swarms draw their inspiration from biology where many simple entities act independently, but when grouped, they appear to be highly organized. NASA is currently investigating swarm-based technologies for the ...
  • Formal versus agile: survival of the fittest?
    Black, Sue; Boca, Paul P.; Bowen, Jonathan P.; Gorman, Jason; Hinchey, Mike (IEEE Computer Society, 2009)
    The potential for combining agile and formal methods holds promise. Although it might not always be an easy partnership, it will succeed if it can foster a fruitful interchange of expertise between the two communities.

Search DSpace

Browse

My Account