Literaturverzeichnis
453
416. Navet, N., Simonot-Lion, F.: Automotive Embedded Systems Handbook. CRC Press (2009)
417. Neugebauer, O., Engel, M., Marwedel, P.: A parallelization approach for resource-restricted
embedded heterogeneous MPSoCs inspired by OpenMP. Journal of Systems and Software
(2016)
418. Neugebauer, O., Libuschewski, P., Engel, M., Mueller, H., Marwedel, P.: Plasmon-based
virus detection on heterogeneous embedded systems. In: Proceedings of the International
Workshop on Software and Compilers for Embedded Systems (SCOPES) (2015)
419. Neumann, P.G.: Computer Related Risks. Addison Wesley (1995)
420. Neumann, P.G. (ed.): The risks digest, forum on the risks to the public in computers and
related Systems. http://catless.ncl.ac.uk/risks (2021)
421. Nguyen, N., Dominguez, A., Barua, R.: Memory allocation for embedded systems with
a compile-time-unknown scratch-pad size. Proceedings of the International Conference on
Compilers, Architectures, and Synthesis for Embedded Systems (CASES) pp. 115–125 (2005)
422. Nicolescu, G., Mosterman, P.J.: Model-Based Design for Embedded System. CRC Press
(2010)
423. Nikolov, H., Thompson, M., Stefanov, T., Pimentel, A., Polstra, S., Bose, R., Zissulescu, C.,
Deprettere, E.: Daedalus: toward composable multimedia MP-SoC design. In: Proceedings
of the Design Automation Conference (DAC), pp. 574–579 (2008)
424. Nipkow, T., Paulson, L., Wenzel, M.: Isabelle/HOL: A Proof Assistant for Higher-Order
Logic. Lecture Notes in Computer Science. Springer Berlin Heidelberg (2002). URL https:
//books.google.de/books?id=R6ul20M6nTIC
425. N.N.: First workshop on CPS education. Philadelphia, PA (part of CPSWeek 2013), http:
//cpsvo.org/group/edu/workshop (2013)
426. Noergard, T.: Embedded Systems Architecture: A Comprehensive Guide for Engineers and
Programmers. Newnes (2012)
427. Northeast Sustainable Energy Association: Buildingenergy. http://www.nesea.org/ (2021)
428. Novosel, D.: Timing the power grid. http://www.pserc.wisc.edu/documents/general_
information/presentations/smartr_grid_executive_forum/ (2009)
429. Object Management Group (OMG): Real-time CORBA specification, version 1.2, jan. 2005.
http://www.omg.org/cgi-bin/doc?formal/05-01-04.ps (2005)
430. Object Management Group (OMG): UML ™ profile for schedulability, performance, and time
specification, version 1.1. http://www.omg.org/cgi-bin/doc?formal/05-01-02.pdf (2005)
431. Object Management Group (OMG): A UML ™ profile for MARTE: Modeling and analysis
of real-time embedded systems - 1.0. http://www.omg.org/spec/MARTE/1.0/PDF (2009)
432. Object Management Group (OMG): Systems modeling language (SysML ™ ). https://www.
omg.org/technology/readingroom/System-Modeling-Language.htm (2020)
433. Object Management Group (OMG): CORBA ® basics. https://www.corba.org/faq.htm (2021)
434. Object Management Group (OMG): OMG ® Specifications. http://www.omg.org/spec/
(2021)
435. Object Management Group (OMG): Unified modeling language ™ resource page. http://www.
uml.org (2021)
436. Occam user group: Transputer and occam bibliography. http://www.transputer.net/obooks/
oug/oug-bib.pdf (1990)
437. O’Neill, A.: Analog to digital types. IEEE TV, https://ieeetv.ieee.org/conference-highlights/
analog-to-digital-types? (2006)
438. Open Connectivity Foundation: About UPnP. https://openconnectivity.org/developer/
specifications/upnp-resources/upnp/ (2021)
439. OpenMP Architecture Review Board: OpenMP application program interface. http://www.
openmp.org/mp-documents/spec30.pdf (2008)
440. Oppenheim, A.V., Schafer, R., Buck, J.R.: Digital Signal Processing. Pearson Higher Education (2009)
441. OSEK Group: OSEK/VDX – communication (version 3.0.3). http://portal.osek-vdx.org/files/
pdf/specs/osekcom303.pdf (2004)
442. Otter, M., Winkler, D.: Modelica Overview.
https://www.modelica.org/education/
educational-material/lecture-material/english/ModelicaOverview.ppt (2013)
453
416. Navet, N., Simonot-Lion, F.: Automotive Embedded Systems Handbook. CRC Press (2009)
417. Neugebauer, O., Engel, M., Marwedel, P.: A parallelization approach for resource-restricted
embedded heterogeneous MPSoCs inspired by OpenMP. Journal of Systems and Software
(2016)
418. Neugebauer, O., Libuschewski, P., Engel, M., Mueller, H., Marwedel, P.: Plasmon-based
virus detection on heterogeneous embedded systems. In: Proceedings of the International
Workshop on Software and Compilers for Embedded Systems (SCOPES) (2015)
419. Neumann, P.G.: Computer Related Risks. Addison Wesley (1995)
420. Neumann, P.G. (ed.): The risks digest, forum on the risks to the public in computers and
related Systems. http://catless.ncl.ac.uk/risks (2021)
421. Nguyen, N., Dominguez, A., Barua, R.: Memory allocation for embedded systems with
a compile-time-unknown scratch-pad size. Proceedings of the International Conference on
Compilers, Architectures, and Synthesis for Embedded Systems (CASES) pp. 115–125 (2005)
422. Nicolescu, G., Mosterman, P.J.: Model-Based Design for Embedded System. CRC Press
(2010)
423. Nikolov, H., Thompson, M., Stefanov, T., Pimentel, A., Polstra, S., Bose, R., Zissulescu, C.,
Deprettere, E.: Daedalus: toward composable multimedia MP-SoC design. In: Proceedings
of the Design Automation Conference (DAC), pp. 574–579 (2008)
424. Nipkow, T., Paulson, L., Wenzel, M.: Isabelle/HOL: A Proof Assistant for Higher-Order
Logic. Lecture Notes in Computer Science. Springer Berlin Heidelberg (2002). URL https:
//books.google.de/books?id=R6ul20M6nTIC
425. N.N.: First workshop on CPS education. Philadelphia, PA (part of CPSWeek 2013), http:
//cpsvo.org/group/edu/workshop (2013)
426. Noergard, T.: Embedded Systems Architecture: A Comprehensive Guide for Engineers and
Programmers. Newnes (2012)
427. Northeast Sustainable Energy Association: Buildingenergy. http://www.nesea.org/ (2021)
428. Novosel, D.: Timing the power grid. http://www.pserc.wisc.edu/documents/general_
information/presentations/smartr_grid_executive_forum/ (2009)
429. Object Management Group (OMG): Real-time CORBA specification, version 1.2, jan. 2005.
http://www.omg.org/cgi-bin/doc?formal/05-01-04.ps (2005)
430. Object Management Group (OMG): UML ™ profile for schedulability, performance, and time
specification, version 1.1. http://www.omg.org/cgi-bin/doc?formal/05-01-02.pdf (2005)
431. Object Management Group (OMG): A UML ™ profile for MARTE: Modeling and analysis
of real-time embedded systems - 1.0. http://www.omg.org/spec/MARTE/1.0/PDF (2009)
432. Object Management Group (OMG): Systems modeling language (SysML ™ ). https://www.
omg.org/technology/readingroom/System-Modeling-Language.htm (2020)
433. Object Management Group (OMG): CORBA ® basics. https://www.corba.org/faq.htm (2021)
434. Object Management Group (OMG): OMG ® Specifications. http://www.omg.org/spec/
(2021)
435. Object Management Group (OMG): Unified modeling language ™ resource page. http://www.
uml.org (2021)
436. Occam user group: Transputer and occam bibliography. http://www.transputer.net/obooks/
oug/oug-bib.pdf (1990)
437. O’Neill, A.: Analog to digital types. IEEE TV, https://ieeetv.ieee.org/conference-highlights/
analog-to-digital-types? (2006)
438. Open Connectivity Foundation: About UPnP. https://openconnectivity.org/developer/
specifications/upnp-resources/upnp/ (2021)
439. OpenMP Architecture Review Board: OpenMP application program interface. http://www.
openmp.org/mp-documents/spec30.pdf (2008)
440. Oppenheim, A.V., Schafer, R., Buck, J.R.: Digital Signal Processing. Pearson Higher Education (2009)
441. OSEK Group: OSEK/VDX – communication (version 3.0.3). http://portal.osek-vdx.org/files/
pdf/specs/osekcom303.pdf (2004)
442. Otter, M., Winkler, D.: Modelica Overview.
https://www.modelica.org/education/
educational-material/lecture-material/english/ModelicaOverview.ppt (2013)