Search For:

Displaying 1-36 out of 36 total
Knowledge Representation and Reasoning for Intelligent Software Systems
Found in: Computer
By Emil Vassev,Mike Hinchey
Issue Date:August 2011
pp. 96-99
A successful intelligent software system employs its knowledge to become more self-aware.
 
Autonomy Requirements Engineering
Found in: Computer
By Emil Vassev,Mike Hinchey
Issue Date:August 2013
pp. 82-84
Using autonomy requirements engineering, software developers can determine what autonomic features to develop for a particular system as well as what artifacts that process might generate.
 
Awareness in Software-Intensive Systems
Found in: Computer
By Emil Vassev,Mike Hinchey
Issue Date:December 2012
pp. 84-87
Closely related to artificial Intelligence, awareness depends on the knowledge transferred to software-intensive systems so they can use it to exhibit intelligence.
 
Knowledge Representation for Cognitive Robotic Systems
Found in: Object/Component/Service-Oriented Real-Time Distributed Computing Workshops , IEEE International Symposium on
By Emil Vassev,Mike Hinchey
Issue Date:April 2012
pp. 156-163
Cognitive robotics are autonomous systems capable of artificial reasoning. Such systems can be achieved with a logical approach, but still AI struggles to connect the abstract logic with real-world meanings. Knowledge representation and reasoning help to r...
 
Swarm Technology at NASA: Building Resilient Systems
Found in: IT Professional
By Emil Vassev,Roy Sterritt,Christopher Rouff,Mike Hinchey
Issue Date:March 2012
pp. 36-42
Developing space systems is a complex task, driven by standards and safety requirements to ensure reliability of sophisticated hardware and software. Future NASA missions will focus on the development of swarm-based spacecraft systems comprising multiple s...
 
Self-Awareness in Autonomous Nano-Technology Swarm Missions
Found in: Self-Adaptive and Self-Organizing Systems Workshops, IEEE International Conference on
By Emil Vassev,Mike Hinchey
Issue Date:October 2011
pp. 133-136
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 to operate autonomously and the...
 
An ASSL Approach to Handling Uncertainty in Self-adaptive Systems
Found in: Software Engineering Workshop, Annual IEEE/NASA Goddard
By Emil Vassev,Mike Hinchey,Dharini Balasubramaniam,Simon Dobson
Issue Date:June 2011
pp. 11-18
Both modularity and loose-coupling properties inherent to the self-adaptive systems offer the opportunity for ad-hoc service compositions, dynamic change and adaptation. To provide such a dynamic and self-adapting behavior, developers emphasize special sel...
 
Energy Efficiency with Runtime Models for Energy-aware Embedded Systems
Found in: Software Engineering Workshop, Annual IEEE/NASA Goddard
By Zdravko Karakehayov,Emil Vassev
Issue Date:June 2011
pp. 106-111
Reducing power consumption is an important design objective in energy-constrained embedded and mobile systems. Such systems must be designed to meet functional and often timing requirements facing the challenge of energy restriction. This paper presents a ...
 
Knowledge Representation and Awareness in Autonomic Service-Component Ensembles - State of the Art
Found in: Object/Component/Service-Oriented Real-Time Distributed Computing Workshops , IEEE International Symposium on
By Emil Vassev, Mike Hinchey
Issue Date:March 2011
pp. 110-119
Knowledge is the source of intelligence and both knowledge representation and knowledge management are crucial for intelligent systems. Well employed knowledge helps such systems become aware of situations, recognize states and eventually respond to change...
 
The Challenge of Developing Autonomic Systems
Found in: Computer
By Emil Vassev,Mike Hinchey
Issue Date:December 2010
pp. 93-96
Different implementations of awareness for intelligent systems can prove useful in developing autonomic systems such as commercially available server monitoring platforms.
 
