A generic logical-temporal performance analysis method for complex systems

DOI10.1016/J.MATCOM.2010.09.007MaRDI QIDQ622209zbMATH OpenOpenAlexFDO

Authors Romain Kervarc, Jean Bourrely, Claire Quillien

Publication date 31 January 2011

Published in Mathematics and Computers in Simulation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.matcom.2010.09.007

zbMATH Keywords

complex systemmodelsnumerical examplesperformancesimulations

Mathematics Subject Classification ID

Probabilistic models, generic numerical methods in probability and statistics (65C20) Complexity and performance of numerical algorithms (65Y20)

Recommendations

• scientific article; zbMATH DE number 644287
• Temporal logics for the specification of performance and reliability
• Performability analysis of computer systems: from model specification to solution
• A formal approach to the integration of performance aspects in the modeling and analysis of concurrent systems
• scientific article; zbMATH DE number 744056

Cites work

• A calculus of durations
• A generic logical-temporal performance analysis method for complex systems
• Duration calculus: Logical foundations
• Fault-Tree Analysis by Fuzzy Probability
• scientific article; zbMATH DE number 909506 (Why is no real title available?)
• Possibility theory, probability and fuzzy sets. Misunderstandings, bridges and gaps
• The role of fuzzy logic in the management of uncertainty in expert systems

Cited in

(3)

• Assessing component impairing at mission level
• scientific article; zbMATH DE number 644287 (Why is no real title available?)
• A generic logical-temporal performance analysis method for complex systems

This page was built for publication: A generic logical-temporal performance analysis method for complex systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q622209)