Safety and reliability have become important software quality characteristics in the development of safetycritical software systems. However, there are so far no quantitative methods for assessing a safety-critical software system in terms of safety/reliability characteristics. The metric of softwar
Quantitative framework for reliable safety analysis
β Scribed by Haitao Huang; Claire S. Adjiman; Nilay Shah
- Publisher
- American Institute of Chemical Engineers
- Year
- 2002
- Tongue
- English
- Weight
- 474 KB
- Volume
- 48
- Category
- Article
- ISSN
- 0001-1541
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Many existing software systems can benefit from restructuring to reduce maintenance cost and improve reusability. Yet, intuition-based, ad hoc restructuring can be difficult and expensive, and can even make software structure worse. We introduce a quantitative framework for software restructuring. I
## Abstract A framework for iterative learning control (ILC) is proposed for the situation when an ILC algorithm uses an estimate of the controlled variable obtained from an observerβbased estimation procedure. Assuming that the ILC input converges to a bounded signal, a general expression for the