POLICY REQUIREMENTS IN THE SEVENTIES: A FARMER'S VIEWPOINT

Agricultural and Food Policy,

Viewpoint consistency in Z and LOTOS: A case study

Specification by viewpoints is advocated as a suitable method of specifying complex systems. Each viewpoint describes the envisaged system from a particular perspective, using concepts and specification languages best suited for that perspective. Inherent in any viewpoint approach is the need to check or manage the consistency of viewpoints and to show that the different viewpoints do not impose contradictory requirements. In previous work we have described a range of techniques for consistency checking, refinement, and translation between viewpoint specifications, in particular for the languages LOTOS and Z. These two languages are advocated in a particular viewpoint model, viz. that of the Open Distributed Processing (ODP) reference model. In this paper we present a case study which demonstrates how all these techniques can be combined in order to show consistency between a viewpoint specified in LOTOS and one specified in Z. Keywords: Viewpoints; Consistency; Z; LOTOS; ODP

Next-generation viewpoint-based environments

This paper discusses the notion of, and outlines requirements for Viewpoint-based Environments. These are next-generation CASE environments, which support the specification of requirements from multiple perspectives or so-called viewpoints. Requirements for such environments are mainly concerned with the detection and management of interference between viewpoints. Viewpoint-based Environments should also support the cooperation of multiple developers and maintain development histories in terms of multiple viewpoint versions. We briefly sketch an architecture for such environments and outline a research agenda for developing them

Design of the materials experiment carrier for on-orbit servicing

This paper discussed the MEC system and its mission from the viewpoint of orbit servicing. Information is provided on MEC system requirements, design for on orbit servicing, on orbit servicing operations and rationale and servicing costs

Access Control Synthesis for Physical Spaces

Access-control requirements for physical spaces, like office buildings and airports, are best formulated from a global viewpoint in terms of system-wide requirements. For example, "there is an authorized path to exit the building from every room." In contrast, individual access-control components, such as doors and turnstiles, can only enforce local policies, specifying when the component may open. In practice, the gap between the system-wide, global requirements and the many local policies is bridged manually, which is tedious, error-prone, and scales poorly. We propose a framework to automatically synthesize local access control policies from a set of global requirements for physical spaces. Our framework consists of an expressive language to specify both global requirements and physical spaces, and an algorithm for synthesizing local, attribute-based policies from the global specification. We empirically demonstrate the framework's effectiveness on three substantial case studies. The studies demonstrate that access control synthesis is practical even for complex physical spaces, such as airports, with many interrelated security requirements

Interest point detectors for visual SLAM

In this paper we present several interest points detectors and we analyze their suitability when used as landmark extractors for vision-based simultaneous localization and mapping (vSLAM). For this purpose, we evaluate the detectors according to their repeatability under changes in viewpoint and scale. These are the desired requirements for visual landmarks. Several experiments were carried out using sequence of images captured with high precision. The sequences represent planar objects as well as 3D scenes

Satellite-aided land mobile communications system implementation considerations

It was proposed that a satellite-based land mobile radio system could effectively extend the terrestrial cellular mobile system into rural and remote areas. The market, technical and economic feasibility for such a system is studied. Some of the aspects of implementing an operational mobile-satellite system are discussed. In particular, two key factors in implementation are examined: (1) bandwidth requirements; and (2) frequency sharing. Bandwidth requirements are derived based on the satellite antenna requirements, modulation characteristics and numbers of subscribers. Design trade-offs for the satellite system and potential implementation scenarios are identified. Frequency sharing is examined from a power flux density and modulation viewpoint

A feasibility assessment of installation, operation and disposal options for nuclear reactor power system concepts for a NASA growth space station

A preliminary feasibility assessment of the integration of reactor power system concepts with a projected growth space station architecture was conducted to address a variety of installation, operational disposition, and safety issues. A previous NASA sponsored study, which showed the advantages of space station - attached concepts, served as the basis for this study. A study methodology was defined and implemented to assess compatible combinations of reactor power installation concepts, disposal destinations, and propulsion methods. Three installation concepts that met a set of integration criteria were characterized from a configuration and operational viewpoint, with end-of-life disposal mass identified. Disposal destinations that met current aerospace nuclear safety criteria were identified and characterized from an operational and energy requirements viewpoint, with delta-V energy requirement as a key parameter. Chemical propulsion methods that met current and near-term application criteria were identified and payload mass and delta-V capabilities were characterized. These capabilities were matched against concept disposal mass and destination delta-V requirements to provide the feasibility of each combination