Should Statestep be used for safety-critical systems?
Statestep’s unusually explicit and comprehensive approach can reveal problems that might not be detected during testing or even using more sophisticated techniques like model checking. (For an example of the subtle anomalies that can be found in even a small model, see the document on the digital watch model.) Thus, Statestep can provide added confidence in the quality of complex reactive systems intended for critical domains. Naturally, there are the usual caveats. In particular, it cannot be guaranteed that Statestep itself or the Java platform on which it runs are bug-free: the licence agreements for both disclaim any warranty or liability for bugs. Therefore, while it may be used in addition to other procedures and tools to help ensure quality, Statestep does not claim to displace them.
Related Questions
- Can BHK moderna Hardwood Flooring be used over radiant heating systems?
- Can BHK moderna Hardwood Flooring be used over radiant heating systems?
- What is the most commonly used POS System for the restaurant industry?
- Should Statestep be used for safety-critical systems?
- Where are AnchorLift systems most commonly used?
- Where are AnchorLift systems most commonly used?
