Video
Nicht genügend Bewertungen
Software Reliability and Availability
Create Note
Dear user,
with the manuscript function you'll be able to create your own digital lecture manuscript.
However, in order to link all your notes with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
with the manuscript function you'll be able to create your own digital lecture manuscript.
However, in order to link all your notes with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
Add a New Marker
Dear user,
with the marker function you'll be able to create your own digital time markers.
However, in order to link all your markers with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
with the marker function you'll be able to create your own digital time markers.
However, in order to link all your markers with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
Tag this content
Please enable javascript to use this function.
Dear user,with the tagging function you'll be able to add taggs to videos.
However, in order to link all your tags with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
Tags added to this content
No tags have been added to this content so far.
Add Link to this content
Please enable javascript to use this function.
Dear user,with the links function you'll be able to add links to other resources to this content.
However, in order to link all your links with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
Links added to this content
No links have been added to this content so far.
Zu meinen Videolisten hinzufügen
Dear user,
with the playlist function you'll be able to create your own lecture video playlists.
However, in order to link all your playlists with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
with the playlist function you'll be able to create your own lecture video playlists.
However, in order to link all your playlists with your user profile it is required that you
login to the tele-TASK portal to use this functionality.
If you don't have an account yet, you may register for a tele-TASK account here.
Playlists
This content is not used in any playlist.
11920343545491392553164397427707711050121012931326134113421673202124432748298930573058316033433555355636363691369237143757385839013962400542254329449646554789
Lecture Structure
- Implications (00:00:01)
- SI Ls Target Failure Measures (00:00:19)
- Assignment of Integrity Levels (00:00:20)
- Safety Integrity Levels (00:00:34)
- n Demand Mace Operation assumes a (00:00:34)
- n Demand Mode of Operation indicates the probability bf failure (00:00:34)
- which in tum are expressed as of failure (00:00:34)
- Target Failure Measures (00:00:35)
- Implications (00:00:45)
- Tee integrity level reflects terms 0 rates (00:00:45)
- These link the integrity of the system or measures be (00:00:45)
- The safety integrity level for the the measures that need t be taken both m mm mm 1 m r an 1 (00:00:45)
- Recommended Techniques (00:00:49)
- Modeling Techniques (00:04:14)
- IV 3 4 Requirement (00:04:15)
- Requirements (00:05:16)
- Safety can be involved in both functional (00:05:16)
- Note (00:05:16)
- quality goals to help make trade off (00:05:16)
- r with (00:07:19)
- software the (00:07:19)
- specification Demonstrate the of (00:07:19)
- I constraints with the requirements I (00:07:19)
- 2 Show the the safety (00:07:19)
- software related hazards into requirements and (00:07:19)
- Required Properties of Requirements (00:12:22)
- Consistent specification The provided (00:12:22)
- Complete specification The provided information (00:12:22)
- Non ambiguous specification The function must (00:12:22)
- Ambiguity and Natural (00:12:50)
- Ambiguity and Natural Language (00:12:51)
- Requirement Model (00:17:30)
- Completeness 1/4) (00:20:10)
- Requirement Model (00:21:33)
- Completeness 1/4) (00:22:06)
- channels are (00:22:06)
- completeness Are all specified (00:22:06)
- appropriate information to the (00:22:06)
- Human computer interface Will the system deliver (00:22:06)
- H 121 YE J em N x A w H (00:22:21)
- Completeness jz/4) (00:22:22)
- Violations of load assumptions must be detected and the (00:22:22)
- n The all inputs should be bound in time (00:22:22)
- n The behavior of the state machine should be deterministic (00:22:22)
- n Every possible input should be covered (00:22:22)
- Completeness (3/ (00:27:53)
- For each input expected in response to an output both the (00:27:53)
- detect effect on all of the to detect internal or (00:27:53)
- n Ensure that environment capacity is not overloaded (00:27:53)
- Completeness (4/4) (00:33:41)
- Multiple path should be provided that enhance or maintain (00:33:41)
- Path Robustness (00:33:41)
- Output commands should usually be reversible (00:33:41)
- n Desired recurrent behavior must be part of at least one cycle (00:33:41)
- IV 3 5 Software Reliability and Availability (00:40:43)
- Improving Reliability (00:45:48)
- Reliability Perception (00:49:49)
- improve reliability (00:50:57)
- n formal methods may not actually (00:50:57)
- anomalies and omissions in the specification (00:50:57)
- n The development of a formal specification forces (00:50:57)
- Reliability and Formal Methods (00:50:58)
- n formal methods may not actually (00:50:58)
- n The use of formal methods of development may (00:50:58)
- Reliability and Efficiency (00:52:40)
- Hard to improve unreliable systems (00:52:40)
- n of data loss are very high (00:52:40)
- n As reliability increases system efficiency tends decrease To (00:52:40)
- Reliability Metrics (00:55:43)
- Rate of occurrence of fault (00:55:43)
- Probability cf failure on demand (00:55:43)
- mm mu nm mu I QM 1 (00:59:15)
- Availability (00:59:16)
- Mean time to failure (00:59:16)
- Reliability Measurement (01:00:36)
- Me a me tame restart after Used no compute AVAIL (01:00:36)
- Used to compute and (01:00:36)
- Calendar time systems which have a (01:01:31)
- Time Units (01:01:32)
- Failure Consequences (01:01:54)
- Reliability Specification (01:02:38)
- Failure Classification (01:04:18)
- Steps to Reliability Specification (01:05:01)
- Example Bank auto teller (1/2) Overview (01:06:03)
- Example Bank auto teller (2/2) Specification (01:06:45)
- Limitations of Specification Validation (01:10:25)
- If a transaction takes 1 then simulating one day s (01:10:25)
- million (01:10:25)
- n Nu database corruptions means less than 1 in 200 (01:10:25)
- Compromise between Cost and Reliability (01:12:09)
- Reliability Economics (01:14:56)
- for embedded systems usually a high reliability for the cure (01:14:56)
- Certification may require high reliability even the outcome (01:14:56)
- n A reputation for unreliable products may lose future (01:14:56)
- n Depends on social and political factors (01:14:56)
- Because of very high costs of reliability it may be more (01:14:56)
- TVA Summary (01:17:35)
- Discussion Summary (01:25:15)
Keyword
Please enable javascript to use this function.
Please enable javascript to use this function.