Skip to main content

2014 | OriginalPaper | Buchkapitel

8. Axiomatic Design Theory for Cyber-Physical System

verfasst von : Cengiz Togay

Erschienen in: Applied Cyber-Physical Systems

Verlag: Springer New York

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Cyber-physical systems (CPSs) include hardware, software, and network entities, while considering the limitations of human element as well. CPSs are based on the embedded systems. In situations requiring reliable operations, embedded system designs are generally preferred.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat E. A. Lee, “Cyber-Physical Systems: Design Challenges,” in Object Oriented Real-Time Distributed Computing (ISORC), 2008 11th IEEE International Symposium on, 2008, pp. 363–369. E. A. Lee, “Cyber-Physical Systems: Design Challenges,” in Object Oriented Real-Time Distributed Computing (ISORC), 2008 11th IEEE International Symposium on, 2008, pp. 363–369.
2.
Zurück zum Zitat Y. Jia, Z. Zhang, and S. Xie, “Modeling and verification of interactive behavior for cyber-physical systems,” in 2011 IEEE 2nd International Conference on Software Engineering and Service Science (ICSESS), 2011, pp. 552–555. Y. Jia, Z. Zhang, and S. Xie, “Modeling and verification of interactive behavior for cyber-physical systems,” in 2011 IEEE 2nd International Conference on Software Engineering and Service Science (ICSESS), 2011, pp. 552–555.
4.
Zurück zum Zitat C. Togay, A. H. Dogru, and J. U. Tanik, “Systematic Component-Oriented development with Axiomatic Design,” J. Syst. Softw., vol. 81, no. 11, pp. 1803–1815, Nov. 2008. C. Togay, A. H. Dogru, and J. U. Tanik, “Systematic Component-Oriented development with Axiomatic Design,” J. Syst. Softw., vol. 81, no. 11, pp. 1803–1815, Nov. 2008.
5.
Zurück zum Zitat C. Togay, “Systematic Component-Oriented Development with Axiomatic Design,” Dissertation, Middle East Technical University, Ankara, Turkey, 2008. C. Togay, “Systematic Component-Oriented Development with Axiomatic Design,” Dissertation, Middle East Technical University, Ankara, Turkey, 2008.
6.
Zurück zum Zitat A. H. Dogru and M. M. Tanik, “A Process Model for Component-Oriented Software Engineering,” IEEE Softw., vol. 20, no. 2, pp. 34–41, Mar. 2003. A. H. Dogru and M. M. Tanik, “A Process Model for Component-Oriented Software Engineering,” IEEE Softw., vol. 20, no. 2, pp. 34–41, Mar. 2003.
7.
Zurück zum Zitat J. Huang, F. B. Bastani, I.-L. Yen, and W. Zhang, “A Framework for Efficient Service Composition in Cyber-Physical Systems,” in Service Oriented System Engineering (SOSE), 2010 Fifth IEEE International Symposium on, 2010, pp. 291–298. J. Huang, F. B. Bastani, I.-L. Yen, and W. Zhang, “A Framework for Efficient Service Composition in Cyber-Physical Systems,” in Service Oriented System Engineering (SOSE), 2010 Fifth IEEE International Symposium on, 2010, pp. 291–298.
8.
Zurück zum Zitat W. Liu, B. Liu, and D. Sun, “A conceptual framework for dynamic manufacturing resource service composition and optimization in service-oriented networked manufacturing,” in 2011 International Conference on Cloud and Service Computing (CSC), 2011, pp. 118–125. W. Liu, B. Liu, and D. Sun, “A conceptual framework for dynamic manufacturing resource service composition and optimization in service-oriented networked manufacturing,” in 2011 International Conference on Cloud and Service Computing (CSC), 2011, pp. 118–125.
9.
Zurück zum Zitat A. Pohl, H. Krumm, F. Holland, I. Luck, and F.-J. Stewing, “Service-Orientation and Flexible Service Binding in Distributed Automation and Control Systems,” in Advanced Information Networking and Applications - Workshops, 2008. AINAW 2008. 22nd International Conference on, 2008, pp. 1393–1398. A. Pohl, H. Krumm, F. Holland, I. Luck, and F.-J. Stewing, “Service-Orientation and Flexible Service Binding in Distributed Automation and Control Systems,” in Advanced Information Networking and Applications - Workshops, 2008. AINAW 2008. 22nd International Conference on, 2008, pp. 1393–1398.
10.
Zurück zum Zitat J. Liu and L. Zhang, “Aspect-Oriented MDA Development Method for Non-Functional Properties of Cyber Physical Systems,” in Networking and Distributed Computing (ICNDC), 2011 Second International Conference on, 2011, pp. 149–153. J. Liu and L. Zhang, “Aspect-Oriented MDA Development Method for Non-Functional Properties of Cyber Physical Systems,” in Networking and Distributed Computing (ICNDC), 2011 Second International Conference on, 2011, pp. 149–153.
11.
Zurück zum Zitat L. Jingyong, Z. Yong, Z. Lichen, and C. Yong, “Applying AOP and MDA to Middleware-Based Distributed Real-Time Embedded Systems Software Process,” in Information Processing, 2009. APCIP 2009. Asia-Pacific Conference on, 2009, vol. 1, pp. 270–273. L. Jingyong, Z. Yong, Z. Lichen, and C. Yong, “Applying AOP and MDA to Middleware-Based Distributed Real-Time Embedded Systems Software Process,” in Information Processing, 2009. APCIP 2009. Asia-Pacific Conference on, 2009, vol. 1, pp. 270–273.
14.
Zurück zum Zitat F. Slomka, S. Kollmann, S. Moser, and K. Kempf, “A Multidisciplinary Design Methodology for Cyber-physical Systems,” in Proceedings of the 4th International Workshop on Model Based Architecting and Construction of Embedded Systems, 2011. F. Slomka, S. Kollmann, S. Moser, and K. Kempf, “A Multidisciplinary Design Methodology for Cyber-physical Systems,” in Proceedings of the 4th International Workshop on Model Based Architecting and Construction of Embedded Systems, 2011.
15.
Zurück zum Zitat P. Derler, E. A. Lee, and A. Sangiovanni-Vincentelli, “Modeling Cyber-Physical Systems,” Proceedings of the IEEE (special issue on CPS), vol. 100, no. 1, pp. 13 – 28, Jan. 2012. P. Derler, E. A. Lee, and A. Sangiovanni-Vincentelli, “Modeling Cyber-Physical Systems,” Proceedings of the IEEE (special issue on CPS), vol. 100, no. 1, pp. 13 – 28, Jan. 2012.
16.
Zurück zum Zitat K. Wan, D. Hughes, K. L. Man, T. Krilavicius, and S. Zou, “Investigation on Composition Mechanisms for Cyber Physical Systems,” International Journal of Design, Analaysis and Tools for Circuits and Systems, vol. 2, no. 1, p. 30, Aug. 2011. K. Wan, D. Hughes, K. L. Man, T. Krilavicius, and S. Zou, “Investigation on Composition Mechanisms for Cyber Physical Systems,” International Journal of Design, Analaysis and Tools for Circuits and Systems, vol. 2, no. 1, p. 30, Aug. 2011.
17.
Zurück zum Zitat A. Taherkordi, F. Loiret, A. Abdolrazaghi, R. Rouvoy, Q. Le-Trung, and F. Eliassen, “Programming sensor networks using REMORA component model,” in Proceedings of the 6th IEEE international conference on Distributed Computing in Sensor Systems, Berlin, Heidelberg, 2010, pp. 45–62. A. Taherkordi, F. Loiret, A. Abdolrazaghi, R. Rouvoy, Q. Le-Trung, and F. Eliassen, “Programming sensor networks using REMORA component model,” in Proceedings of the 6th IEEE international conference on Distributed Computing in Sensor Systems, Berlin, Heidelberg, 2010, pp. 45–62.
19.
Zurück zum Zitat Y. Zhao, J. Liu, and E. A. Lee, “A Programming Model for Time-Synchronized Distributed Real-Time Systems,” in Real Time and Embedded Technology and Applications Symposium, 2007. RTAS’07. 13th IEEE, 2007, pp. 259–268. Y. Zhao, J. Liu, and E. A. Lee, “A Programming Model for Time-Synchronized Distributed Real-Time Systems,” in Real Time and Embedded Technology and Applications Symposium, 2007. RTAS’07. 13th IEEE, 2007, pp. 259–268.
20.
Zurück zum Zitat “IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA),” IEEE Std 1516 Series. “IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA),” IEEE Std 1516 Series.
21.
Zurück zum Zitat K. L. Morse, M. Lightner, R. Little, B. Lutz, and R. Scrudder, “Enabling simulation interoperability,” Computer, vol. 39, no. 1, pp. 115–117, Jan. 2006. K. L. Morse, M. Lightner, R. Little, B. Lutz, and R. Scrudder, “Enabling simulation interoperability,” Computer, vol. 39, no. 1, pp. 115–117, Jan. 2006.
23.
Zurück zum Zitat N. P. Suh, Axiomatic Design: Advances and Applications. Oxford University Press, 2001. N. P. Suh, Axiomatic Design: Advances and Applications. Oxford University Press, 2001.
24.
Zurück zum Zitat C. Togay, O. Aktunc, M. M. Tanik, and A. H. Dogru, “Measurement of Component Congruity for Composition,” in The Ninth World Conference on Integrated Design and Process Technology, 2006. C. Togay, O. Aktunc, M. M. Tanik, and A. H. Dogru, “Measurement of Component Congruity for Composition,” in The Ninth World Conference on Integrated Design and Process Technology, 2006.
25.
Zurück zum Zitat A. A. Cardenas, S. Amin, and S. Sastry, “Secure Control: Towards Survivable Cyber-Physical Systems,” in Distributed Computing Systems Workshops, 2008. ICDCS’08. 28th International Conference on, 2008, pp. 495–500. A. A. Cardenas, S. Amin, and S. Sastry, “Secure Control: Towards Survivable Cyber-Physical Systems,” in Distributed Computing Systems Workshops, 2008. ICDCS’08. 28th International Conference on, 2008, pp. 495–500.
26.
Zurück zum Zitat C. Togay, E. S. Caniaz, and A. H. Dogru, “Rule Based Axiomatic Design Theory Guidance for Software Development,” in CORCS 2012: The 4th IEEE International Workshop on - COMPSAC, 2012. C. Togay, E. S. Caniaz, and A. H. Dogru, “Rule Based Axiomatic Design Theory Guidance for Software Development,” in CORCS 2012: The 4th IEEE International Workshop on - COMPSAC, 2012.
27.
Zurück zum Zitat K. Wan, K. L. Man, and D. Hughes, “Specification, Analyzing Challenges and Approaches for Cyber-Physical Systems (CPS),” Engineering Letters, issue3, EL_18_3_14, 2010. K. Wan, K. L. Man, and D. Hughes, “Specification, Analyzing Challenges and Approaches for Cyber-Physical Systems (CPS),” Engineering Letters, issue3, EL_18_3_14, 2010.
28.
Zurück zum Zitat Y. Zhang, I.-L. Yen, F. B. Bastani, A. T. Tai, and S. Chau, “Optimal Adaptive System Health Monitoring and Diagnosis for Resource Constrained Cyber-Physical Systems,” in Software Reliability Engineering, 2009. ISSRE’09. 20th International Symposium on, 2009, pp. 51–60. Y. Zhang, I.-L. Yen, F. B. Bastani, A. T. Tai, and S. Chau, “Optimal Adaptive System Health Monitoring and Diagnosis for Resource Constrained Cyber-Physical Systems,” in Software Reliability Engineering, 2009. ISSRE’09. 20th International Symposium on, 2009, pp. 51–60.
29.
Zurück zum Zitat A. Platzer, “Verification of Cyberphysical Transportation Systems,” Intelligent Systems, IEEE, vol. 24, no. 4, pp. 10–13, Aug. 2009. A. Platzer, “Verification of Cyberphysical Transportation Systems,” Intelligent Systems, IEEE, vol. 24, no. 4, pp. 10–13, Aug. 2009.
30.
Zurück zum Zitat C. A. Macana, N. Quijano, and E. Mojica-Nava, “A survey on Cyber Physical Energy Systems and their applications on smart grids,” in Innovative Smart Grid Technologies (ISGT Latin America), 2011 IEEE PES Conference on, 2011, pp. 1–7. C. A. Macana, N. Quijano, and E. Mojica-Nava, “A survey on Cyber Physical Energy Systems and their applications on smart grids,” in Innovative Smart Grid Technologies (ISGT Latin America), 2011 IEEE PES Conference on, 2011, pp. 1–7.
31.
Zurück zum Zitat J. Sztipanovits, “Composition of Cyber-Physical Systems,” in Engineering of Computer-Based Systems, 2007. ECBS’07. 14th Annual IEEE International Conference and Workshops on the, 2007, pp. 3–6. J. Sztipanovits, “Composition of Cyber-Physical Systems,” in Engineering of Computer-Based Systems, 2007. ECBS’07. 14th Annual IEEE International Conference and Workshops on the, 2007, pp. 3–6.
32.
Zurück zum Zitat S. Bak, K. Manamcheri, S. Mitra, and M. Caccamo, “Sandboxing Controllers for Cyber-Physical Systems,” in Cyber-Physical Systems (ICCPS), 2011 IEEE/ACM International Conference on, 2011, pp. 3–12. S. Bak, K. Manamcheri, S. Mitra, and M. Caccamo, “Sandboxing Controllers for Cyber-Physical Systems,” in Cyber-Physical Systems (ICCPS), 2011 IEEE/ACM International Conference on, 2011, pp. 3–12.
33.
Zurück zum Zitat W. Li, J. Bao, and W. Shen, “Collaborative wireless sensor networks: A survey,” in Systems, Man, and Cybernetics (SMC), 2011 IEEE International Conference on, 2011, pp. 2614–2619. W. Li, J. Bao, and W. Shen, “Collaborative wireless sensor networks: A survey,” in Systems, Man, and Cybernetics (SMC), 2011 IEEE International Conference on, 2011, pp. 2614–2619.
34.
Zurück zum Zitat Q. Shafi, “Cyber-Physical Systems Security: A Brief Survey,” in Computational Science and Its Applications (ICCSA), 2012 12th International Conference on, 2012, pp. 146–150. Q. Shafi, “Cyber-Physical Systems Security: A Brief Survey,” in Computational Science and Its Applications (ICCSA), 2012 12th International Conference on, 2012, pp. 146–150.
35.
Zurück zum Zitat C. Gill, “Cyber-Physical System Software for HCMDSS,” in Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, 2007. HCMDSS-MDPnP, 2007, pp. 176–177. C. Gill, “Cyber-Physical System Software for HCMDSS,” in Joint Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability, 2007. HCMDSS-MDPnP, 2007, pp. 176–177.
36.
Zurück zum Zitat N. P. Suh, Complexity: Theory And Applications (Mit-Pappalardo Series in Mechanical Engineering). Oxford University Press, 2005. N. P. Suh, Complexity: Theory And Applications (Mit-Pappalardo Series in Mechanical Engineering). Oxford University Press, 2005.
38.
Zurück zum Zitat B. Gumus and A. Ertas, “Requirement Management And Axiomatic Design,” J. Integr. Des. Process Sci., vol. 8, no. 4, pp. 19–31, Dec. 2004. B. Gumus and A. Ertas, “Requirement Management And Axiomatic Design,” J. Integr. Des. Process Sci., vol. 8, no. 4, pp. 19–31, Dec. 2004.
39.
Zurück zum Zitat D. Tang, R. Zhu, S. Dai, and G. Zhang, “Enhancing axiomatic design with design structure matrix,” Concurrent Engineering Research and Applications, vol. 17, no. 2, pp. 129–137, 2009. D. Tang, R. Zhu, S. Dai, and G. Zhang, “Enhancing axiomatic design with design structure matrix,” Concurrent Engineering Research and Applications, vol. 17, no. 2, pp. 129–137, 2009.
40.
Zurück zum Zitat A. Beugnard, J.-M. Jezequel, N. Plouzeau, and D. Watkins, “Making components contract aware,” Computer, vol. 32, no. 7, pp. 38–45, Jul. 1999. A. Beugnard, J.-M. Jezequel, N. Plouzeau, and D. Watkins, “Making components contract aware,” Computer, vol. 32, no. 7, pp. 38–45, Jul. 1999.
41.
Zurück zum Zitat T. Lee, “Complexity Theory in Axiomatic Design,” Dissertation, Massachusetts Institute of Technology, Department of Machanical Engineering, 2003. T. Lee, “Complexity Theory in Axiomatic Design,” Dissertation, Massachusetts Institute of Technology, Department of Machanical Engineering, 2003.
42.
Zurück zum Zitat K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson, “Feature-Oriented Domain Analysis (FODA) Feasibility Study,” Carnegie-Mellon University Software Engineering Institute, Nov. 1990. K. C. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. S. Peterson, “Feature-Oriented Domain Analysis (FODA) Feasibility Study,” Carnegie-Mellon University Software Engineering Institute, Nov. 1990.
Metadaten
Titel
Axiomatic Design Theory for Cyber-Physical System
verfasst von
Cengiz Togay
Copyright-Jahr
2014
Verlag
Springer New York
DOI
https://doi.org/10.1007/978-1-4614-7336-7_8