ARIES: Acquisition of Requirements and Incremental Evolution of Specifications

This paper describes a requirements/specification environment specifically designed for large-scale software systems. This environment is called ARIES (Acquisition of Requirements and Incremental Evolution of Specifications). ARIES provides assistance to requirements analysts for developing operational specifications of systems. This development begins with the acquisition of informal system requirements. The requirements are then formalized and gradually elaborated (transformed) into formal and complete specifications. ARIES provides guidance to the user in validating formal requirements by translating them into natural language representations and graphical diagrams. ARIES also provides ways of analyzing the specification to ensure that it is correct, e.g., testing the specification against a running simulation of the system to be built. Another important ARIES feature, especially when developing large systems, is the sharing and reuse of requirements knowledge. This leads to much less duplication of effort. ARIES combines all of its features in a single environment that makes the process of capturing a formal specification quicker and easier

SAI: safety application identifier algorithm at MAC layer for vehicular safety message dissemination over LTE VANET networks

Vehicular safety applications have much significance in preventing road accidents and fatalities. Among others, cellular networks have been under investigation for the procurement of these applications subject to stringent requirements for latency, transmission parameters, and successful delivery of messages. Earlier contributions have studied utilization of Long-Term Evolution (LTE) under single cell, Friis radio, or simplified higher layer. In this paper, we study the utilization of LTE under multicell and multipath fading environment and introduce the use of adaptive awareness range. Then, we propose an algorithm that uses the concept of quality of service (QoS) class identifiers (QCIs) along with dynamic adaptive awareness range. Furthermore, we investigate the impact of background traffic on the proposed algorithm. Finally, we utilize medium access control (MAC) layer elements in order to fulfill vehicular application requirements through extensive system-level simulations. The results show that, by using an awareness range of up to 250 m, the LTE system is capable of fulfilling the safety application requirements for up to 10 beacons/s with 150 vehicles in an area of 2 × 2 km2. The urban vehicular radio environment has a significant impact and decreases the probability for end-to-end delay to be ≤100 ms from 93%–97% to 76%–78% compared to the Friis radio environment. The proposed algorithm reduces the amount of vehicular application traffic from 21 Mbps to 13 Mbps, while improving the probability of end-to-end delay being ≤100 ms by 20%. Lastly, use of MAC layer control elements brings the processing of messages towards the edge of network increasing capacity of the system by about 50%

A Tale of Two Animats: What does it take to have goals?

What does it take for a system, biological or not, to have goals? Here, this question is approached in the context of in silico artificial evolution. By examining the informational and causal properties of artificial organisms ('animats') controlled by small, adaptive neural networks (Markov Brains), this essay discusses necessary requirements for intrinsic information, autonomy, and meaning. The focus lies on comparing two types of Markov Brains that evolved in the same simple environment: one with purely feedforward connections between its elements, the other with an integrated set of elements that causally constrain each other. While both types of brains 'process' information about their environment and are equally fit, only the integrated one forms a causally autonomous entity above a background of external influences. This suggests that to assess whether goals are meaningful for a system itself, it is important to understand what the system is, rather than what it does.Comment: This article is a contribution to the FQXi 2016-2017 essay contest "Wandering Towards a Goal

Spacecraft Requirements Development and Tailoring

Spacecraft design is managed through the use of design requirements. Requirements are flowed from the highest level, the overall spacecraft, to systems, subsystems and ultimately individual components. Through the use of requirements, each part of the spacecraft will perform the functions that are required of it and will interface to the rest of the spacecraft. Functional requirements are used to make sure every component performs as expected and interface requirements ensure that each component works within the larger design environment where it operates. Writing good requirements is difficult and the verification of requirements can be expensive and time consuming. Because of this difficulty and expense, it is important that each requirement truly be required and critical to the overall performance of the vehicle. It is also important that requirements can be changed or eliminated as the system matures to minimize verification cost and schedule. The Capsule Parachute Assembly System (CPAS) Project is developing the parachute system for the NASA Multi-Purpose Crew Vehicle (MPCV) Orion Spacecraft. Throughout the development and qualification cycle for CPAS, requirements have been evaluated, added, eliminated, or more generically, tailored, to ensure that the system performs as required while minimizing the verification cost to the Program. One facet of this tailoring has been to delete requirements that do not add value to the overall spacecraft or are not needed. A second approach to minimize the cost of requirement verification has been to evaluate requirements based on the actual design as it has matured. As the design of the parachute system has become better understood, requirements that are not applicable have been eliminated. This paper will outline the evolution of CPAS requirements over time and will show how careful and considered changes to requirements can benefit the technical solution for the overall system design while allowing a Project to control costs

