Institutional Research Information Service
UCL Logo
Please report any queries concerning the funding data grouped in the sections named "Externally Awarded" or "Internally Disbursed" (shown on the profile page) to your Research Finance Administrator. Your can find your Research Finance Administrator at https://www.ucl.ac.uk/finance/research/rs-contacts.php by entering your department
Please report any queries concerning the student data shown on the profile page to:

Email: portico-services@ucl.ac.uk

Help Desk: http://www.ucl.ac.uk/ras/portico/helpdesk
Publication Detail
Software safety test with VALSOFT
  • Publication Type:
    Journal article
  • Publication Sub Type:
    Journal Article
  • Authors:
    Krinke J, Robschink T, Snelting G
  • Publication date:
  • Pagination:
    62, 73
  • Journal:
    Informatik - Forschung und Entwicklung
  • Volume:
  • Issue:
  • Status:
  • Print ISSN:
The Physikalisch-Technische Bundesanstalt must check all measurement instruments requiring calibration. Since almost every measuring instrument is controlled by software today, it must be guaranteed that the data path from the sensor input to the display (calibration path) cannot be influenced by external factors. The VALSOFT tool detects, analyzes and visualizes influences on the calibration path. The analysis is based on Program Slicing and Constraint Solving. For any program point (e.g. outputs of measured values) those statements can be determined, which influence this point (so-called Slice). Additionally, exact conditions on which suspicious data flows take place can be calculated (so-called path conditions). Applications within other safety-critical areas are possible. © Springer-Verlag 1999.
Publication data is maintained in RPS. Visit https://rps.ucl.ac.uk
 More search options
UCL Researchers
Dept of Computer Science
University College London - Gower Street - London - WC1E 6BT Tel:+44 (0)20 7679 2000

© UCL 1999–2011

Search by