It has been recognized that a framework based on proofcarrying code (also called semantic-based software certification in its community) could be used as a candidate software certification process for the avionics industry. To meet this goal, tools in the “trust base” of a proof-carrying code system must be qualified by regulatory authorities. A family of semantic-based software certification a...

The conviction of Dr Harold Shipman for murdering 15 of his patients and the recent audit of his practice carried out by Professor Richard Baker, have raised many issues about the certification of death by doctors1. Inevitably, there have been calls for a radical overhaul of the system2. There are many problems with the certification and registration of death, and various proposals have been ma...

This study aims to show that the HONcode developed by the Health on the Net Foundation improves the transparency of the health information found on the Internet. We wanted to demonstrate that most of non-certified websites do not respect health quality criteria. In a longitudinal study, the compliance by health websites applying for certification to the eight HONcode principles and respect to p...

Certification of modeling and simulation (M&S) applications is becoming more commonly practiced as M&S applications are used more and more for military training, analysis, complex system design evaluation, M&S-based acquisition, problem solving, and critical decision making. Certification is a very complex process, involves the measurement and evaluation of hundreds of qualitative and quantitat...

Reuse is pinpointed as a key factor to improve productivity and reliability of software systems. Verification and validation of software components and the resulting system is important for reuse to be beneficial on a broad industrial basis. This paper suggests a modelling approach which is suitable for reliability certification of modular systems. It discusses a general reliability certificati...

Airplanes are certified as a whole: there is no established basis for separately certifying some components, particularly software-intensive ones, independently of their specific application in a given airplane. The absence of separate certification inhibits the development of modular components that could be largely “precertified” and used in several different contexts within a single airplane...

This entry provides several monads intended for the development of stand-alone certifiers via code generation from Isabelle/HOL. More specifically, there are three flavors of error monads (the sum type, for the case where all monadic functions are total; an instance of the former, the so called check monad, yielding either success without any further information or an error message; as well as ...