Object-oriented design

About: Object-oriented design is a research topic. Over the lifetime, 5136 publications have been published within this topic receiving 144108 citations.

Supporting multiple levels of criticality

Abstract: Current safety-critical embedded systems provide support for increasingly diverse and complex tasks, whose levels of criticality can be extremely different. Rather than validating all software to the highest level of confidence, it is more efficient to focus the validation effort on the most critical components. Consequently, it must be ensured that residual design faults in low criticality software cannot corrupt high criticality components. This paper defines an object-oriented integrity policy which ensures that such a property is enforced. Each object is assigned an integrity level related to its criticality. The policy defines rules to access the object methods so that no object can be corrupted by a lower integrity component. Several sorts of objects are accommodated, enabling safety-critical applications to be designed with great flexibility. This is illustrated by a prototype which is implemented on a CORBA-compliant distributed system.

Semantic Modeling of Places using Objects

Abstract: While robot mapping has seen massive strides recently, higher level abstractions in map representation are still not widespread Maps containing semantic concepts such as objects and labels are essential for many tasks in manmade environments as well as for human-robot interaction and map communication In keeping with this aim, we present a model for places using objects as the basic unit of representation Our model is a 3D extension of the constellation object model, popular in computer vision, in which the objects are modeled by their appearance and shape The 3D location of each object is maintained in a coordinate frame local to the place The individual object models are learned in a supervised manner using roughly segmented and labeled training images Stereo range data is used to compute 3D locations of the objects We use the Swendsen-Wang algorithm, a cluster MCMC method, to solve the correspondence problem between image features and objects during inference We provide a technique for building panoramic place models from multiple views of a location An algorithm for place recognition by comparing models is also provided Results are presented in the form of place models inferred in an indoor environmentWe envision the use of our place model as a building block towards a complete object-based semantic mapping system

Modeling the life cycle of individual data objects

Abstract: A method, as well as a computer program product that implements the method, is provided for user modeling, within a computer system, of a lifecycle of uniquely identified computer data objects that are members of a computer data object family. The method includes receiving a user-defined triggering event occurring in a software application system. The method also includes receiving user-defined permissible states for one or more object attributes that may be present for a uniquely identified computer data object that is a member of the data object family, as well as user-defined permissible transitions between the defined permissible states. The method also includes receiving a user-defined action to be performed on a uniquely identified computer data object that is a member of the computer data object family, when the user-defined triggering event occurs and causes a permissible state transition to occur.

Synchronizing transactions on objects

Abstract: A method is discussed for synchronizing operations on objects when the operations are invoked by transactions. The technique, which is motivated by a desire to make use of possible concurrency in accessing objects, takes into consideration the granularity at which operations affect an object. A dynamic method is presented for determining the compatibility of an invoked operation with respect to operations in progress. In making decisions, it utilizes the state of the object, the semantics of the uncommitted operations, the actual parameters of the invoked operation, and the effect of the operations on the objects. One of the attractive features of this technique is that a single framework can be used to deal with the problem of synchronizing access to simple objects as well as compound objects, i.e. objects in which some components are themselves objects. >