The Experts below are selected from a list of 212784 Experts worldwide ranked by ideXlab platform

Joey Paque - One of the best experts on this subject based on the ideXlab platform.

  • towards an assl Specification Model for nasa swarm based exploration missions
    ACM Symposium on Applied Computing, 2008
    Co-Authors: Emil Vassev, Mike Hinchey, Joey Paque
    Abstract:

    NASA swarm-based exploration missions represent a new class of concept missions based on the cooperative nature of a hive culture. A mission of this class requires an autonomic system, comprising a set of autonomous mobile units. The design and implementation of such systems requires specific engineering approaches, including new formal Specification methods and techniques. This article presents an introduction to our research towards a formal Specification of NASA concept swarm-based missions. The Autonomic System Specification Language (ASSL) is a framework for formally specifying and generating autonomic systems. With ASSL, we can specify high-level behavior policies, as part of overall system behavior, which shows that ASSL is a very appropriate language for specifying the autonomic behavior of swarm-based missions. We show how ASSL can be used to specify self-configuring, self-healing, and safety properties of NASA swarm-based missions.

Emil Vassev - One of the best experts on this subject based on the ideXlab platform.

  • assl Specification of emergent self adapting behavior for nasa swarm based exploration missions
    Self-Adaptive and Self-Organizing Systems, 2008
    Co-Authors: Emil Vassev, Mike Hinchey
    Abstract:

    We describe a biologically-inspired approach to Modeling self-adapting behavior of NASA swarm-based exploration missions, whereby individual entities in the system can sacrifice themselves for the greater good of the entire system. We investigate aspects of possible emergent self-adapting behavior of swarm-based systems, inspired by the self-sacrifice behavior observed in some hive cultures. Moreover, we propose an ASSL Specification Model for the self-sacrifice behavior of the swarm individuals. ASSL (Autonomic System Specification Language) is a Specification language dedicated to autonomic systems, and with which we have been experimenting with some positive results.

  • towards an assl Specification Model for nasa swarm based exploration missions
    ACM Symposium on Applied Computing, 2008
    Co-Authors: Emil Vassev, Mike Hinchey, Joey Paque
    Abstract:

    NASA swarm-based exploration missions represent a new class of concept missions based on the cooperative nature of a hive culture. A mission of this class requires an autonomic system, comprising a set of autonomous mobile units. The design and implementation of such systems requires specific engineering approaches, including new formal Specification methods and techniques. This article presents an introduction to our research towards a formal Specification of NASA concept swarm-based missions. The Autonomic System Specification Language (ASSL) is a framework for formally specifying and generating autonomic systems. With ASSL, we can specify high-level behavior policies, as part of overall system behavior, which shows that ASSL is a very appropriate language for specifying the autonomic behavior of swarm-based missions. We show how ASSL can be used to specify self-configuring, self-healing, and safety properties of NASA swarm-based missions.

Nicholas C Kraus - One of the best experts on this subject based on the ideXlab platform.

  • two dimensional depth averaged circulation Model m2d version 2 0 report 1 technical documentation and user s guide
    This Digital Resource was created from scans of the Print Resource., 2004
    Co-Authors: Adele Militello, Christopher W Reed, Alan K Zundel, Nicholas C Kraus
    Abstract:

    Abstract : The two-dimensional (2-D) circulation Model M2D, developed under the Coastal Inlets Research Program conducted at the U.S. Army Engineer Research and Development Center, Coastal and Hydraulics Laboratory, has been designed for local applications, primarily at inlets, the nearshore, and bays. M2D is computationally efficient, easy to set up, and has features required for many coastal engineering applications including robust flooding and drying, wind-speed dependent (time-varying) wind-drag coefficient, variably- spaced boftom-fiction coefficient, time- and space-varying wave-stress forcing, efficient grid storage in memory, two hot-start options, and the convenience, through control statements, of independently turning on or off the advective terms and mixing terms. If wave information is available, such as through coupling with the STeady state spectral WAVE Model STwAVE, M2D will calculate wave friction and wave mixing. M2D can be coupled to regional circulation Models through boundary conditions providing flexibility for large-scale applications and connectivity between Models. A graphical interface for M2D has been implemented within the Surface-Water Modeling System (SMS) Versions 8.1 and higher. Features of the M2D interface are grid development, control file Specification, Model runs, post-processing of results, and visualization. M2D can be driven by larger-domain circulation Models, such as ADCIRC, through boundary Specification capabilities contained within the SMS. The Steering Module in SMS provides an automated means of coupling of M2D with STWAVE, which is convenient for projects that require wave-stress forcing for M2D as well as wave friction and mixing owing to breaking waves. The Steering Module allows the user to choose from seven possible coupling combinations, providing flexibility in conducting simulations of wave-driven currents and wave-current interaction.

  • two dimensional depth averaged circulation Model m2d version 2 0 report 1 technical documentation and user s guide
    This Digital Resource was created from scans of the Print Resource., 2004
    Co-Authors: Adele Militello, Christopher W Reed, Alan K Zundel, Nicholas C Kraus
    Abstract:

    Abstract : The two-dimensional (2-D) circulation Model M2D, developed under the Coastal Inlets Research Program conducted at the U.S. Army Engineer Research and Development Center, Coastal and Hydraulics Laboratory, has been designed for local applications, primarily at inlets, the nearshore, and bays. M2D is computationally efficient, easy to set up, and has features required for many coastal engineering applications including robust flooding and drying, wind-speed dependent (time-varying) wind-drag coefficient, variably- spaced boftom-fiction coefficient, time- and space-varying wave-stress forcing, efficient grid storage in memory, two hot-start options, and the convenience, through control statements, of independently turning on or off the advective terms and mixing terms. If wave information is available, such as through coupling with the STeady state spectral WAVE Model STwAVE, M2D will calculate wave friction and wave mixing. M2D can be coupled to regional circulation Models through boundary conditions providing flexibility for large-scale applications and connectivity between Models. A graphical interface for M2D has been implemented within the Surface-Water Modeling System (SMS) Versions 8.1 and higher. Features of the M2D interface are grid development, control file Specification, Model runs, post-processing of results, and visualization. M2D can be driven by larger-domain circulation Models, such as ADCIRC, through boundary Specification capabilities contained within the SMS. The Steering Module in SMS provides an automated means of coupling of M2D with STWAVE, which is convenient for projects that require wave-stress forcing for M2D as well as wave friction and mixing owing to breaking waves. The Steering Module allows the user to choose from seven possible coupling combinations, providing flexibility in conducting simulations of wave-driven currents and wave-current interaction.

