VERIS - Verification of Interacting Systems

  • Andersen, Henrik Reif (Project Manager)
  • Hulgaard, Henrik (Project Participant)
  • Lind-Nielsen, Jørn (Project Participant)
  • Williams, Poul Frederick (Project Participant)

    Project Details

    Description

    Modern software and hardware systems are complex. They are difficult to construct and therefore they often contain errors. Errors in running systems can impose severe economical losses and can in safety critical systems even result in damage of humans.
    The VERIS-project aims at developing methods useful in improving the quality of the design of embedded systems. Embedded systems are control systems which are integral parts of a larger system, for example, airbags, ABS braking systems, and railway interlocking systems. The methods will make possible exhaustive testing of all states of the control systems, ensuring that no unwanted states are ever reached.
    StatusFinished
    Effective start/end date01/10/199730/09/2000