Automated Test Case Generation of Self-Managing Policies for NASA Prototype Missions Developed with ASSL
Found in: Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
By Emil Vassev, Mike Hinchey, Paddy Nixon
Issue Date:August 2010
pp. 3-8
Self-managing policies provide a self-management behavior for autonomic systems developed with ASSL (Autonomic System Specification Language). With ASSL we have successfully developed special autonomic prototypes of both the NASA ANTS (Autonomous Nano-Tech...
 
The Art of Developing Autonomic Systems - The ASSL Approach
Found in: Theoretical Aspects of Software Engineering, Joint IEEE/IFIP Symposium on
By Mike Hinchey, Emil Vassev
Issue Date:August 2010
pp. 9-12
Autonomic Computing (AC) [1], [2] is a rapidly growing. IT field that promises a new approach to developing large scale complex computing systems. AC was originally introduced by IBM Research to draw an analogy between computing systems and the human body’...
 
An Operational Semantics for ASSL
Found in: Software Engineering Research, Management and Applications, ACIS International Conference on
By Emil Vassev
Issue Date:May 2010
pp. 77-84
This paper presents an operational semantics for ASSL (Autonomic System Specification Language). ASSL is a promising new formal language dedicated to the development of systems exploiting the benefits of autonomic computing, a highly-regarded technique in ...
 
Developing Self-Managing Embedded Systems with ASSL
Found in: Object/Component/Service-Oriented Real-Time Distributed Computing Workshops , IEEE International Symposium on
By Emil Vassev, Mike Hinchey
Issue Date:May 2010
pp. 81-89
This research targets formal modeling of embedded systems capable of self-management. In our approach, we use the ASSL (Autonomic System Specification Language) framework as a development environment, where self-management features of embedded systems are ...
 
Extracting Component-Oriented Behaviour for Self-Healing Enabling
Found in: Engineering of Autonomic and Autonomous Systems, IEEE International Workshop on
By Marco Bakera, Christian Wagner, Tiziana Margaria, Emil Vassev, Mike Hinchey, Bernhard Steffen
Issue Date:March 2010
pp. 152-161
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 been used successfully to investigat...
 
Complexity Reduction in Developing Autonomic Systems with ASSL
Found in: Software Engineering Workshop, Annual IEEE/NASA Goddard
By Emil Vassev, Mike Hinchey
Issue Date:October 2009
pp. 87-93
Autonomic computing promises overall IT complexity reduction by hiding system complexity and intricacy via systems capable of self-management. However, despite the fact that such systems reduce software maintenance costs and complexity, the autonomic compu...
 
Self-Forensics Through Case Studies of Small-to-Medium Software Systems
Found in: IT Security Incident Management and IT Forensics, International Conference on
By Serguei A. Mokhov, Emil Vassev
Issue Date:September 2009
pp. 128-141
The notion and definition of self-forensics was introduced by Mokhov to encompass software and hardware capabilities for autonomic and other systems to record their own states, events, and others encoded in a forensic form suitable for (potentially automat...
 
Modeling the Image-Processing Behavior of the NASA Voyager Mission with ASSL
Found in: Space Mission Challenges for Information Technology, IEEE International Conference on
By Emil Vassev, Mike Hinchey
Issue Date:July 2009
pp. 246-253
NASA exploration missions increasingly rely on the concepts of autonomic computing, exploiting these to increase the survivability of remote missions, particularly when human tending is not feasible. This paper presents initial results of long-term researc...
 
ASSL: A Software Engineering Approach to Autonomic Computing
Found in: Computer
By Emil Vassev, Mike Hinchey
Issue Date:May 2009
pp. 90-93
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
Found in: Engineering of Autonomic and Autonomous Systems, IEEE International Workshop on
By Emil Vassev, Mike Hinchey
Issue Date:April 2009
pp. 77-86
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 behavior model for NASA swarm-based ex...
 
ASSL Specification of Emergent Self-Adapting Behavior for NASA Swarm-Based Exploration Missions
Found in: Self-Adaptive and Self-Organizing Systems Workshops, IEEE International Conference on
By Emil Vassev, Mike Hinchey
Issue Date:October 2008
pp. 13-18
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 o...
 
An Emergent Self-Adapting Behavior Model for NASA Swarm-Based Exploration Missions
Found in: Self-Adaptive and Self-Organizing Systems, IEEE International Conference on
By Emil Vassev, Mike Hinchey
Issue Date:October 2008
pp. 473-474
We describe a biologically-inspired approach to modeling self-adapting behavior for NASA swarm-based exploration missions, whereby individuals can sacrifice themselves for the greater good of the entire system. Our approach is inspired by the self-sacrific...
 
A Self-Scheduling Model for NASA Swarm-Based Exploration Missions Using ASSL
Found in: Engineering of Autonomic and Autonomous Systems, IEEE International Workshop on
By Emil Vassev, Mike Hinchey, Joey Paquet
Issue Date:April 2008
pp. 54-64
This article presents our research towards a self-scheduling mechanism for the NASA swarm-based exploration missions. By its virtue, ANTS (Autonomous Nano Technology Swarm) is considered to be an autonomic system with autonomic behavior that constitutes a ...
 
Towards Autonomic GIPSY
Found in: Engineering of Autonomic and Autonomous Systems, IEEE International Workshop on
By Emil Vassev, Joey Paquet
Issue Date:April 2008
pp. 25-34
The goal of the autonomic GIPSY (AGIPSY) is to make the General Intensional Programming System (GIPSY) capable of self-managing to a far greater extent than it does it now. This paper presents the AGIPSY architecture for autonomic computing based on multip...
 
Towards an Autonomic Element Architecture for ASSL
Found in: Software Engineering for Adaptive and Self-Managing Systems, International Workshop on
By Emil Vassev, Joey Paquet
Issue Date:May 2007
pp. 4
This article is an introduction to our research towards a new generic architecture model for autonomic elements. In this article, we present briefly the Autonomic System Specification Language (ASSL) framework, which emphasizes the new architecture model. ...
 
ASSL - Autonomic System Specification Language
Found in: Software Engineering Workshop, Annual IEEE/NASA Goddard
By Emil Vassev, Joey Paquet
Issue Date:March 2007
pp. 300-309
This article is an overview of the Autonomic System Specification Language (ASSL). ASSL is a framework for formally specifying and generating autonomic systems. The latter are specified as formal executable models with an interaction protocol and autonomic...
 
Autonomy requirements engineering: a case study on the BepiColombo mission
Found in: Proceedings of the International C* Conference on Computer Science and Software Engineering (C3S2E '13)
By Emil Vassev, Mike Hinchey
Issue Date:July 2013
pp. 31-41
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 challenges the autonomous spacecraf...
     
Knowledge representation for self-adaptive behavior
Found in: Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering (C3S2E '12)
By Benoit Gaudin, Emil Vassev, Mike Hinchey
Issue Date:June 2012
pp. 113-117
An autonomic system is considered to be a self-adaptive system that changes its behavior in response to stimuli from its execution and operational environment. Such behavior is considered autonomic and self-adaptive and is intended to drive intelligent sys...
     
Soft constraints for KnowLang
Found in: Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering (C3S2E '12)
By Emil Vassev, Ugo Montanari
Issue Date:June 2012
pp. 99-103
Constraints are widely used in information technologies and research fields such as programming languages, artificial intelligence, databases, information security, web technologies, etc. In this paper, we present our preliminary steps of using soft constr...
     
Requirements and initial model for KnowLang: a language for knowledge representation in autonomic service-component ensembles
Found in: Proceedings of The Fourth International C* Conference on Computer Science and Software Engineering (C3S2E '11)
By Benoit Gaudin, Emil Vassev, Mike Hinchey, Paddy Nixon
Issue Date:May 2011
pp. 35-42
Autonomic Service-Component Ensembles (ASCENS) is a class of multi-agent systems formed as mobile, intelligent and open-ended swarms of special autonomic service components capable of local and distributed reasoning. Such components encapsulate rules, cons...
     
Towards a self-forensics property in the ASSL toolset
Found in: Proceedings of the Third C* Conference on Computer Science and Software Engineering (C3S2E '10)
By Emil Vassev, Joey Paquet, Mourad Debbabi, Serguei A. Mokhov
Issue Date:May 2010
pp. 108-113
This preliminary conceptual work discusses a notion of self-forensics as an autonomic property to augment the Autonomic System Specification Language (ASSL) framework of formal specification tools for autonomic systems. The core of the proposed methodology...
     
Rapid prototyping and development of intelligent sensor networks with ASSL and DMF
Found in: Proceedings of the Third C* Conference on Computer Science and Software Engineering (C3S2E '10)
By Emil Vassev, Mike Hinchey
Issue Date:May 2010
pp. 75-83
Sensor networks have inspired a wide spectrum of novel applications in environmental monitoring, homeland security, object tracking, and home automation. Smart sensors are connected together to collect and process data needed to accomplish high-level tasks...
     
Developing intelligent sensor networks: a technological convergence approach
Found in: Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications (SESENA '10)
By Emil Vassev, Mike Hinchey, Paddy Nixon
Issue Date:May 2010
pp. 66-71
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 DMF (Demand Migration Framework) to ...
     
Autonomic specification of self-protection for distributed MARF with ASSL
Found in: Proceedings of the 2009 C3S2E conference (C3S2E '09)
By Emil Vassev, Serguei A. Mokhov
Issue Date:May 2009
pp. 1-7
This paper presents practical results of our endeavor towards formal specification and code generation of the Autonomic Distributed Modular Audio Recognition Framework (AD-MARF) system. We used the Autonomic System Specification Language (ASSL) to design a...
     
An ASSL-generated architecture for autonomic systems
Found in: Proceedings of the 2009 C3S2E conference (C3S2E '09)
By Emil Vassev, Serguei A. Mokhov
Issue Date:May 2009
pp. 1-7
The Autonomic System Specification Language (ASSL) is an initiative for the development of autonomic systems where we approach the problem of formal specification, validation, and code generation of such systems within a framework. ASSL generates an operat...
     
Towards an ASSL specification model for NASA swarm-based exploration missions
Found in: Proceedings of the 2008 ACM symposium on Applied computing (SAC '08)
By Emil Vassev, Joey Paquet, Mike Hinchey
Issue Date:March 2008
pp. 28-34
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 implementat...
     
 1