Skip to main content
Erschienen in:
Buchtitelbild

2016 | OriginalPaper | Buchkapitel

Cyber-Physical Systems: Opportunities, Challenges and (Some) Solutions

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

search-config
loading …

Abstract

The notion of Cyber-Physical Systems (CPS) has recently been introduced. The term describes the integration of information and computation technologies (ICT) with real, physical objects. In this chapter, we motivate work in this new area by presenting the large set of opportunities resulting from this integration. However, this requires coping with a number of challenges which we do also include in this chapter. The final main section of this chapter comprises solutions which demonstrate that it is feasible to address the challenges and find solutions, even though a major amount of additional work is required.

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!

Fußnoten
1
Figure taken from Modelica Overview by Otter and Winkler [40] under the Creative Commons Attribution-Share Alike license.
 
Literatur
9.
Zurück zum Zitat Chakrapani, L., Muntimadugu, K., Lingamneni, A., George, J., Palem, K.: Highly energy and performance efficient embedded computing through approximately correct arithmetic. In: Proceedings of CASES, pp. 187–196. ACM (2008) Chakrapani, L., Muntimadugu, K., Lingamneni, A., George, J., Palem, K.: Highly energy and performance efficient embedded computing through approximately correct arithmetic. In: Proceedings of CASES, pp. 187–196. ACM (2008)
11.
Zurück zum Zitat Düben, P.D., Joven, J., Lingamneni, A., McNamara, H., De Micheli, G., Palem, K.V., Palmer, T.N.: On the use of inexact, pruned hardware in atmospheric modelling. Philos. Trans. Royal Soc. London A: Math. Phys. Eng. Sci. 372(2018) (2014). doi:10.1098/rsta.2013.0276 Düben, P.D., Joven, J., Lingamneni, A., McNamara, H., De Micheli, G., Palem, K.V., Palmer, T.N.: On the use of inexact, pruned hardware in atmospheric modelling. Philos. Trans. Royal Soc. London A: Math. Phys. Eng. Sci. 372(2018) (2014). doi:10.​1098/​rsta.​2013.​0276
12.
Zurück zum Zitat Dunstan, W.: Computer and GPS navigation system for an autonomous ocean vessel. In: Proceedings of the Third Australian and New Zealand Conference on Intelligent Information Systems, ANZIIS-95, pp. 316–323 (1995). doi:10.1109/ANZIIS.1995.705758 Dunstan, W.: Computer and GPS navigation system for an autonomous ocean vessel. In: Proceedings of the Third Australian and New Zealand Conference on Intelligent Information Systems, ANZIIS-95, pp. 316–323 (1995). doi:10.​1109/​ANZIIS.​1995.​705758
13.
Zurück zum Zitat Engel, M., Schmoll, F., Heinig, A., Marwedel, P.: Unreliable yet useful—reliability annotations for data in cyber-physical systems. In: Proceedings of the 2011 Workshop on Software Language Engineering for Cyber-physical Systems (WS4C). Berlin, Germany (2011) Engel, M., Schmoll, F., Heinig, A., Marwedel, P.: Unreliable yet useful—reliability annotations for data in cyber-physical systems. In: Proceedings of the 2011 Workshop on Software Language Engineering for Cyber-physical Systems (WS4C). Berlin, Germany (2011)
15.
Zurück zum Zitat Falk, H.: WCET-Aware Register Allocation Based on Graph Coloring. In: The 46th Design Automation Conference (DAC), pp. 726–731. San Francisco, USA (2009) Falk, H.: WCET-Aware Register Allocation Based on Graph Coloring. In: The 46th Design Automation Conference (DAC), pp. 726–731. San Francisco, USA (2009)
16.
Zurück zum Zitat Falk, H., Kleinsorge, J.C.: Optimal static WCET-aware scratchpad allocation of program code. In: The 46th Design Automation Conference (DAC), pp. 732–737. San Francisco (2009) Falk, H., Kleinsorge, J.C.: Optimal static WCET-aware scratchpad allocation of program code. In: The 46th Design Automation Conference (DAC), pp. 732–737. San Francisco (2009)
17.
Zurück zum Zitat Falk, H., Plazar, S., Theiling, H.: Compile time decided instruction cache locking using worst-case execution paths. In: International Conference on Hardware/Software Codesign and System Synthesis (CODES + ISSS), pp. 143–148. Salzburg, Austria (2007) Falk, H., Plazar, S., Theiling, H.: Compile time decided instruction cache locking using worst-case execution paths. In: International Conference on Hardware/Software Codesign and System Synthesis (CODES + ISSS), pp. 143–148. Salzburg, Austria (2007)
18.
Zurück zum Zitat Falliere, N., Murchu, L.O., Chien, E.: W32. stuxnet dossier. White paper, Symantec Corp., Security Response (2011) Falliere, N., Murchu, L.O., Chien, E.: W32. stuxnet dossier. White paper, Symantec Corp., Security Response (2011)
23.
Zurück zum Zitat Heinig, A., Engel, M., Schmoll, F., Marwedel, P.: Using application knowledge to improve embedded systems dependability. In: Proceedings of the Workshop on Hot Topics in System Dependability (HotDep 2010). USENIX Association, Vancouver, Canada (2010) Heinig, A., Engel, M., Schmoll, F., Marwedel, P.: Using application knowledge to improve embedded systems dependability. In: Proceedings of the Workshop on Hot Topics in System Dependability (HotDep 2010). USENIX Association, Vancouver, Canada (2010)
24.
Zurück zum Zitat Heinig, A., Mooney, V.J., Schmoll, F., Marwedel, P., Palem, K., Engel, M.: Classification-based improvement of application robustness and quality of service in probabilistic computer systems. In: Proceedings of ARCS 2012—International Conference on Architecture of Computing Systems. Munich, Germany (2012) Heinig, A., Mooney, V.J., Schmoll, F., Marwedel, P., Palem, K., Engel, M.: Classification-based improvement of application robustness and quality of service in probabilistic computer systems. In: Proceedings of ARCS 2012—International Conference on Architecture of Computing Systems. Munich, Germany (2012)
25.
Zurück zum Zitat de Kruijf, M., Nomura, S., Sankaralingam, K.: Relax: An architectural framework for software recovery of hardware faults. In: Proceedings of the 37th Annual International Symposium on Computer Architecture, ISCA ‘10, pp. 497–508. ACM, New York, NY, USA (2010). doi:10.1145/1815961.1816026 de Kruijf, M., Nomura, S., Sankaralingam, K.: Relax: An architectural framework for software recovery of hardware faults. In: Proceedings of the 37th Annual International Symposium on Computer Architecture, ISCA ‘10, pp. 497–508. ACM, New York, NY, USA (2010). doi:10.​1145/​1815961.​1816026
28.
Zurück zum Zitat Libuschewski, P., Siedhoff, D., Timm, C., Gelenberg, A., Weichert, F.: Fuzzy-enhanced, real-time capable detection of biological viruses using a portable biosensor. In: Proceedings of the International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSIGNALS), pp. 169–174 (2013) Libuschewski, P., Siedhoff, D., Timm, C., Gelenberg, A., Weichert, F.: Fuzzy-enhanced, real-time capable detection of biological viruses using a portable biosensor. In: Proceedings of the International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSIGNALS), pp. 169–174 (2013)
29.
Zurück zum Zitat Lokuciejewski, P., Gedikli, F., Marwedel, P., Morik, K.: Automatic WCET reduction by machine learning based heuristics for function inlining. In: 3rd Workshop on Statistical and Machine Learning Approaches to Architectures and Compilation (SMART), pp. 1–15 (2009) Lokuciejewski, P., Gedikli, F., Marwedel, P., Morik, K.: Automatic WCET reduction by machine learning based heuristics for function inlining. In: 3rd Workshop on Statistical and Machine Learning Approaches to Architectures and Compilation (SMART), pp. 1–15 (2009)
30.
Zurück zum Zitat Marwedel, P.: Embedded System Design. Kluwer Academic Publishers, Berlin (2003) Marwedel, P.: Embedded System Design. Kluwer Academic Publishers, Berlin (2003)
31.
Zurück zum Zitat Marwedel, P.: Embedded System Design—Embedded Systems Foundations of Cyber-Physical Systems. Springer, Berlin (2011) Marwedel, P.: Embedded System Design—Embedded Systems Foundations of Cyber-Physical Systems. Springer, Berlin (2011)
33.
Zurück zum Zitat Marwedel, P., Engel, M.: Flipped classroom teaching for a cyber-physical system course—an adequate presence-based learning approach in the internet age. In: Proceedings of the Tenth European Workshop on Microelectronics Education (EWME). IEEE, Tallinn, Estonia (2014) Marwedel, P., Engel, M.: Flipped classroom teaching for a cyber-physical system course—an adequate presence-based learning approach in the internet age. In: Proceedings of the Tenth European Workshop on Microelectronics Education (EWME). IEEE, Tallinn, Estonia (2014)
35.
Zurück zum Zitat Mosterman, P.J.: Hybrid dynamic systems: modeling and execution. In: Fishwick, P.A. (ed.) Handbook of Dynamic System Modeling, CRC Press (2007) Mosterman, P.J.: Hybrid dynamic systems: modeling and execution. In: Fishwick, P.A. (ed.) Handbook of Dynamic System Modeling, CRC Press (2007)
38.
Zurück zum Zitat Neugebauer, O., Libuschewski, P., Engel, M., Mueller, H., Marwedel, P.: Plasmon-based virus detection on heterogeneous embedded systems. In: Proceedings of Workshop on Software and Compilers for Embedded Systems (SCOPES) (2015) Neugebauer, O., Libuschewski, P., Engel, M., Mueller, H., Marwedel, P.: Plasmon-based virus detection on heterogeneous embedded systems. In: Proceedings of Workshop on Software and Compilers for Embedded Systems (SCOPES) (2015)
39.
Zurück zum Zitat Okuda, R., Kajiwara, Y., Terashima, K.: A survey of technical trend of ADAS and autonomous driving. In: Proceedings of Technical Program—2014 International Symposium on VLSI Technology, Systems and Application (VLSI-TSA), pp. 1–4 (2014). doi:10.1109/VLSI-TSA.2014.6839646 Okuda, R., Kajiwara, Y., Terashima, K.: A survey of technical trend of ADAS and autonomous driving. In: Proceedings of Technical Program—2014 International Symposium on VLSI Technology, Systems and Application (VLSI-TSA), pp. 1–4 (2014). doi:10.​1109/​VLSI-TSA.​2014.​6839646
44.
Zurück zum Zitat Potop-Butucaru, D., de Simone, R., Talpin, J.P.: The synchronous hypothesis and synchronous languages. In: Richard, Z. (ed.): Embedded Systems Handbook, CRC Press (2006) Potop-Butucaru, D., de Simone, R., Talpin, J.P.: The synchronous hypothesis and synchronous languages. In: Richard, Z. (ed.): Embedded Systems Handbook, CRC Press (2006)
46.
Zurück zum Zitat Reis, G.A., Chang, J., Vachharajani, N., Rangan, R., August, D.I.: Swift: software implemented fault tolerance. In: Proceedings of the International Symposium on Code Generation and Optimization, CGO ’05, pp. 243–254. IEEE Computer Society, Washington, DC, USA (2005) Reis, G.A., Chang, J., Vachharajani, N., Rangan, R., August, D.I.: Swift: software implemented fault tolerance. In: Proceedings of the International Symposium on Code Generation and Optimization, CGO ’05, pp. 243–254. IEEE Computer Society, Washington, DC, USA (2005)
48.
Zurück zum Zitat Sampson, A., Dietl, W., Fortuna, E., Gnanapragasam, D., Ceze, L., Grossman, D.: EnerJ: approximate data types for safe and general low-power computation. In: Proceedings of PLDI, pp. 164–174. ACM, New York, NY, USA (2011) Sampson, A., Dietl, W., Fortuna, E., Gnanapragasam, D., Ceze, L., Grossman, D.: EnerJ: approximate data types for safe and general low-power computation. In: Proceedings of PLDI, pp. 164–174. ACM, New York, NY, USA (2011)
49.
Zurück zum Zitat Schmoll, F., Heinig, A., Marwedel, P., Engel, M.: Improving the fault resilience of an H.264 decoder using static analysis methods. ACM Trans. Embed. Comput. Syst. (TECS) 13(1s), 31.1–31.27 (2013) Schmoll, F., Heinig, A., Marwedel, P., Engel, M.: Improving the fault resilience of an H.264 decoder using static analysis methods. ACM Trans. Embed. Comput. Syst. (TECS) 13(1s), 31.1–31.27 (2013)
51.
Zurück zum Zitat Taha, W., Cartwright, R.: Some Challenges for Model-Based Simulation. The 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop, Vancouver (2013) Taha, W., Cartwright, R.: Some Challenges for Model-Based Simulation. The 4th Analytic Virtual Integration of Cyber-Physical Systems Workshop, Vancouver (2013)
53.
Metadaten
Titel
Cyber-Physical Systems: Opportunities, Challenges and (Some) Solutions
verfasst von
Peter Marwedel
Michael Engel
Copyright-Jahr
2016
DOI
https://doi.org/10.1007/978-3-319-26869-9_1

Neuer Inhalt