Dependable Computing Expertise
- Assurance-Case Training: we offer training in the effective development of the Assurance Case to streamline FDA approval for medical devices. Our training equips you to build effective, compelling assurance arguments using GSN.
- Assurance-Case Development: we offer contract development of assurance cases in support of high-dependability systems, with a particular focus on aviation and medical devices.
- Software Assurance: we provide technical support in all areas of software engineering. Our expertise includes requirements analysis, specification, design, implementation, and verification.
About Us
Dependability Defined: The dependability of a system is the ability to avoid service failures that are more frequent and more severe than is acceptable. A. Avizienis, J.-C. Laprie, B. Randell & C. Landwehr
Dependable Computing delivers engineering, innovation and training for safety- and security-critical computer systems. We provide consulting services for clients with safety or security applications: applications for which dependability is paramount. We strive for excellence in each project we support.
Dependable Computing has significant experience both with medical and unmanned systems. Our ongoing projects include the development of an assurance case for a safety-critical avionics system on a large unmanned aircraft system. The flexibility and argumentative power provided by the assurance case makes its application ideal for unmanned systems, where current prescriptive approaches do not directly apply.
John Knight's new book,
Fundamentals of Dependable Computing is now available! Check it
out here or at the
publisher's web site!
Be sure to check out our safety-case development tools
here!