- | Home |
- Company |
- Contact |
- News |
- S/ware Eng |
- Standards |
- Academic Support |
- Documents |
- Search |
- | Requirements |
- Compilers |
- Validation |
- RTOS |
- Analysis |
- Hardware |
- Software |
- Resources |
- Principals |
- Platform |
Analysis Tools
From project estimation to source code analysis and reverse engineering
Visure Solutions IRQA for Requirements
As part as the Requirements Engineering complete solution, Visure Solutions provides a set of tools oriented to support the definedRDM processes, streamlining them and making them more efficient and manageable. These solutions provide not only support to all the RDM activities, but also specific support to a wide range of activities related with it, like tender management and requirements communication. IRQA is a state-of-the-art Requirements Definition and Management (RDM) tool specifically designed to provide an integral support to the complete Requirements process.> Link to
SEER estimation tools for costs, time & resource
Galorath (SEER) has invested over two and a half decades of research and development helping organizations better plan and control project costs, quality, duration and risk. Leveraging sophisticated modeling technology and project-applicable knowledge bases, SEER solutions are proven to accurately replicate real-world project outcomes more quickly and with much greater accuracy than any traditional estimating methodologies > Link to
Relex reliability and failure prediction tools
Relex can provide a tailored solution for reliability and failure including FRACAS, MTBF MTTF, Weibull, Markov, Fault trees, Life Cycle cost,Human Factors, Maintenance. This modular system is usefully from safety cases to maintenance > Link to
Medini IEC26262 analysis tools by IKV
Though their Medini Tool set IKV provide a set of tools to support systems analysis and model based development. Priamrily based inthe automotive market they Analyze tool supports ISO26262 but their other tools have a wider field such as unite that works with Simulink and Stateflow models. Also other modeling tools are avilible such as QVT and ProFeat. . > Link to
Robinsons Requirments tracking tools
DocTrace is a tool which offers a simple and easy approach to tracing the relations between documents and their detailed contents. It produces a Requirements Traceability Matrix, a simple and visible way of demonstrating that the requirements are satisfied in all the relevant parts of the design, source code and test documents.> Link to
Escher Technologies
Escher Technologies researches, develops and delivers tools for the efficient construction of provably correct software. Using advanced Automated Reasoning technology, Perfect Developer and the Escher C Verifier reduce the cost of developing safety-critical software or software for other high-integrity applications. For universities and colleges which offer courses in formal methods of software development: Perfect Developer Free Edition makes this challenging subject easier to teach and enjoyable to learn.> Link to
QAC and QAC++
Established in 1986, Programming Research's extensive experience with leading global software development organizations enabled them to emerge as the industry's coding standard experts. PRQA is recognized worldwide as the leading authority in the assessment of software quality through automated source code analysis and development process improvements.. > Link to
VectorCast Unit Test C, C++ and ADA
The VectorCAST family of products automates testing activities across the software development lifecycle. The purpose of this paper is to provide a high-level view of what the VectorCAST products do, how they inter work, and how you might best use them to fully meet your own software testing needs. > Link to
Ristan DAC
Development assistants will reverse engineer code, producing flow charts, calling trees, cross-refenence lists and documentation > Link to
PC-Lint & flexe-Lint
PC-Lint and Flexe-lint are two of the oldest and most long lived static analysers in the world, having been introduced in 1985 less than a decade after C first appeared. They are the longest continuously advertised software tools in human history. . > Link to
Test-IT
C-TestIt! is a product that allows users to "unit test" their C code. Unit testing, in the case of C, is understood as the ability to test a function regardless of the rest of the application.Unit testing is a complement to traditional testing, for those Customers who want to improve the quality of their software and therefore reduce future maintenance costs.. > Link to