Search Results - "Hinchey, M.G."

Autonomous and autonomic systems: a paradigm for future space exploration missions by Truszkowski, W.F., Hinchey, M.G., Rash, J.L., Rouff, C.A.

“…More and more, the National Aeronautics and Space Administration (NASA) will rely on concepts from autonomous systems not only in mission control centers on…”
Get full text

Swarms and Swarm Intelligence by Hinchey, M.G., Sterritt, R., Rouff, C.

“…Nature-inspired intelligent swarm technologies deals with complex problems that might be impossible to solve using traditional technologies and approaches…”
Get full text

Self-managing software by Hinchey, M.G., Sterritt, R.

“…Software has become pervasive. Despite this success and expansion into daily life, there have, of course, been a number of software-related disasters and…”
Get full text

Ten Commandments of Formal Methods ...Ten Years Later by Bowen, J.P., Hinchey, M.G.

“…How have the formal methods commandments fared over the past decade? Are they still valid in the current industrial setting, and have attitudes toward formal…”
Get full text

Ten commandments of formal methods by Bowen, J.P., Hinchey, M.G.

“…Producing correct, reliable software in systems of ever increasing complexity is a problem with no immediate end in sight. The software industry suffers from a…”
Get full text

Seven more myths of formal methods by Bowen, J.P., Hinchey, M.G.

“…New myths about formal methods are gaining tacit acceptance both outside and inside the system-development community. The authors address and dispel these…”
Get full text

Challenges of Developing New Classes of NASA Self-Managing Missions by Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C.A., Sterritt, R.

“…NASA is proposing increasingly complex missions that require a high degree of autonomy and autonomicity. These missions pose hereto unforeseen problems and…”
Get full text

Enabling requirements-based programming for highly-dependable complex parallel and distributed systems by Hinchey, M.G., Rash, J.L., Rouff, C.A.

“…The manual application of formal methods in system specification has produced successes, but in the end, despite any claims and assertions by practitioners,…”
Get full text

Towards Autonomic Management of NASA Missions by Rouff, C.A., Hinchey, M.G., Rash, J.L., Truszkowski, W.F.

“…Increasingly, NASA relies on autonomous systems concepts, not only in the mission control centers on the ground, but also on spacecraft and on rovers and other…”
Get full text

Biologically-inspired concepts for self-management of complexity by Sterritt, R., Hinchey, M.G.

“…Inherent complexity in large-scale applications may be impossible to eliminate or even ameliorate despite a number of promising advances. In such cases, the…”
Get full text

Increasing resiliency through priority scheduling of asynchronous data replication by Adams, K.P., Gracanin, D., Hinchey, M.G.

“…Distributed systems commonly replicate data to enhance system dependability. In such systems, a logical update on a data item results in a physical update on a…”
Get full text

Visual methods in real-time programming by Hinchey, M.G.

“…It is widely accepted that visual programming techniques can offer increased productivity and reduced costs during the programming stage of real-time systems…”
Get full text

99% (Biological) Inspiration by Hinchey, M.G., Sterritt, R.

“…Greater understanding of biology in modern times has enabled significant breakthroughs in improving healthcare, quality of life, and eliminating many diseases…”
Get full text

Formal methods for system specification by Hinchey, M.G.

“…Formal methods for system specification are described. The notation used in formal methods, called a formal specification language, is discussed. The deductive…”
Get full text

Asteroid Exploration with Autonomic Systems A Biologically-Inspired Approach based on the Immunological System by Florez-Choque, O., Hinchey, M.G.

“…We outline a potential approach to the development of future autonomic NASA space exploration missions. The approach is quite different from other efforts to…”
Get full text

Using Formal Methods and Agent-Oriented Software Engineering for Modeling NASA Swarm-Based Systems by Rouff, C.A., Hinchey, M.G., Pena, J., Ruiz-Cortes, A.

“…NASA is conducting research on advanced technologies for future exploration using intelligent swarms of robotic vehicles. One of these missions is the…”
Get full text

A Model-Driven Architecture Approach for Modeling, Specifying and Deploying Policies in Autonomous and Autonomic Systems by Pena, J., Hinchey, M.G., Sterritt, R., Ruiz-Cortes, A., Resinas, M.

“…Autonomic computing (AC), self-management based on high level guidance from humans, is increasingly gaining momentum as the way forward in designing reliable…”
Get full text

You Can't Get There From Here! Problems and Potential Solutions in Developing New Classes of Complex Computer Systems by Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Sterritt, R., Rouff, C.A.

“…The explosion of capabilities and new products within the sphere of Information Technology (IT) has fostered widespread, overly optimistic opinions regarding…”
Get full text

A formal approach to requirements-based programming by Hinchey, M.G., Rash, J.L., Rouff, C.A.

“…No significant general-purpose method is currently available to mechanically transform system requirements into a provably equivalent model. The widespread use…”
Get full text

Formally specifying real-time Ada software by Hinchey, M.G.

“…A formal design method, based on an extended version of Receptive Process Theory, which is suitable for use in the design of real-time systems is described…”
Get full text