Mike Hinchey - One of the best experts on this subject based on the ideXlab platform.

  • assl Specification of emergent self adapting behavior for nasa swarm based exploration missions
    Self-Adaptive and Self-Organizing Systems, 2008
    Co-Authors: Emil Vassev, Mike Hinchey
    Abstract:

    We describe a biologically-inspired approach to Modeling self-adapting behavior of NASA swarm-based exploration missions, whereby individual entities in the system can sacrifice themselves for the greater good of the entire system. We investigate aspects of possible emergent self-adapting behavior of swarm-based systems, inspired by the self-sacrifice behavior observed in some hive cultures. Moreover, we propose an ASSL Specification Model for the self-sacrifice behavior of the swarm individuals. ASSL (Autonomic System Specification Language) is a Specification language dedicated to autonomic systems, and with which we have been experimenting with some positive results.

  • towards an assl Specification Model for nasa swarm based exploration missions
    ACM Symposium on Applied Computing, 2008
    Co-Authors: Emil Vassev, Mike Hinchey, Joey Paque
    Abstract:

    NASA swarm-based exploration missions represent a new class of concept missions based on the cooperative nature of a hive culture. A mission of this class requires an autonomic system, comprising a set of autonomous mobile units. The design and implementation of such systems requires specific engineering approaches, including new formal Specification methods and techniques. This article presents an introduction to our research towards a formal Specification of NASA concept swarm-based missions. The Autonomic System Specification Language (ASSL) is a framework for formally specifying and generating autonomic systems. With ASSL, we can specify high-level behavior policies, as part of overall system behavior, which shows that ASSL is a very appropriate language for specifying the autonomic behavior of swarm-based missions. We show how ASSL can be used to specify self-configuring, self-healing, and safety properties of NASA swarm-based missions.

Jeannette M. Wing - One of the best experts on this subject based on the ideXlab platform.

  • Formal methods: state of the art and future directions
    ACM Computing Surveys, 1996
    Co-Authors: Edmund M. Clarke, Jeannette M. Wing
    Abstract:

    Hardware and software systems will inevitably grow in scale and functionality. Because of this increase in complexity, the likelihood of subtle errors is much greater. Moreover, some of these errors may cause catastrophic loss of money, time or even human life. A major goal of software engineering is to enable developers to construct systems that operate reliably despite this complexity. One way of achieving this goal is by using formal methods, which are mathematically based languages, techniques and tools for specifying and verifying such systems. Use of formal methods does not, a priori, guarantee correctness. However, they can greatly increase our understanding of a system by revealing inconsistencies, ambiguities and incompleteness that might otherwise go undetected. The first part of this report assesses the state of the art in Specification and verification. For verification, we highlight advances in Model checking and theorem proving. In the three sections on Specification, Model checking and theorem proving, we explain what we mean by the general technique and briefly describe some successful case studies and well-known tools. The second part of this report outlines future directions in fundamental concepts, new methods and tools, integration of methods, and education and technology transfer. We close with summary remarks and pointers to resources for more information