Experimentation of the MBSA methodology through the AltaRica language : Glossary

Glossary
Experimentation of the MBSA methodology through the AltaRica language

Authors : Pierre SAMMUT, David MAILLAND

Review date: June 23, 2022 | Lire en français

Add to my library

7. Glossary

Failure (ISO 13372)

End of an element's ability to perform a required function.

Functional architecture (ISO/IEC 17789 standard)

The functional architecture design elaborates the system's operating logic based on expected services and performance.

Failure rate (IEC/IEC 60812 standard)

The failure rate, usually denoted λ (t), is :

λ (t) = \frac{- d R (t) / d t}{R (t)}

The term λ (t) dt measures the probability of a device failure occurring in the time interval [t, t + dt], given that the device...

You do not have access to this resource.

Exclusive to subscribers. 97% yet to be discovered!

You do not have access to this resource. Click here to request your free trial access!

Already subscribed? Log in!

Ongoing reading
Glossary

(1) - POINT (G.) - AltaRica : contribution à l'unification des méthodes formelles et de la sûreté de fonctionnement. - Thèse présentée à l'université de Bordeaux I, janvier 2000.
(2) - PROSVIRNOVA (T.) - AltaRica 3.0 : une approche orientée...

You do not have access to this resource.

Exclusive to subscribers. 97% yet to be discovered!

You do not have access to this resource. Click here to request your free trial access!

Already subscribed? Log in!

Article included in this offer

Updated and enriched with articles validated by our scientific committees

Services

A set of exclusive tools to complement the resources