Skip to main content
SpringerLink
Log in

Axiomatic Design Theory for Cyber-Physical System

  • Conference paper
  • First Online:
Applied Cyber-Physical Systems

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. 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.

    Google Scholar 

  2. 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.

    Google Scholar 

  3. FlexRay. .

    Google Scholar 

  4. 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.

    Google Scholar 

  5. C. Togay, “Systematic Component-Oriented Development with Axiomatic Design,” Dissertation, Middle East Technical University, Ankara, Turkey, 2008.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. 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.

    Google Scholar 

  8. 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.

    Google Scholar 

  9. 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.

    Google Scholar 

  10. 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.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. “3. Modeling and Analysis of Real-Time and Embedded Systems (MARTE).” [Online]. Available: http://www.omgmarte.org/node/46. [Accessed: 08-Aug-2012].

  13. “3. OMG Systems Modeling Language ((OMG) SysML).” [Online]. Available: http://www.omgsysml.org/. [Accessed: 08-Aug-2012].

  14. 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.

    Google Scholar 

  15. 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.

    Google Scholar 

  16. 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.

    Google Scholar 

  17. 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.

    Google Scholar 

  18. “IEEE 1588-2008,” 1588-2008 - IEEE Standard for a Precision Clock Synchronization Protocol for Networked Measurement and Control Systems. [Online]. Available: http://standards.ieee.org/findstds/standard/1588-2008.html.

  19. 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.

    Google Scholar 

  20. “IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA),” IEEE Std 1516 Series.

    Google Scholar 

  21. 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.

    Google Scholar 

  22. “Ptolemy Project.” [Online]. Available: http://ptolemy.eecs.berkeley.edu/.

  23. N. P. Suh, Axiomatic Design: Advances and Applications. Oxford University Press, 2001.

    Google Scholar 

  24. 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.

    Google Scholar 

  25. 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.

    Google Scholar 

  26. 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.

    Google Scholar 

  27. 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.

    Google Scholar 

  28. 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.

    Google Scholar 

  29. A. Platzer, “Verification of Cyberphysical Transportation Systems,” Intelligent Systems, IEEE, vol. 24, no. 4, pp. 10–13, Aug. 2009.

    Google Scholar 

  30. 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.

    Google Scholar 

  31. 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.

    Google Scholar 

  32. 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.

    Google Scholar 

  33. 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.

    Google Scholar 

  34. 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.

    Google Scholar 

  35. 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.

    Google Scholar 

  36. N. P. Suh, Complexity: Theory And Applications (Mit-Pappalardo Series in Mechanical Engineering). Oxford University Press, 2005.

    Google Scholar 

  37. “Acclaro DFSS.” [Online]. Available: http://www.axiomaticdesign.com/products/default.asp.

  38. B. Gumus and A. Ertas, “Requirement Management And Axiomatic Design,” J. Integr. Des. Process Sci., vol. 8, no. 4, pp. 19–31, Dec. 2004.

    Google Scholar 

  39. 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.

    Google Scholar 

  40. A. Beugnard, J.-M. Jezequel, N. Plouzeau, and D. Watkins, “Making components contract aware,” Computer, vol. 32, no. 7, pp. 38–45, Jul. 1999.

    Google Scholar 

  41. T. Lee, “Complexity Theory in Axiomatic Design,” Dissertation, Massachusetts Institute of Technology, Department of Machanical Engineering, 2003.

    Google Scholar 

  42. 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.

    Google Scholar 

Download references

Acknowledgments

I would like to thank UAB Electrical and Computer Engineering Department for providing the visiting scientist opportunity during which I developed this paper. I also thank professor Murat M. Tanik for constructive feedback during development of this work. I also appreciate the invitation from Dr. Urcun J. Tanik to develop to paper.

Author information

Authors and Affiliations

  1. Netas, Netas-Alemdag Caddesi 171, 34768, Umraniye, Istanbul, Turkey

    Cengiz Togay

Authors
  1. Cengiz Togay
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Cengiz Togay .

Editor information

Editors and Affiliations

  1. Department of Computer Science, Texas A&M University - Commerce, Commerce, Texas, USA

    Sang C. Suh

  2. Department of Computer Science, Indiana University–Purdue University For, Fort Wayne, Indiana, USA

    U. John Tanik

  3. Raytheon Intelligence and Information Sy, McKinney, Texas, USA

    John N. Carbone

  4. Department of Electrical Engineering, Indiana University-Purdue University For, Fort Wayne, Indiana, USA

    Abdullah Eroglu

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer Science+Business Media New York

About this paper

Cite this paper

Togay, C. (2014). Axiomatic Design Theory for Cyber-Physical System. In: Suh, S., Tanik, U., Carbone, J., Eroglu, A. (eds) Applied Cyber-Physical Systems. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-7336-7_8

Download citation

  • DOI: https://doi.org/10.1007/978-1-4614-7336-7_8

  • Published:

  • Publisher Name: Springer, New York, NY

  • Print ISBN: 978-1-4614-7335-0

  • Online ISBN: 978-1-4614-7336-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation