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


    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.
    Effective start/end date01/10/199730/09/2000


    Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.