Developing a Mobile Learning Environment: An Axiomatic Approach

A new mobile environment for learning has been designed via an axiomatic approach. And by simultaneously designing both tools (software) and processes (pedagogy), the resulting environment matches the functional requirements of the instructional program. This paper describes the axioms established for mobile learning as well as development of the mobile computing environment. The paper discusses the developmental evolution and system architecture as well as the requirements of the portable training programs being offered via this new system. Apps are designed to connect learners, instructors and practitioners as well as to facilitate collaborative learning from a variety of mobile devices, anywhere in the World. Future content, apps and systems development will connect the physical and virtual environments, in order to truly enhance the mobile learning experience for people on the move

Decoherence due to contacts in ballistic nanostructures

The active region of a ballistic nanostructure is an open quantum-mechanical system, whose nonunitary evolution (decoherence) towards a nonequilibrium steady state is determined by carrier injection from the contacts. The purpose of this paper is to provide a simple theoretical description of the contact-induced decoherence in ballistic nanostructures, which is established within the framework of the open systems theory. The active region's evolution in the presence of contacts is generally non-Markovian. However, if the contacts' energy relaxation due to electron-electron scattering is sufficiently fast, then the contacts can be considered memoryless on timescales coarsened over their energy relaxation time, and the evolution of the current-limiting active region can be considered Markovian. Therefore, we first derive a general Markovian map in the presence of a memoryless environment, by coarse-graining the exact short-time non-Markovian dynamics of an abstract open system over the environment memory-loss time, and we give the requirements for the validity of this map. We then introduce a model contact-active region interaction that describes carrier injection from the contacts for a generic two-terminal ballistic nanostructure. Starting from this model interaction and using the Markovian dynamics derived by coarse-graining over the effective memory-loss time of the contacts, we derive the formulas for the nonequilibrium steady-state distribution functions of the forward and backward propagating states in the nanostructure's active region. On the example of a double-barrier tunneling structure, the present approach yields an I-V curve with all the prominent resonant features. The relationship to the Landauer-B\"{u}ttiker formalism is also discussed, as well as the inclusion of scattering.Comment: Published versio

Method for optimal configuration of an ECLSS on the Space Station Freedom

The establishment of a permanently manned Space Station represents a substantial challenge in the design of a life support system, specifically in the need to supply a large crew for missions of extended duration. The Space Station will evolve by time phased modular increments delivered and supplied by the Space Shuttle and other advanced launch systems. With the addition of each subsequent phase or alteration of mission duties, the requirements of the Station may differ from previous phases of development. With the addition of future crews and pressurized volume throughout the lifetime of the Space Station, change-out of individual subsystems may be necessary in order to meet the performance, safety, and reliability levels required from the Environmental Control and Life Support System (ECLSS). The analysis of this system growth demands the capability for advanced, integrated assessment techniques so that the unique mission drivers during each phase and mission scenario may be identified and evaluated. In order to determine the impacts of the interdependency between the ECLSS, the crew, the various user experiments, and the other distributed systems, consideration must be given to all Space Station resources and requirements during the initial and subsequent evolution phase. Therefore, it is necessary for analysis efforts to study the long term effects of established designs. These studies must quantify the optimal degree of loop closure within the capabilities of existing and future technologies including any resulting maintenance and logistics requirements. In addition, the necessity for subsystem retrofit during the lifetime of the Station must be examined. The source of system requirements due to long term exposure to the microgravity environment is illustrated, the criticality of the ECLSS functions is reviewed, and a method is described to develop an optimal design during each configuration based on the cross-consumption of Station resources. A comparison utilizing this procedure is discussed

Dynamical control of qubit coherence: Random versus deterministic schemes

We revisit the problem of switching off unwanted phase evolution and decoherence in a single two-state quantum system in the light of recent results on random dynamical decoupling methods [L. Viola and E. Knill, Phys. Rev. Lett. {\bf 94}, 060502 (2005)]. A systematic comparison with standard cyclic decoupling is effected for a variety of dynamical regimes, including the case of both semiclassical and fully quantum decoherence models. In particular, exact analytical expressions are derived for randomized control of decoherence from a bosonic environment. We investigate quantitatively control protocols based on purely deterministic, purely random, as well as hybrid design, and identify their relative merits and weaknesses at improving system performance. We find that for time-independent systems, hybrid protocols tend to perform better than pure random and may improve over standard asymmetric schemes, whereas random protocols can be considerably more stable against fluctuations in the system parameters. Beside shedding light on the physical requirements underlying randomized control, our analysis further demonstrates the potential for explicit control settings where the latter may significantly improve over conventional schemes.Comment: 21 pages, 15 figures, to appear in Physical Review A, 72 (2005