University of Limerick Institutional Repository

Browsing LERO - The Irish Software Research Centre by Subject "NASA"

DSpace Repository

Browsing LERO - The Irish Software Research Centre by Subject "NASA"

Sort by: Order: Results:

  • 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 ...
  • 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 ...
  • Model checking for autonomic systems specified with ASSL 
    Vassev, Emil; Hinchey, Mike; Quigley, Aaron (2009)
    Autonomic computing augurs great promise for deep space exploration missions, bringing onboard intelligence and less reliance on control links. As part of our research on the ASSL (Autonomic System Specification Language) ...
  • Multi-agent systems – Theory, approaches and NASA applications 
    Hinchey, Mike; Vassev, Emil (IOS Press, 2012)
    This chapter introduces the multi-agent paradigm and presents concepts and approaches related to multi-agent systems and paradigm-inspired popular research topics such as grid computing, intelligent swarms, sensor ...
  • Self-awareness in autonomous nano-technology swarm missions. 
    Vassev, Emil; Hinchey, Mike (IEEE Computer Society, 2011)
    NASA is currently exploring swarm-based technologies, targeting the development of prospective exploration missions to explore regions of space, where single large spacecraft would be impractical. Such systems are envisioned ...

Search ULIR


Browse

My Account

Statistics