ABSTRACT
Requirements are the core work items of the design and checking workflow target safety critical systems. Requirements review is a special kind of Independent Software/Systems Verification and Validation (ISVV). This chapter is the presentation of an approach targeting a gradual introduction of MBSE and formal methods to requirement checking. It introduces the basic modeling concepts as defined by standards. The chapter presents techniques carrying out extended syntactic analysis over the requirement documents. After addressing change management in iterative requirement design/modification-checking workflows the closing section deals with the integration of the measures described into the ISVV. Requirements Interchange Format has wide support regarding open and commercial requirement design and management tools. Also, leading vendors put requirements as the core entity of the entire design and checking workflow.
