The Society of Automotive Engineers (SAE) Architecture Analysis & Design Language, AS5506, provides a means for the formal specification of the hardware and software architecture of embedded computer systems and system of systems. It was designed to support a full Model Based Development lifecycle including system specification, analysis, system tuning, integration, and upgrade over the lifecycle. It was designed to support the integration of multiple forms of analyses and to be extensible in a standard way for additional analysis approaches. A system can be automatically integrated from AADL models when fully specified and when source code is provided for the software components. Analysis of large complex systems has been demonstrated in the avionics domain.

In previous work, we have presented a novel global feasibility solver for the large system of quadratic constraints that arise as sub-problems in the solving of hard hybrid problems, such as the scheduling of refineries. In this paper we present the Gradient Optimal Constraint Equation Subdivision (GOCES) algorithm, which incorporates a standard NLP solver and the global feasibility solver to find and establish global optimums for systems of quadratic equations, and present benchmarks.

pddl was originally conceived and constructed as a lingua franca for the International Planning Competition. pddl2.1 embodies a set of extensions intended to support the expression of something closer to “real planning problems.” This objective has only been partially achieved, due in large part to a deliberate focus on not moving too far from classical planning models and solution methods.

Today, nearly one out of four households contain a family caregiver for someone over 50 years of age (MetLife, 2001). Nearly two-thirds of family caregivers work full or part-time, and over half of these caregivers report that they have had to make some sort of workplace accommodation, such as coming in late to work or leaving early, dropping back to part-time, turning down a promotion, choosing early retirement, or giving up work entirely to provide care. A key element in handling this explosion of the need for care is providing new products and services that allow individuals to cost effectively remain self-sufficient and continue to live in their own homes. Technology advances in sensors and communications has long promised to provide some of these capabilities. However, to date many of these needs remain unmet. We explore several dimensions of this issue looking at obstacles to technology insertion as well as the multiple motivators advocating solutions. We review a taxonomy of several systems that have been deployed into the market space and assess new trends. We conclude with recommendations for research that will drive the development of these enabling technologies.

Methods and systems are provided for enhancing the air quality in buildings during a chemical and/or biological attack and/or when the air quality around a building drops to unacceptable levels. Preferably, relatively non-contaminated (clean) air is stored in one or more clean air reservoirs. Once stored, the clean air is selectively delivered to buildings when a chemical and/or biological attack is detected, and/or when the air quality around a building drops to unacceptable levels.

We present a compositional approach to generate linear hybrid automata timing models, and Markovian stochastic automata safety models, from an architecture specification. Formal models declared for components are composed to form an overall model for the system, where the composition rules depend on the semantics of the architecture specification. We further allow abstract models to be specified for a subsystem of components, where the abstract model may be substituted for the concrete model of that subsystem when composing the overall system model. We assume both abstract and concrete models are given, we address the problem of verifying that the abstractions yield safe if approximate results. An abstract model may be viewed as a formal subsystem specification used for both conformance checking and improving the tractability of system analysis.

This report is the outcome of an investigation, funded by NASA’s Intelligent Systems program, into methods and means for using compiled automation to speed the development and deployment of increasingly autonomous spacecraft. Many NASA missions currently being planned or under study will require the deployment of an autonomous or semi-autonomous vehicle, which may be a deep-space probe (e.g., Galileo), a planetary rover (e.g., MER), or a lander (e.g., SAGE). Other missions may be possible without a greatly increased level of autonomy, but would still benefit from reduced operating costs, increased safety, and possibly greater science return, should that increased level of autonomy be practicable.

A system and method for providing ontology objects for use in a metamodeling environment is disclosed herein. The method comprises (a) providing a framework for creating a metamodel, wherein the metamodel comprises one or more entities, relationships, and semantics and the framework accepts input from a user to create the entities, relationships, and semantics, (b) generating ontology objects, wherein the ontology objects comprise source code for one or more classes, and wherein each class corresponds to one of the entities; and (c) compiling the source code. Further, the method may comprise detecting that a change has been made to the metamodel, updating the ontology objects to reflect the change to the metamodel, wherein updating the ontology objects comprises generating new source code for one or more classes; and compiling the new source code.

US Patent Number 2005/0091036 A1
A natural language parser creates parsed commands or output for an external system from user commands entered on a user interface. The parser utilizes symbols arranged in an object-oriented hierarchical manner, and a grammar information and state table to constrain language inputs so that they conform to requirements of the external system. The parser provides feedback to the user via the user interface to assist in the formation of valid output to the external system and reduce the complexity for the user. The parser may be applied to the field of control systems in general, as well as a flight control system for an aircraft.

US Patent Number 2005/0091601 A1
An interaction design system (12) may be used by a designer to design a user interface. The designer supplies the interaction design system with a domain model (22) that contains information characterizing an application in a domain, a user model (24) that contains information characterizing the users of the user interface, a task model (26) that contains task primitives to be performed between the user and the user interface and the type of information required by the task primitives, and a device model (28) that contains information characterizing the interaction delivery devices that are available to deliver the user interface. The interaction design system (10) then matches the interaction delivery devices in the device model (28) to the type of information required by the task primitives and to the information characterizing the users, matches presentation objects (30) to the task primitives and to the information of the domain model (22), and generates the user interface based on the matches (32).