Table of Contents Author Guidelines Submit a Manuscript
Modelling and Simulation in Engineering
Volume 2017 (2017), Article ID 1578043, 15 pages
https://doi.org/10.1155/2017/1578043
Research Article

Model-Based Dependability Analysis of Physical Systems with Modelica

1Department of Informatics, Modeling, Electronics, and System Engineering (DIMES), University of Calabria, Via P. Bucci 41C, 87036 Rende, Italy
2Department of Computer and Information Science (IDA), Linköping University, 581 83 Linköping, Sweden

Correspondence should be addressed to Andrea Tundis

Received 15 August 2016; Accepted 27 December 2016; Published 8 March 2017

Academic Editor: Franco Ramírez

Copyright © 2017 Andrea Tundis et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Linked References

  1. J. C. Laprie, Dependability: Basic Concepts and Terminology, Springer, Berlin, Germany, 1992.
  2. L. Wang, “Get real: real time software design for safety-and mission-critical systems with high dependability,” IEEE Industrial Electronics Magazine, vol. 2, no. 1, pp. 31–40, 2008. View at Publisher · View at Google Scholar · View at Scopus
  3. R. G. Bertodo, “Reliability in automotive design,” International Journal of Vehicle Design, vol. 9, no. 2, pp. 140–158, 1988. View at Google Scholar · View at Scopus
  4. W. Lim, J. Jang, S. Kim et al., “Reliability-based design optimization of an automotive structure using a variable uncertainty,” Proceedings of the Institution of Mechanical Engineers, Part D: Journal of Automobile Engineering, vol. 230, no. 10, pp. 1314–1323, 2016. View at Publisher · View at Google Scholar · View at Scopus
  5. R. Guillerm, H. Demmou, and N. Sadou, “Engineering dependability requirements for complex systems—a new information model definition,” in Proceedings of the 4th International Systems Conference (SysCon '10), pp. 149–152, San Diego, Calif, USA, April 2010. View at Publisher · View at Google Scholar · View at Scopus
  6. P. O'Connor, Reliability Engineering Handbook (Quality and Reliability), CRC Press, 1999.
  7. K. Kanoun and M. Ortalo-Borrel, “Fault-tolerant system dependability-explicit modeling of hardware and software component-interactions,” IEEE Transactions on Reliability, vol. 49, no. 4, pp. 363–376, 2000. View at Publisher · View at Google Scholar · View at Scopus
  8. D. Lee and J. Na, “A novel simulation fault injection method for dependability analysis,” IEEE Design & Test of Computers, vol. 26, no. 6, pp. 50–60, 2009. View at Publisher · View at Google Scholar · View at Scopus
  9. R. T. Hessian, B. B. Salter, and E. F. Goodwin, “Fault-tree analysis for system design, development, modification, and verification,” IEEE Transactions on Reliability, vol. 39, no. 1, pp. 87–91, 1990. View at Publisher · View at Google Scholar · View at Scopus
  10. R. McDermott, R. Mikulak, and M. Beauregard, The Basics of FMEA, CRC Press, 2009.
  11. J. Che, M. Lv, Z. Yang, Z. Wang, and F. Xu, “Equipment systems reliability analysis based on FTA,” in Proceedings of the International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering (ICQR2MSE '12), pp. 293–296, IEEE, Chengdu, China, June 2012. View at Publisher · View at Google Scholar · View at Scopus
  12. G. DAmico, F. Petroni, and F. Prattico, “Reliability measures for indexed semi-Markov chains applied to wind energy production,” Reliability Engineering and System Safety, vol. 144, pp. 170–177, 2015. View at Publisher · View at Google Scholar · View at Scopus
  13. S. K. Chauhan and S. C. Malik, “Reliability evaluation of series-parallel and parallel-series systems for arbitrary values of the parameters,” International Journal of Statistics and Reliability Engineering, vol. 3, no. 1, 2016. View at Google Scholar
  14. K. S. Son, D. H. Kim, C. H. Kim, and H. G. Kang, “Study on the systematic approach of Markov modeling for dependability analysis of complex fault-tolerant features with voting logics,” Reliability Engineering & System Safety, vol. 150, pp. 44–57, 2016. View at Publisher · View at Google Scholar · View at Scopus
  15. “Space product assurance: methods and techniques to support the assessment of software dependability and safety,” Tech. Rep. ECSS-Q80-03, ESA Publications Division, 2006.
  16. R. F. Stapelberg, Handbook of Reliability, Availability, Maintainability and Safety in Engineering Design, Springer, Berlin, Germany, 1st edition, 2008.
  17. F. Liang, W. Schamai, O. Rogovchenko, S. Sadeghi, M. Nyberg, and P. Fritzson, “Model-based requirement verification: a case study,” in Proceedings of the 9th International Modelica Conference (Modelica '12), Munich, Germany, September 2012.
  18. G. Nicolescu and P. J. Mosterman, Model Based Design for Embedded Systems (Computational Analysis, Synthesis and Design of Dynamic Systems), CRC Press, 2009.
  19. P. David, V. Idasiak, and F. Kratz, “Reliability study of complex physical systems using SysML,” Reliability Engineering and System Safety, vol. 95, no. 4, pp. 431–450, 2010. View at Publisher · View at Google Scholar · View at Scopus
  20. G. Fortino, A. Garro, and W. Russo, “A discrete-event simulation framework for the validation of agent-based and multi-agent systems,” in Proceedings of the WOA 2005—6th AI*IA/TABOO Joint Workshop “From Objects to Agents”: Simulation and Formal Analysis of Complex Systems, pp. 75–84, Camerino, Italy, November 2005.
  21. G. Fortino, A. Garro, W. Russo, R. Caico, M. Cossentino, and F. Termine, “Simulation-driven development of multi-agent systems,” in Proceedings of the 4th International Industrial Simulation Conference (ISC '06), pp. 17–24, Palermo, Italy, June 2006. View at Scopus
  22. B. Dodson and D. Nolan, Practical Reliability Engineering, John Wiley & Sons, New York, NY, USA, 2002.
  23. Modelica and Modelica Association 2016, https://www.modelica.org/.
  24. J. Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference, Morgan Kaufmann Publishers, San Mateo, Calif, USA, 1988. View at MathSciNet
  25. L. Portinale and A. Bobbio, “Bayesian networks for dependability analysis: an application to digital control reliability,” in Proceedings of the 15th Conference on Uncertainty in Artificial Intelligence (UAI '13), Washington, DC, USA, July 2013.
  26. GeNIe 2016, http://www.openclinical.org/dld_genieSmile.html.
  27. MODRIO 2016 (Model Driven Physical Systems Operation) ITEA 3 Project, https://itea3.org/project/modrio.html.
  28. P. Fritzson, Principles of Object-Oriented Modeling and Simulation with Modelica 3.3, Wiley IEEE Press, 2nd edition, 2015.
  29. OpenModelica 2016, https://openmodelica.org/.
  30. Dymola 2016, http://www.3ds.com/products-services/catia/products/dymola.
  31. Wolfram—SystemModeler (MathModelica), http://www.mathcore.com/products/mathmodelica/.
  32. S. Robinson, R. E. Nance, R. J. Paul, M. Pidd, and S. J. E. Taylor, “Simulation model reuse: Definitions, benefits and obstacles,” Simulation Modelling Practice and Theory, vol. 12, no. 7-8, pp. 479–494, 2004. View at Publisher · View at Google Scholar · View at Scopus
  33. E. Gallego, J. M. Alvarez Rodríguez, and J. Llorens, “Reuse of Physical system models by means of semantic knowledge representation: a case study applied to Modelica,” in Proceedings of the The 11th International Modelica Conference, pp. 747–757, Linköping University Electronic Press, Versailles, France, September 2015. View at Publisher · View at Google Scholar
  34. FMI 2016—Functional Mock-Up Interface v 2.0., https://www.fmi-standard.org/.
  35. P. Fritzson and A. Pop, “Meta-programming and language modeling with MetaModelica 1.0,” Tech. Rep. 2011:9, Linköping University, 2011. View at Google Scholar
  36. OpenModelica Prototype 2016, https://openmodelica.org/svn/OpenModelica/branches/requirements.
  37. A. Tundis, L. Rogovchenko-Buffoni, A. Garro, M. Nyberg, and P. Fritzson, “Performing fault tree analysis of a modelica-based system design through a probability model,” in Proceedings of the International Workshop on Applied Modeling and Simulation (WAMS '13), Buenos Aires, Argentina, November 2013.
  38. D. Chambers and M. Chambers, RAMS Analysis Guides, Kindle, 2012.
  39. P. J. Kennedy, “Application of RAM to communication systems,” IEEE Transactions on Reliability, vol. 25, no. 5, pp. 304–310, 1976. View at Publisher · View at Google Scholar
  40. L. Cauffriez, V. Benard, and D. Renaux, “A new formalism for designing and specifying RAMS parameters for complex distributed control systems: the safe-SADT formalism,” IEEE Transactions on Reliability, vol. 55, no. 3, pp. 397–410, 2006. View at Publisher · View at Google Scholar · View at Scopus
  41. M. Bouissou and X. De Bossoreille, “From modelica models to dependability analysis,” in Proceedings of the 5th IFAC International Workshop on Dependable Control of Discrete Systems (DCDS '15), pp. 37–43, IFAC-PapersOnLine, Elsevier, May 2015. View at Publisher · View at Google Scholar · View at Scopus
  42. C. Schallert, “Automated safety analysis by minimal path set detection for multi-domain object-oriented models,” in Proceedings of the 11th International Modelica Conference, pp. 565–575, Versailles, France, September 2015. View at Publisher · View at Google Scholar
  43. C. Schallert, Integrated Safety and Reliability Analysis Methods for Aircraft System Development Using MultiDomain Object-Oriented Models, 2015.
  44. Z. Mingqing, X. Gang, S. Jinato, C. Lipiing, and Z. Fanli, “A new fault injection method for liquid rocket pressurization and feed system,” in Proceedings of the 11th International Modelica Conference, pp. 557–563, Versailles, France, September 2015. View at Publisher · View at Google Scholar
  45. J. Fitzgerald, P. G. Larsen, K. Pierce, M. Verhoef, and S. Wolff, “Collaborative modelling and co-simulation in the Development of Dependable Embedded Systems,” in Book Chapter of Integrated Formal Methods, vol. 6396 of Lecture Notes in Computer Science, pp. 12–26, Springer, Berlin, Germany, 2010. View at Google Scholar
  46. D. Lee, B. Lee, and J. W. Shin, “Fault detection and diagnosis with modelica language using deep belief network,” in Proceedings of the 11th International Modelica Conference, Versailles, France, September 2015.
  47. EUROSYSLIB 2010—ITEA 2 Project, http://www.eurosyslib.com/.
  48. ODELISAR 2011—ITEA 2 Project, https://itea3.org/project/modelisar.html.
  49. OPENPROD 2012—ITEA 2 Project, https://itea3.org/project/openprod.html.
  50. M. Bouissou, H. Bouhadana, M. Bannelier, and N. Villatte, “Knowledge modelling and reliability processing: presentation of the FIGARO language and associated tools,” in Proceedings of the International Conference on Computer Safety, Reliability and Security (SafeComp), Trondheim, Norway, 1991.
  51. M. Bouissou and L. Buffoni, “Dependability analysis for modelica models,” in Proceedings of the International Workshop (MODPROD '15), Linkoping, Sweden, 2015.
  52. T. Nguyen, “FORM-L: A MODELICA extension for properties modelling illustrated on a practical example,” in Proceedings of the 10th International Modelica Conference, pp. 1227–1236, Lund, Sweden, March 2014. View at Publisher · View at Google Scholar
  53. P. F. Lena Buffoni, “Expressing requirements in modelica,” SNE Simulation Notes Europe, vol. 25, no. 3-4, pp. 185–189, 2015. View at Publisher · View at Google Scholar
  54. A. Jardin, D. Bouskela, T. Nguyen et al., “Modelling of system properties in a modelica framework,” in Proceedings of the The 8th International Modelica Conference, pp. 579–592, Technical Univeristy, Dresden, Germany, March 2011. View at Publisher · View at Google Scholar
  55. M. Otter, N. Thuy, D. Bouskela et al., “Formal requirements modeling for simulation-based verification,” in Proceedings of the The 11th International Modelica Conference, pp. 625–635, Linköping University Electronic Press, Versailles, France, September 2015. View at Publisher · View at Google Scholar
  56. A. Garro, A. Tundis, M. Otter et al., “On formal cyber physical system properties modeling: a new temporal logic language and a Modelica-based solution,” in Proceedings of the 2nd IEEE International Symposium on Systems Engineering (IEEE ISSE '16), Edinburgh, Scotland, October 2016. View at Publisher · View at Google Scholar
  57. A. Tundis, L. Rogovchenko-Buffoni, P. Fritzson, and A. Garro, “Modeling system requirements in modelica: definition and comparison of candidate approaches,” in Proceedings of the 5th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT '13), Nottingham, UK, April 2013.
  58. P.-A. Brameret, A. Rauzy, and J.-M. Roussel, “Automated generation of partial Markov chain from high level descriptions,” Reliability Engineering & System Safety, vol. 139, pp. 179–187, 2015. View at Publisher · View at Google Scholar · View at Scopus