Jan Bredereke

Learn More
Mode confusions are a significant safety concern in safety-critical systems, for example in aircraft. A mode confusion occurs when the observed behaviour of a technical system is out of sync with the behaviour of the user's mental model of it. But the notion is described only informally in the literature. We present a rigorous way of modelling the user and(More)
Feature interaction problems are currently a major roadblock to extending and changing telephone switching systems, which have to follow market needs quickly. Such problems appear already in the requirements speciications. We avoid certain kinds of feature interactions by employing a more modular speciication structure. First, we show how the details of the(More)