Search NASASearch

Engineering topics

Mueller, Christian

Publications and source records attributed to Mueller, Christian.

Towards the Formal Verification of a Distributed Real-Time Automotive System

We present the status of a project which aims at building, formally and pervasively verifying a distributed automotive system. The target system is a gate-level model which consists of several interconnected electronic control units with independent clocks. This model is verified against the specification as seen by a system programmer. The automotive system is implemented on several FPGA boards. The pervasive verification is carried out using combination of interactive theorem proving (Isabelle/HOL) and model checking (LTL).

Endres, Erik

SCOS 2: An object oriented software development approach

The Spacecraft Control and Operations System 2 (SCOS 2), is intended to provide the generic mission control system infrastructure for future ESA missions. It represents a bold step forward in order to take advantage of state-of-the-art technology and current practices in the area of software engineering. Key features include: (1) use of object oriented analysis and design techniques; (2) use of UNIX, C++ and a distributed architecture as the enabling implementation technology; (3) goal of re-use for development, maintenance and mission specific software implementation; and (4) introduction of the concept of a spacecraft control model. This paper touches upon some of the traditional beliefs surrounding Object Oriented development and describes their relevance to SCOS 2. It gives rationale for why particular approaches were adopted and others not, and describes the impact of these decisions. The development approach followed is discussed, highlighting the evolutionary nature of the overall process and the iterative nature of the various tasks carried out. The emphasis of this paper is on the process of the development with the following being covered: (1) the three phases of the SCOS 2 project - prototyping & analysis, design & implementation and configuration / delivery of mission specific systems; (2) the close cooperation and continual interaction with the users during the development; (3) the management approach - the split between client staff, industry and some of the required project management activities; (4) the lifecycle adopted being an enhancement of the ESA PSS-05 standard with SCOS 2 specific activities and approaches defined; and (5) an examination of some of the difficulties encountered and the solutions adopted. Finally, the lessons learned from the SCOS 2 experience are highlighted, identifying those issues to be used as feedback into future developments of this nature. This paper does not intend to describe the finished product and its operation, but focusing on the journey to arrive there, concentrating therefore on the process and not the products of the SCOS 2 software development.

Symonds, Martin

Huygens/ACP: An instrument for aerosols chemical composition measurements

The Aerosol Collector Pyrolyzer (ACP) which will be used aboard the Huygens probe is introduced. The scientific objectives, scientific rationale, and a technical description of the ACP are given. The ACP will sample the aerosols of the Titan's atmosphere in two regions, 160 to 60 and 60 to 25 km, respectively. In the first region, it will collect aerosol particles absorbed by a complex core (organic polymers) coated with absorbed or condensed molecules. The second collect will sample larger aerosols and the N2-CH4 droplets. In each sampling, the particles are collected on a metallic filter through which the atmospheric gas is pumped. The filter is then inserted into an oven connected to the Gas Chromatograph Mass Spectrometer (GCMS) Experiment which analyzes the gases produced during the heating of the samples. For each sample it will be possible to bring information on the nature and abundance of the volatile components contained in the particles and/or the composition of the photochemical core.

Israel, Guy