Using Multi-Viewpoint Contracts for Negotiation of Embedded Software Updates
Authors:
Sönke Holthusen,
Sophie Quinton,
Ina Schaefer,
Johannes Schlatow,
Martin Wegner
Abstract:
In this paper we address the issue of change after deployment in safety-critical embedded system applications. Our goal is to substitute lab-based verification with in-field formal analysis to determine whether an update may be safely applied. This is challenging because it requires an automated process able to handle multiple viewpoints such as functional correctness, timing, etc. For this purpos…
▽ More
In this paper we address the issue of change after deployment in safety-critical embedded system applications. Our goal is to substitute lab-based verification with in-field formal analysis to determine whether an update may be safely applied. This is challenging because it requires an automated process able to handle multiple viewpoints such as functional correctness, timing, etc. For this purpose, we propose an original methodology for contract-based negotiation of software updates. The use of contracts allows us to cleanly split the verification effort between the lab and the field. In addition, we show how to rely on existing viewpoint-specific methods for update negotiation. We illustrate our approach on a concrete example inspired by the automotive domain.
△ Less
Submitted 1 June, 2016;
originally announced June 2016.
The Design and Performance of the ZEUS Central Tracking Detector z-by-Timing System
Authors:
D. S. Bailey,
R. C. Carter,
B. Foster,
N. Harnew,
G. P. Heath,
M. D. Jeffs,
T. Khatri,
M. Lancaster,
J. B. Lane,
I. C. McArthur,
J. D. McFall,
R. Milborrow,
C. J. S. Morgado,
M. C. Morrissey,
J. Nash,
G. Nixon,
D. A. Phillips,
M. Postranecky,
S. P. H. Quinton,
P. D. Shield,
S. Topp-Jorgensen,
G. Westlake,
D. J. White,
F. F. Wilson,
.
Abstract:
The ZEUS Central Tracking Detector utilizes a time difference measurement to provide a fast determination of the z-coordinate of each hit. The z-by-timing measurement is achieved by using a Time-to-Amplitude Converter which has an intrinsic timing resolution of 36 ps, has pipelined readout, and has a multihit capability of 48 ns. In order to maintain the required sub-nanosecond timing accuracy,…
▽ More
The ZEUS Central Tracking Detector utilizes a time difference measurement to provide a fast determination of the z-coordinate of each hit. The z-by-timing measurement is achieved by using a Time-to-Amplitude Converter which has an intrinsic timing resolution of 36 ps, has pipelined readout, and has a multihit capability of 48 ns. In order to maintain the required sub-nanosecond timing accuracy, the technique incorporates an automated self-calibration system. The readout of the z-by-timing data utilizes a fully customized timing control system which runs synchronously with the HERA beam-crossing clock, and a data acquisition system implemented on a network of Transputers. Three dimensional space-points provided by the z-by-timing system are used as input to all three levels of the ZEUS trigger and for offline track reconstruction. The average z-resolution is determined to be 4.4 cm for multi-track events from positron-proton collisions in the ZEUS detector.
△ Less
Submitted 18 July, 1997;
originally announced July 1997.
