|
|
The experts at SafeCode can perform static and pseudo-dynamic analyses on your software using tools such as SPLint, PC-Lint, PolySpace, and others. Using tools such as these, we can ensure that the code is free of semantic ambiguities and many unsafe conditions. While we can perform some very powerful after-the-fact analyses, some of these checks can made significantly more effective by teaching your developers how to integrate them into the design and implementation phase of development. |
|
|
While elicitation of requirements is often best done by your domain experts, we can help lay the foundations for making this task well-defined. Once the requirements have been gathered by your staff we can work with you to refine, validate, codify, and verify the requirements before they become the source of software defects. |
|
SafeCode, LLC can help you in designing and evaluating a software development process that is rigorous enough to meet whatever rules and regulations you may face in your industry. Our consultants understand high-integrity development, be it under the constraints of DO-178B, IEC-61508, or some other regulated environment. We know what works, and what's just busy work. |
|
|
Software Development Standards |
|
SafeCode can work with your developers to create software development standards that are compatible with your organization. We can help with: - Architecture Standards
- Design Standards
- Coding Standards
- Verification Standards
We will create rule sets that conform to the toughest regulatory processes, yet that don't unduly hamper your development efforts. |
|
|
|
|
|
Services
