---

Hardware certification for real-time safety-critical systems: State of the art

A.J. Kornecki, J. Zalewski

Annual Reviews in Control, Vol. 34, pp. 163–174, 2010.

Abstract: This paper discusses issues related to the RTCA document DO-254 Design Assurance Guidance for Airborne Electronic Hardware and its consequences for hardware certification. In particular, problems related to circuits’ compliance with DO-254 in avionics and other industries are considered. Extensive literature review of the subject is given, including current views on and experiences of chip manufacturers and EDA industry with qualification of hardware design tools, including formal approaches to hardware verification. Some results of the authors’ own study on tool qualification are presented.

Modeling Production Costs with Bayesian Belief Networks

E. Kirche, H. Pfister, T. Tharp, J. Zalewski

International Journal of Arts and Sciences, Vol. 3, No. 7, pp. 239 – 249 (2010)

Abstract: The problem of setting production lead times in manufacturing is well known and many firms set the value as an average of past operations, frequently resorting to inventory, overtime and other unplanned activities to match supply with demand. In this paper, we use Bayesian belief networks to model a common production process with probabilistic manufacturing lead time based on more realistic assessment of factors which contribute to variance in the estimation of true lead time, such as delivery performance, unplanned downtime, production run, and setups. The objective is to provide better estimates of production costs due to variances in lead times and improve the accuracy of customer order commitments.