Scenario Synthesis from Imprecise Requirements

Discovering faults in requirements specifications for distributed reactive systems is a challenging problem since many issues that need to be uncovered are a result of subtle component interactions that are implied by the requirements, but not explicitly described by them. A further difficulty is caused by the imprecise nature of industrial requirements specifications. This makes it difficult to construct valid models of the possible compositions between the requirements, which would be a valuable aid in uncovering such interactions. The paper defines a formal semantics that characterizes a particular type of imprecise compositional semantics derived from industrial case studies, and a process algebra that describes the valid requirements compositions for that formal semantics.

• Type: Conference
• Year: 2004
• Where: SAM
• Authors: Bill Mitchell, Robert Thomson, Paul Bristow
• Keywords: Formal Semantics, Hardware, Industrial Requirements Specifications, Requirements Specifications, SAM 2004