Managing invisible complexity
Our goal is the delivery of cost-effective verification and validation to ensure that software will function as it needs to in safety and mission-critical environments.
We specialise in the development of high integrity, software-intensive systems and have a good understanding of the practical issues of delivering software on time, within budget, and compliant to stringent standards.
All of our senior consultants started their careers in software development, and remain active and current in software development processes and methodologies. In particular, Acmena consultants have a keen appreciation of how embedded software development must be integrated into a wider systems engineering context, so that it is fit for purpose.
We provide the following consultancy and assurance services for high integrity software development projects:
Safety Integrity Level (SIL) Assessment
- We can audit and review software and development processes against the standards CENELEC 50128, and IEC 61508 to assess compliance to a given SIL
- We can provide advice on the most cost-effective methods for achieving compliance to such software standards
Software Quality Assurance Plans
We can help develop plans which ensure software products meet their requirements, including compliance to standards and regulations.
Software Development Project Reviews
With in-depth experience in managing and leading software development teams, we can review projects, to identify risks and issues, and recommend improvement actions.
Verification and Validation
- We can provide consultancy services in the verification and validation of software, including the use of static analysis and formal methods tools and techniques. Our advice is grounded in research and a thorough understanding of when different techniques are most effective
- We can help to validate software requirements, including safety requirements, using systems engineering best practice in the elicitation and specification of requirements