Computer Resources International

About: Computer Resources International is a based out in . It is known for research contribution in the topics: Expert system & Decision support system. The organization has 39 authors who have published 59 publications receiving 2651 citations.

SCOS 2: ESA's new generation of mission control system

Abstract: New mission-control infrastructure is currently being developed by ESOC, which will constitute the second generation of the Spacecraft Control Operations system (SCOS 2). The financial, functional and strategic requirements lying behind the new development are explained. The SCOS 2 approach is described. The technological implications of these approaches is described: in particular it is explained how this leads to the use of object oriented techniques to provide the required 'building block' approach. The paper summarizes the way in which the financial, functional and strategic requirements have been met through this combination of solutions. Finally, the paper outlines the development process to date, noting how risk reduction was achieved in the approach to new technologies and summarizes the current status future plans.

An Extended VDM Refinement Relation

Abstract: The original definition of refinement proof obligations in VDM is reviewed and examples are discussed which, while being intuitively sensible, pose problems for this definition of refinement. An extended VDM refinement relation is introduced, to cope with the problems. Some non-standard applications of the extended refinement proof obligations are discussed.

OPTIMUM-AIV, A Planning and Scheduling System for Spacecraft AIV

Abstract: This paper presents a project undertaken for the European Space Agency (ESA). The project is developing a knowledge based system for planning and scheduling of activities for spacecraft assembly, integration and verification (AIV). The system extends to the monitoring of plan execution and the plan repair phases. The objectives of the contract are to develop an operational kernel of a planning, scheduling and plan repair tool, called OPTIMUM-AIV, and to provide facilities which will allow individual projects to customize the kernel to suit its specific needs. The kernel shall consist of a set of software functionalities for assistance in the initial specification of the AIV plan, in the verification and generation of valid plans and schedules for the AIV activities, and in interactive monitoring and execution problem recovery for the detailed AIV plans. Embedded in OPTIMUM-AIV are external interfaces which allow integration with alternative scheduling systems and project databases. The current status of the OPTIMUM-AIV project, as of May 1991, is that the architectural design of the system has been agreed on by ESTEC/ESA and detailed design and implementation is now underway, expecting a final delivery in October of 1991.