Studies have suggested that formal specificationsand lightweight formal methods help improve the clarityand precision of the requirements specification. This paperdescribes a process to augment the current informalapproaches to system-of-systems development byintroducing temporal assertions to capture the safetycriticaland mission-essential system requirements andruntime model checking to evaluate the system designs andimplementation. The process allows users to develop andvalidate temporal assertions iteratively via simulation withmultiple scenarios, and to use the assertions to automatethe testing of the system-of-systems under development aswell as armor-plating the target system against anyunexpected behaviors at runtime.
展开▼