نتایج جستجو برای: do
تعداد نتایج: 847056 فیلتر نتایج به سال:
This paper describes initial work towards building an explicit assurance case for DO-178C / ED-12C. Two specific questions are explored: (1) What are some of the assumptions upon which the guidance in the document relies, and (2) What claims are made concerning test coverage analysis?
High quality is important in medical imaging, yet in many geographic areas, highly skilled sonographers are in short supply. Advances in Internet capacity along with the development of reliable portable ultrasounds have created an opportunity to provide centralized remote quality assurance (QA) for ultrasound exams performed at rural sites worldwide. We sought to harness these advances by devel...
Presence Information Data Format (PIDF) defines a common presence data format for Common Profile for Presence (CPP) compliant presence protocols. This memo defines a PIDF extension to represent SIP User Agent capabilities. Lonnfors & Kiss Standards Track [Page 1] RFC 5196 User Agent Capability Presence Status September 2008 Table of
The cognition of spatial objects differs among people and is highly influenced by the context in which a spatial object is perceived. We investigated experimentally how humans perceive geometric figures in geometric proportional analogies and discovered that subjects perceive structures within the figures which are suitable for solving the analogy. Humans do not perceive the elements within a f...
In this paper we describe the model-based approach to tool qualification starting from the process model for the determination of the qualification need until the model for test and qualification. The model-based approach can automate many steps from checking the syntactical requirements completeness until the determination whether all requirements have been implemented and successfully tested....
A new guideline has emerged to help regulate the development and certification of software and the delivery of multiple supporting documents and records used on aircraft or engines. The previous guideline — called RTCA DO-178B, Software Considerations in Airborne Systems and Equipment Certification, and produced by the Radio Technical Commission for Aeronautics Inc. — served as a de facto stand...
DO-178B was published in 1992, and computing technology has changed a lot since that time. Despite the fact that the standard was written to include provision for change and many supplemental documents have been developed in the past 16 years, the advances in software technology have been so significant that it seems appropriate to investigate whether they should be accommodated in a comprehens...
Technology has improved to the point that system designers have the ability to trade-off implementing complex functions in either hardware or software. However, clear distinctions exist in the design tools. This paper examines what is unique to hardware design, areas where formal methods can be applied to advantage in hardware design and how errors can exist in the hardware even if formal metho...
14:00 Rob Ashmore, The Utility and Practicality of Quantifying Software Reliability 14:15 John Rushby, Bev Littlewood, and Lorenzo Strigini, Evaluating the Assessment of Software Fault-Freeness 14:30 Discussion: Should we be following recipes or quantifying software performance? 14:55 Dewi Daniels, The Efficacy of DO-178B 15:10 Discussion: Can we assess a standard as a whole (much as system-lev...
This paper relates an industrial experience in the field of formal verification of avionics software products. Ten years ago we presented our very first technological research results in [18]. What was just an idea plus some experimental results at that time is now an industrial reality. Indeed, since 2001, Airbus has been integrating several tool supported formal verification techniques into t...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید