The central artifact in a MILS system is its policy architecture. This identifies the logical components of the system and their channels for communications, and specifies which components are trusted. The components of the policy architecture are logically separate but may share physical resources under the control of trusted resource-sharing components, such as separation kernels or partition...

This study looks at two aspects of assurance services. The first deals with the type(s) of evidential networks that will allow a professional accountant to provide assurance. Here, we develop an evidential network model for “WebTrust Assurance,” a service being provided by the American Institute of Certified Public Accountants (AICPA) and the Canadian Institute of Chartered Accountants (CICA). ...

This paper presents a systematic approach to the complex problem of high confidence performance assurance of high performance architectures based on methods used over several generations of industrial microprocessors. A taxonomy is presented for performance assurance through three key stages of a product life cycle-high level performance, RTL performance, and silicon performance. The proposed t...

Automation systems, e.g., hydro power plants and industrial automation systems include heterogeneous engineering disciplines, e.g., mechanical, electrical, process, and software engineering, and raise additional challenges for quality assurance activities, e.g., identifying defects in change management processes where different disciplines are involved. Our observations in industry shows variou...

Often in software development processes, tighter and more systematic integration of quality assurance techniques and measurements in the operational processes is desirable. While some processes specify abstract quality assurance measures, concrete requisite measures directly relevant for specific product artifacts (e.g., code) or processes (e.g., testing) must be determined operationally and co...

The Scientific Council (SC) hereby submits its third Report to the A3ES – the Agency for the Evaluation and Accreditation of Higher Education in Portugal. As in the past, we appreciate both the invitation to discuss the current and future state of affairs regarding quality assurance in Portugal, as well as the willingness of the Agency and its leadership to engage frankly and openly in a compre...

Some aspects regarding the use of radioactivity standards and measurements in various applications are emphasized. The definitions of the specific notions, as they are used in the field of metrology, a short history of the development of radioactivity standards and of the first traceability assurance achievements are presented. The main radioactivity measurement fields, requiring standards are ...

Introduction National Rural Health Mission (NRHM) was launched to address with a mission approach all components of functional systems; infrastructure, human resources, logistics and participation of the community through increasing government investment in healthcare and addressing managerial weaknesses in the system. Before the launch of NRHM, in order to bring the states that were performing...

Increasingly, software must dynamically adapt its behavior in response to changes in the supporting computing, communication infrastructure, and in the surrounding physical environment. Assurance that the adaptive software correctly satisfies its requirements is crucial if the software is to be used in high assurance systems, such as command and control or critical infrastructure protection sys...