Stand der Forschung und Technik auf dem Gebiet der rechnerunterstützten Spezifikation von Prozessrechner-Software

Das Thema "Spezifikation" wurde von den Informatikern identifiziert und bearbeitet im Zusammenhang mit der Entdeckung des Gebietes "Software-Engineering". Dies gilt auch für die Spezifikation solcher Systeme, die nur teilweise aus Software bestehen oder bei denen die Unterscheidung zwischen Hard- und Software noch nicht gemacht wurde. Daher soll hier versucht werden, das Gebiet von der Software-Spezifikation her anzugehen. Nach einem kurzen Abriss der Motivation für Spezifikationssysteme und ihrer Geschichte werden die in diesem Zusammenhang wichtigen Begriffe diskutiert. Auch die übliche Einteilung des Software-Entstehungsprozesses, der "softwarelife-cycle", wird angesprochen. Für die einzelnen Komponenten der Spezifikationssysteme haben sich Lösungen herauskristallisiert, die in vielen Systemen zu finden sind. Diese werden gegenübergestellt und diskutiert. Dann werden der aktuelle Stand und die Trends skizziert. Am Schluss stehen einige Erfahrungssätze zur Einführung eines Spezifikationssystems

NASA space station automation: AI-based technology review

Research and Development projects in automation for the Space Station are discussed. Artificial Intelligence (AI) based automation technologies are planned to enhance crew safety through reduced need for EVA, increase crew productivity through the reduction of routine operations, increase space station autonomy, and augment space station capability through the use of teleoperation and robotics. AI technology will also be developed for the servicing of satellites at the Space Station, system monitoring and diagnosis, space manufacturing, and the assembly of large space structures

On the engineering of crucial software

The various aspects of the conventional software development cycle are examined. This cycle was the basis of the augmented approach contained in the original grant proposal. This cycle was found inadequate for crucial software development, and the justification for this opinion is presented. Several possible enhancements to the conventional software cycle are discussed. Software fault tolerance, a possible enhancement of major importance, is discussed separately. Formal verification using mathematical proof is considered. Automatic programming is a radical alternative to the conventional cycle and is discussed. Recommendations for a comprehensive approach are presented, and various experiments which could be conducted in AIRLAB are described

A systematic approach to the design of complex systems : application to DBMS design and evaluation

Bibliography: leaves 80-85.R.C. Andreu, S.E. Madnick

Investigation, Development, and Evaluation of Performance Proving for Fault-tolerant Computers

A number of methodologies for verifying systems and computer based tools that assist users in verifying their systems were developed. These tools were applied to verify in part the SIFT ultrareliable aircraft computer. Topics covered included: STP theorem prover; design verification of SIFT; high level language code verification; assembly language level verification; numerical algorithm verification; verification of flight control programs; and verification of hardware logic