I Kaptured the System

Software Engineers work from High Level Software Requirements, but these are derived from System Requirements Allocated to Software that are articulated by System Engineers. There are often mismatches between these two artefacts because of the use of informal natural language that uses inconsistent terminology leading to ambiguity and information that is incomplete, which leads to miscommunication between System and Software Engineers. This chapter presents the development of System Requirements Allocated to Software in a template-based language with a formal underpinning using a tool called System Kapture®. The requirements are taken from the natural language description of the Steam Boiler challenge problem presented by Jean-Raymond Abrial in the mid-1990s. Guidance on a method for developing the requirements is given along with opportunities for their formal analysis and the context of their use to verify High Level Software Requirements, Simulink® and Stateflow® models and code generated from those models.