References

  1. Abts, C., Boehm, B., Brown, W.A., Chulani, S., Clark, B.K., Horowitz, E., Madachy, R., Reifer, D.J., Steece, B. (2000). Software Cost Estimation with COCOMO II (with CD-ROM). Prentice-Hall.
  2. Aiguier, M., Golden, B., Krob, D. (2010). Complex systems architecture and modeling. In First International Conference on Complex Systems Design & Management (CSD&M 2010), Aiguier, M., Bretaudeau, F., Krob, D. (eds).
  3. Aiguier, M., Golden, B., Krob, D. (2012). Modeling of complex systems II: A minimalist and unified semantics for heterogeneous integrated systems. Applied Mathematics and Computation, 218(16), 8039–8055. doi:10.1016/j.amc.2012.01.048.
  4. Aiguier, M., Golden, B., Krob, D. (2013). An adequate logic for heterogeneous systems. In Proceedings of the 18th International Conference on Engineering of Complex Computer Systems (ICECCS’ 2013), Liu, Y. and Martin, A. (eds). IEEE. doi:10.1109/ ICECCS.2013.19.
  5. Alur, R. and Dill, D.L. (1994). A theory of timed automata. Theoretical Computer Science, 126(2), 183–235.
  6. ANSI/GEIA (2003). ANSI/GEIA EIA-632 – Processes for Engineering a System.
  7. ANSI/IEEE (2000). ANSI/IEEE 1471-2000 – Recommended Practice for Architecture Description of Software-Intensive Systems.
  8. Antonopoulos, J. (1992). The great Minoan eruption of Thera volcano and the ensuing tsunami in the Greek archipelago. Natural Hazards, 5(2), 153–168.
  9. Artale, A. (2010–2011). Formal methods – lecture III: Linear temporal logic. Free University of Bolzano [Online]. Available at: https://web.iitd.ac.in/~sumeet/slide3.pdf.
  10. Aslaksen, E.W. (1996). The Changing Nature of Engineering. McGraw-Hill.
  11. Aslaksen, E.W. and Belcher, R. (1992). Systems Engineering. Prentice Hall.
  12. Baier, C. and Katoen, J.P. (2008). Principles of Model Checking. MIT Press.
  13. Barwise, J. (1972). Handbook of Mathematical Logics. North-Holland.
  14. Bellman, R.E. (1957). Dynamic Programming. Princeton University Press.
  15. Berrebi, J. and Krob, D. (2012). How to use systems architecture to specify the operational perimeter of an innovative product line? In Proceedings of INCOSE International Symposium of 2012 (IS 2012), Celentano, M. (ed.). INCOSE.
  16. von Bertalanffy, K.L. (1976). General System Theory: Foundations, Development, Applications. George Braziller.
  17. Blanchard, B.S. and Fabricky, W.J. (1998). Systems Engineering and Analysis. Prentice Hall.
  18. Bliudze, S. and Krob, D. (2005). Towards a functional formalism for modelling complex industrial systems. In Proceedings of the European Conference on Complex Systems (ECCS’05), Bourgine, P., Képès, F., Schoenauer, M. (eds). article 193.
  19. Bliudze, S. and Krob, D. (2006). Towards a functional formalism for modelling complex industrial systems. ComPlexUs, Special Issue: Complex Systems – European Conference, November 2005, Selected Papers, Part 1, 2, (3–4), 163–176
  20. Bliudze, S. and Krob, D. (2009). Modeling of complex systems – Systems as data-flow machines. Fundamenta Informaticae, Special Issue: Machines, Computations and Universality, 91, 1–24.
  21. Boehm, B. (1981). Software Engineering Economics. Prentice-Hall.
  22. Booch, G., Jacobson, I., Rumbaugh, J. (2004). The Unified Modeling Language Reference Manual, 2nd edition. Addison-Wesley.
  23. Börger, E. and Stärk, R. (2003). Abstract State Machines. Springer.
  24. Caseau, Y., Krob, D., Peyronnet, S. (2007). Complexité des systèmes d’information : une famille de mesures de la complexité scalaire d’un schéma d’architecture. Génie Logiciel, 82, 23–30.
  25. Cha, P.D., Rosenberg, J., Dym, C.L. (2000). Fundamentals of Modeling and Analyzing Engineering Systems. Cambridge University Press.
  26. Chalé Gongora, H.G., Doufene, A., Krob, D. (2012). Complex systems architecture framework. Extension to multi-objective optimization. In Proceedings of the 3rd International Conference on Complex Systems Design & Management (CSDM 2012), Caseau, Y., Krob, D., Rauzy, A. (eds). Springer Verlag.
  27. Cousot, P. and Cousot, R. (1996). Abstract interpretation. Symposium on Models of Programming Languages and Computation, ACM Computing Surveys, June, 28(2), 324–328.
  28. Dauron, A., Doufène, A., Krob, D. (2011). Complex systems operational analysis – A case study for electric vehicles. In 2nd International Conference on Complex Systems Design & Management (CSDM 2011), Hammami, O., Krob, D., Voirin, J.L. (eds).
  29. Doufène, A. and Krob, D. (2013). Sharing the total cost of ownership of electric vehicles: A study on the application of game theory. Proceedings of INCOSE International Symposium of 2013 (IS2013).
  30. Doufène, A. and Krob, D. (2014). Model-based operational analysis for complex systems – A case study for electric vehicles. Proceedings of INCOSE International Symposium of 2014 (IS2014).
  31. Doufène, A. and Krob, D. (2015). Pareto optimality and Nash equilibrium for building stable systems. IEEE International Systems Conference.
  32. Forrester, J.W. (1971). World Dynamics. Productivity Press.
  33. Friedenthal, S., Moore, A.C., Steiner, R. (2012). A Practical Guide to SysML: The Systems Modeling Language. Morgan Kaufmann OMG Press.
  34. Giakoumakis, V., Krob, D., Liberti, L., Roda, F. (2010). Optimal technological architecture evolutions of information systems. In Proceedings of the First International Conference on Complex Systems Design & Management (CSDM 2010), Aiguier, M., Bretaudeau, F., Krob, D. (eds). Springer Verlag.
  35. Giakoumakis, V., Krob, D., Liberti, L., Roda, F. (2012). Technological architecture evolutions of Information Systems: Trade-off and optimization. Concurrent Engineering: Research and Applications, 20(2), 127–147.
  36. Godfrey, M.D. and Hendry, D.F. (1993). The computer as von Neuman planned it. IEEE Annals of the History of Computing, 15(1), 11–21.
  37. Grady, J.O. (2006). System Requirements Analysis. Elsevier.
  38. Grady, J.O. (2007). System Verification – Proving the Design Solution Satisfies the Requirements. Elsevier.
  39. Gruhl, W. (1992). Lessons learned, cost/schedule assessment guide. Internal presentation, NASA Comptroller’s Office.
  40. Hofstadter, D.R. (1979). Gödel, Escher, Bach: An Eternal Golden Braid. Basic Books.
  41. Honour, E.C. (2014). Understanding the value of systems engineering. Proceedings of INCOSE 2014 International Symposium, 14, 1207–1222, Toulouse, 20–24 June 2014, France [Online]. Available at: http://www.seintelligence.fr/content/images/2015/12/ValueSE-INCOSE04.pdf.
  42. IEEE (2005). IEEE 1220-2005 – Standard for Application and Management of the Systems Engineering Process. Institute of Electrical and Electronics Engineers.
  43. INCOSE (2011). Systems Engineering Handbook, A Guide for System Life Cycle Processes and Activities. INCOSE.
  44. ISO (2018). ISO 20077 – Road Vehicles — Extended Vehicle (ExVe) Methodology. ISO.
  45. ISO/IEC/IEEE (May 2015). ISO/IEC/IEEE 15288:2015 – Systems and Software Engineering – System Life Cycle Processes. ISO.
  46. Katoen, J.P. (2009). LTL Model Checking. University of Twente.
  47. Korzybski, A. (1950). Science and Sanity: An Introduction to Non-Aristotelian Systems and General Semantics. International Nonaristotelian.
  48. Kossiakoff, A. and Sweet, W.N. (2003). Systems Engineering – Principles and Practice. Wiley.
  49. Krob, D. (2006). Modelling of complex software systems: A reasoned overview. In 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE’2006), Najm, E., Pradat-Peyre, J.-F., Viguié Donzeau-Gouge, V. (eds). Lecture Notes in Computer Science, 4229, Springer Verlag.
  50. Krob, D. (2007). Architecture of complex systems: Why, what and how? In Proceedings of Cognitive Systems with Interactive Sensors (COGIS’07), Aghajan, H., Lecadre, J.P., Reynaud, R. (eds). Stanford University.
  51. Krob, D. (2008). Comment sécuriser la conception et le déploiement des logiciels métiers par une démarche d’architecture collaborative ? In Proceedings of journée française des tests logiciels, Homès, B. (ed.). CFTL.
  52. Krob, D. (2009). Eléments d’architecture des systèmes complexes. In Gestion de la complexité et de l’information dans les grands systèmes critiques, Appriou, A. (ed.). CNRS Editions.
  53. Krob, D. (2012). Eléments de systémique – architecture de systèmes. In Complexité- Simplexité, Berthoz, A. and Petit, J.L. (eds). Editions Odile Jacob.
  54. Krob, D. (2013). Eléments de modélisation systémique. In L’Energie à découvert, Mossery, R. and Jeandel, C. (eds). CNRS Editions.
  55. Kröger, F. and Merz, S. (2008). Temporal Logic and State Systems. Springer.
  56. Lamport, L. (2003). Specifying Systems – The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley.
  57. Leveson, N. (2012). Engineering a Safer World: Systems Thinking Applied to Safety (Engineering Systems). The MIT Press.
  58. Leveson, N. (2020). System Safety Engineering: Back to the Future. Aeronautics and Astronautics Massachussetts Institute of Technology.
  59. Lions, J.L. (1996). Ariane 5 – Flight 501 Failure. Report by the Inquiry Board, ESA.
  60. Luzeaux, D. and Ruault, J.R. (2010). Systems of Systems. ISTE Ltd and John Wiley & Sons.
  61. Maier, M.W. and Rechtin, E. (2002). The Art of Systems Architecting. CRC Press.
  62. Manna, Z. and Pnueli, A. (1992). The Temporal Logic of Reactive and Concurrent Systems. Springer.
  63. Marwedel, P. (2003). Embedded System Design. Kluwer.
  64. Meadows, D.H., Meadows, D.L., Randers, J., Berhens III, W.W. (1972). The Limits to Growth. Universe Books.
  65. Meinadier, J.P. (1998). Ingénierie et intégration de systèmes. Hermes.
  66. Meinadier, J.P. (2002). Le métier d’intégration de systèmes. Hermes Lavoisier.
  67. Miles, L.D. (1972). Techniques of Value Analysis and Engineering. McGraw-Hill.
  68. Murray, R.M. (2012). Linear Temporal Logic. California Institute of Technology.
  69. Murschel, A. (1995). The structure and function of Ptolemy’s physical hypotheses of planetary motion. Journal for the History of Astronomy, xxvii, 33–36.
  70. NASA (2016). Systems Engineering Handbook. NASA SP-2016-6105 Rev2.
  71. de Neufville, R. (1994). The baggage system at Denver: Prospects and lessons. Journal of Air Transport Management, December, 1(4), 229–236.
  72. von Neuman, J. (1945). First draft of a report on the EDVAC, June 30. Moore School of Electrical Engineering, University of Pennsylvania.
  73. Novikova, T., Papadopoulos, G.A., McCoy, F.W. (2011). Modelling of tsunami generated by the giant Late Bronze Age eruption of Thera, south Aegean sea, Greece. Geophysical Journal International, 186(2), 665–680.
  74. Parnell, G.S., Driscoll, P.J., Henderson, D.L. (2001). Decision Marking in Systems Engineering and Management. Wiley.
  75. Pnueli, A. (1977). The temporal logics of programs. Proceedings of IEEE 54th Annual Symposium on Foundations of Computer Science (FOCS’77), 46–57, IEEE.
  76. Printz, J. (2001). Productivité des programmeurs. Hermès.
  77. Rauzy, A. (2008). Guarded transition systems: A new states/events formalism for reliability studies. Journal of Risk and Reliability. Professional Engineering Publishing, 222(4), 495–505.
  78. Sage, A.P. and Armstrong, J.E. (2000). Introduction to Systems Engineering. Wiley.
  79. Schloh, M. (1996). The Denver International Airport Automated Baggage Handling System. February 6, Cal Poly.
  80. Severance, F.L. (2001). System Modeling and Simulation – An Introduction. Wiley.
  81. Sillitto, H. (2014). Architecting Systems – Concepts, Principles and Practice. College Publications.
  82. Simon, H. (1962). The architecture of complexity. Proceedings of the American Philosophica, December, 106(6), 467–482.
  83. Simpson, T.W., Siddique, Z., Jiao, J.R. (2006). Product Platform and Product Family Design, Methods and Applications. Springer Verlag.
  84. Smith, D.J. (2017). Reliability, Maintainability and Risk: Practical Methods for Engineers. Butterworth-Heinemann
  85. Smith, D.J. and Simpson, K.G.L. (2020). The Safety Critical Systems Handbook: A Straightforward Guide to Functional Safety: IEC 61508 (2010 Edition), IEC 61511 (2016 Edition) also Related Guidance on Cyber Security & Including Machinery and Other Industrial Sectors. Butterworth-Heinemann.
  86. Strauss-Kahn, D. (2020). L’être, l’avoir et le pouvoir dans la crise. Politique Internationale [Online]. Available at: www.leclubdesjuristes.com/letre-lavoir-et-le-pouvoir-dans-la-crise/.
  87. The Open Group (2011). TOGAF® Version 9.1 – The Book. The Open Group.
  88. Turner, W.C., Mize, J.H., Case, K.H., Nazemetz, J.W. (1978). Introduction to Industrial and Systems Engineering. Prentice Hall.
  89. Valerdi, R. (2008). The Constructive Systems Engineering Cost Model (COSYSMO), Quantifying the Costs of Systems Engineering Effort in Complex Systems. VDM Verlag Dr. Muller.
  90. de Weck, O. (2006). Strategic Engineering – Designing Systems for an Uncertain Future. MIT.
  91. de Weck, O., Krob, D., Liberti, L., Marinelli, F. (2009). A general framework for combined module- and scale-based product platform design. In Proceedings of the Second International Engineering Systems Symposium, Roos, D. (ed.). MIT.
  92. de Weck, O., Roos, D., Magee, C.L. (2011). Engineering Systems – Meeting Human Needs in a Complex Technological World. The MIT Press.
  93. de Weck, O., Krob, D., Lefei, L., Lui, P.C., Rauzy, A., Zhang, X.G. (2020). Handling the COVID-19 crisis: Towards an agile model-based approach. Systems Engineering, 23(5), 656–670.
  94. White, S.A. and Miers, D. (2008). BPMN Modeling and Reference Guide, Understanding and Using BPMN. Future Strategies.
  95. Wikipedia (2020). COSYSMO [Online]. Available at: https://en.wikipedia.org/wiki/COSYSMO [Accessed 10 July 2020].
  96. Wikipedia (2021a). Airbus A380 [Online]. Available at: https://en.wikipedia.org/wiki/Airbus_A380 [Accessed 23 November 2021].
  97. Wikipedia (2021b). COCOMO [Online]. Available at: https://en.wikipedia.org/wiki/COCOMO [Accessed 29 July 2021].
  98. Wikipedia (2021c). Deferent and epicycle [Online]. Available at: https://en.wikipedia.org/wiki/Deferent_and_epicycle [Accessed 17 November 2021].
  99. Wikipedia (2021d). Enterprise architecture framework [Online]. Available at: https://en.wikipedia.org/wiki/Enterprise_architecture_framework [Accessed 20 November 2021].
  100. Wikipedia (2021e). Nash equilibrium [Online]. Available at: https://en.wikipedia.org/wiki/Nash_equilibrium [Accessed 25 October 2021].
  101. Wikipedia (2021f). Occam’s razor [Online]. Available at: https://en.wikipedia.org/wiki/Occam%27s_razor [Accessed 13 November 2021].
  102. Wikipedia (2021g). Organon [Online]. Available at: https://en.wikipedia.org/wiki/Organon [Accessed 13 August 2021].
  103. Wikipedia (2021h). OSI model [Online]. Available at: https://en.wikipedia.org/wiki/OSI_model [Accessed 19 November 2021].
  104. Wikipedia (2021i). Predicate [Online]. Available at: https://en.wikipedia.org/wiki/Predicate_(mathematical_logic) [Accessed 3 September 2021].
  105. Wikipedia (2021j). Systems architecture [Online]. Available at: https://en.wikipedia.org/wiki/Systems_architecture [Accessed 9 September 2021].
  106. Wikipedia (2021k). Systems biology [Online]. Available at: https://en.wikipedia.org/wiki/Systems_biology [Accessed 10 November 2021].
  107. Wikipedia (2021l). Systems engineering [Online]. Available at: https://en.wikipedia.org/wiki/Systems_engineering [Accessed 9 October 2021].
  108. Wikipedia (2021m). Systems psychology [Online]. Available at: https://en.wikipedia.org/wiki/Systems_psychology [Accessed 5 November 2021].
  109. Wikipedia (2021n). Systems theory [Online]. Available at: https://en.wikipedia.org/wiki/Systems_theory [Accessed 4 November 2021].
  110. Wikipedia (2021o). Trade-off [Online]. Available at: https://en.wikipedia.org/wiki/Trade-off [Accessed 22 September 2021].
  111. Wikipedia (2021p). Von Neuman architecture [Online]. Available at: https://en.wikipedia.org/wiki/Von_Neumann_architecture [Accessed 17 November 2021].
  112. Wikiquote (2021). Systems engineering [Online]. Available at: https://en.wikiquote.org/wiki/Systems_engineering [Accessed 25 August 2021].
  113. Winskel, G. (1993). The Formal Semantics of Programming Languages – An Introduction. The MIT Press.
  114. World Health Organization (2021). Coronavirus Disease 2019 (COVID-19) situation reports [Online]. Available at: www.who.int/emergencies/diseases/novel-coronavirus-2019/situation-reports/ [Accessed 17 November 2021].
  115. Zeigler, B.P., Praehofer, H., Kim, T.G. (2000). Theory of Modeling and Simulation – Integrating Discrete Events and Continuous Dynamic Systems. Academic Press.
..................Content has been hidden....................

You can't read the all page of ebook, please click here login for view all page.
Reset