Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
158 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
45 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Multi-Agent Optimization for Safety Analysis of Cyber-Physical Systems: Position Paper (2403.16904v1)

Published 25 Mar 2024 in cs.AI and cs.CR

Abstract: Failure Mode, Effects and Criticality Analysis (FMECA) is one of the safety analysis methods recommended by most of the international standards. The classical FMECA is made in a form of a table filled in either manually or by using safety analysis tools. In both cases, the design engineers have to choose the trade-offs between safety and other development constraints. In the case of complex cyber-physical systems (CPS) with thousands of specified constraints, this may lead to severe problems and significantly impact the overall criticality of CPS. In this paper, we propose to adopt optimization techniques to automate the decision making process conducted after FMECA of CPS. We describe a multi-agent based optimization method which extends classical FMECA for offering optimal solutions in terms of criticality and development constraints of CPS.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (24)
  1. Cyber-physical systems: Milestones and research challenges. Computer Communications 36(1) (2012) 1 – 7
  2. IEC, I.E.C.: Functional Safety of Electrical, Electronic, Programmable Electronic Safety-Related Systems. IEC 61508, parts 1 to 7. Technical report (1998 and 2000)
  3. Estefan, J.A.: Survey of model-based systems engineering (MBSE) methodologies. Technical Report INCOSE-TD-2007-003-01, International Council on Systems Engineering (INCOSE) (June 2008)
  4. Modeling and Analysis of Real-Time and Embedded Systems with {UML} and {MARTE}. Morgan Kaufmann, Boston (2014)
  5. A model-driven requirement engineering process compliant with automotive domain standards. In: Proceedings of the Third Workshop on Model Driven Tool and Process Integration (MDTPI), Paris, France (June 2010) 85–96
  6. 19 papyrus: A uml2 tool for domain-specific language modeling. In Giese, H., Karsai, G., Lee, E., Rumpe, B., Schätz, B., eds.: Model-Based Engineering of Embedded Real-Time Systems. Volume 6100 of Lecture Notes in Computer Science. Springer Berlin Heidelberg (2010) 361–368
  7. Model-driven safety assessment of robotic systems. In: Intelligent Robots and Systems (IROS), 2013 IEEE/RSJ International Conference on. (Nov 2013) 1137–1142
  8. Compositional temporal fault tree analysis. In: Proc. of the 26th Int. Conf. on Computer Safety, Reliability, and Security. SAFECOMP’07, Berlin, Heidelberg, Springer-Verlag (2007) 106–119
  9. Automatic optimisation of system architectures using east-adl. J of Syst. and Soft. 86(10) (2013) 2467 – 2487
  10. IEC, I.E.C.: Analysis techniques for system reliability – Procedures for FMEA. Technical report (1985)
  11. Multidisciplinary aerospace design optimization: survey of recent developments. Struct. optimization 14(1) (1997) 1–23
  12. The amas theory for complex problem solving based on self-organizing cooperative agents. In: WETICE’03: Proc. of the 20th Int. W. on Enabling Technologies, Wash., DC, USA, IEEE CS (2003) 383
  13. Collective self-tuning for complex product design. In: Sixth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2012, Lyon, France, September 10-14, 2012. (2012) 193–198
  14. The fsap/nusmv-sa safety analysis platform. International Journal on Software Tools for Technology Transfer 9(1) (2007) 5–24
  15. A framework for qualitative and quantitative formal model-based safety analysis. In: High-Assurance Systems Engineering (HASE), 2010 IEEE 12th International Symposium on. (Nov 2010) 132–141
  16. A natural formalism and a multi-agent algorithm for integrative multidisciplinary design optimization. In: Web Intelligence and Intelligent Agent Technologies, 2013 IEEE/WIC/ACM International Joint Conferences on. Volume 2. (Nov 2013) 146–154
  17. A self-organization process based on cooperation theory for adaptive artificial systems. In: 1st International Conference on Philosophy and Computer Science: Processes of evolution in real and Virtual Systems, Krakow, Poland. (1998)
  18. Engineering self-modeling systems: Application to biology. (2009) 248–263
  19. Mimicking human neuronal pathways in silico: an emergent model on the effective connectivity. Journal of Computational Neuroscience 36(2) (2014) 235–257
  20. Self-managed systems and services. Communications of the ACM 49 (2006) 37–39
  21. Self-adaptive support vector machine: A multi-agent optimization perspective. Expert Systems with Applications 42(9) (2015) 4284 – 4298
  22. Simulating human single motor units using self-organizing agents. In: Self-Adaptive and Self-Organizing Systems (SASO), 2012 IEEE Sixth International Conference on. (Sept 2012) 11–20
  23. Weight optimization of aircraft harnesses (short paper). In: International Conference on Practical Applications of Agents and Multiagent Systems (PAAMS), Salamanca, Springer-Verlag (mars 2012) 229–232
  24. A Self-organising Multi-Agent System Managing Complex System Design Application to Conceptual Aircraft Design. International Transactions on Systems Science and Applications, Self-organized Networked Systems 5(3) (november 2009) 208–221
Citations (4)
View on Semantic Scholar

Summary

We haven't generated a summary for this paper yet.

Ai Sparkles Streamline Icon: https://streamlinehq.com Summarize Now