Automating verification VIDEO
Kapture enables a user to write software requirements in a clear concise verifiable manner. It enables the early discovery of requirements issues before the expense of design, code and verification.
Kapture: Getting the right software requirements early in the software life cycle.Discover more
Modelworks enables the automatic verification of designs in Simulink and Stateflow. Modelworks shows that the design encapsulates the verifiable requirements written in Kapture or shows where is does not.
Modelworks: Getting the design right early in the software life cycle.Discover more
CLawZ enables the automatic independent verification of C source code generated from Simulink®/Stateflow® models. Should the autocoder have made a mistake, it will show where in the code the issue lies and relate it to the original design.
CLawZ: Automating source code verification.Discover more
Capturing and Assuring System Requirements.
The start of all software development is a set of customer requirements. Typically, these are System Requirements and only give basic details of what the behaviour is expected at a system level.
CAESAR enables the clear, unambiguous, consistent development of system requirements. These attributes are needed in order to be able to accurately communicate the need to software developers and system validators as well as to any other stakeholders, such as regulators.
CAESAR will link to Kapture to enable not only a trace function but also refinement checks.
CAESAR: Getting the right system requirements early in the development life cycle.Discover more
The automatic verification of Executable Object Code.
Verifying that the binary or Executable Object Code is correct with respect to the source code from which it has been compiled is a typically lengthy process requiring many tests.
Proving that binary satisfies the original source code automatically is the job for FEVER. This includes the functional code written in the C𝄬 coding standard as well as the associated build code such as library files.Discover more