Refining Nodes and Edges of State Machines

State machines are hierarchical automata that are widely used to structure complex behavioural specifications. We develop two notions of refinement of state machines, node refinement and edge refinement. We compare the two notions by means of examples and argue that, by adopting simple conventions, they can be combined into one method of refinement. In the combined method, node refinement can be used to develop architectural aspects of a model and edge refinement to develop algorithmic aspects. The two notions of refinement are grounded in previous work. Event-B is used as the foundation for our refinement theory and UML-B state machine refinement influences the style of node refinement. Hence we propose a method with direct proof of state machine refinement avoiding the detour via Event-B that is needed by UML-B

Rudder roll stabilization for ships

This paper describes the design of an autopilot for rudder roll stabilization for ships. This autopilot uses the rudder not only for course keeping but also for reduction of the roll. The system has a series of properties which make the controller design far from straightforward: the process has only one input (the rudder angle) and two outputs (the heading and the roll angle); the transfer from rudder to roll is non-minimum-phase; because large and high-frequency rudder motions are necessary, the non-linearities of the steering machine cannot be disregarded; the disturbances caused by the waves vary considerably in amplitude and frequency spectrum.\ud \ud In order to solve these problems a new approach to the LQG method has been developed. The control algorithms were tested by means of computer simulations, scale-model experiments and full-scale trials at sea. The results indicate that a rudder roll stabilization system is able to reduce the roll as well as a conventional fin stabilization system, while it requires less investments. Based on the results obtained in this project the Royal Netherlands Navy has decided to implement rudder roll stabilization on a series of ships under construction at this moment

Feasibility study of an Integrated Program for Aerospace vehicle Design (IPAD). Volume 4: IPAD system design

The computing system design of IPAD is described and the requirements which form the basis for the system design are discussed. The system is presented in terms of a functional design description and technical design specifications. The functional design specifications give the detailed description of the system design using top-down structured programming methodology. Human behavioral characteristics, which specify the system design at the user interface, security considerations, and standards for system design, implementation, and maintenance are also part of the technical design specifications. Detailed specifications of the two most common computing system types in use by the major aerospace companies which could support the IPAD system design are presented. The report of a study to investigate migration of IPAD software between the two candidate 3rd generation host computing systems and from these systems to a 4th generation system is included

Six degree of freedom manual controls study report

The feasibility of using degree of freedom manual controls in space in an on orbit environment was determined. Several six degree of freedom controls were tested in a laboratory environment, and replica controls were used to control robot arms. The selection of six degrees of freedom as a design goal was based on the fact that six degrees are sufficient to define the location and orientation of a rigid body in space

Considerations for a design and operations knowledge support system for Space Station Freedom

Engineering and operations of modern engineered systems depend critically upon detailed design and operations knowledge that is accurate and authoritative. A design and operations knowledge support system (DOKSS) is a modern computer-based information system providing knowledge about the creation, evolution, and growth of an engineered system. The purpose of a DOKSS is to provide convenient and effective access to this multifaceted information. The complexity of Space Station Freedom's (SSF's) systems, elements, interfaces, and organizations makes convenient access to design knowledge especially important, when compared to simpler systems. The life cycle length, being 30 or more years, adds a new dimension to space operations, maintenance, and evolution. Provided here is a review and discussion of design knowledge support systems to be delivered and operated as a critical part of the engineered system. A concept of a DOKSS for Space Station Freedom (SSF) is presented. This is followed by a detailed discussion of a DOKSS for the Lyndon B. Johnson Space Center and Work Package-2 portions of SSF