CAESAR IN PRACTICE
System engineers charged with writing requirements for embedded systems are likely to benefit from the use of Caesar, particularly the aspects relating to the software implementation of these requirements.
The difficulty is in being abstract enough to allow a design to evolve but precise enough to be able to eventually convincingly validate that the product meets the requirements. It is also highly desirable to be able to show that the development of system requirements into software requirements has been complete, consistent and accurate.
Caesar links to Kapture to enable verification checks to be undertaken between the software requirements and systems requirements. This reduces uncertainty at the start of a project thus reducing time and cost aswell as enabling updates to rapidly occur.