Abstract
The recent large real time systems have the needs of growing systems including heterogeneous functions and operations. High assurance systems are very important for such systems. In order to realize the high assurance systems, we research the step-by-step system construction technique with assurance technology. In this paper we propose the functional reliability and the online functional availability as the best index to indicate the assurance property for step-by-step construction. According to the new index, the best solution for the step-by-step construction is the construction pattern to put the large functional units into online at first, and to put the small functional units into online gradually.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of IEEE International Symposium on High Assurance Systems Engineering |
| Publisher | IEEE Computer Society |
| Pages | 79-86 |
| Number of pages | 8 |
| Volume | 2002-January |
| ISBN (Print) | 0769517692 |
| DOIs | |
| Publication status | Published - 2002 |
| Externally published | Yes |
| Event | 7th IEEE International Symposium on High Assurance Systems Engineering, HASE 2002 - Tokyo, Japan Duration: 2002 Oct 23 → 2002 Oct 25 |
Other
| Other | 7th IEEE International Symposium on High Assurance Systems Engineering, HASE 2002 |
|---|---|
| Country/Territory | Japan |
| City | Tokyo |
| Period | 02/10/23 → 02/10/25 |
Keywords
- Availability
- Control systems
- Information processing
- Maintenance
- Paper technology
- Real time systems
- Reliability
- Systems engineering and theory
ASJC Scopus subject areas
- Software
- Safety, Risk, Reliability and Quality