Literaturverzeichnis
443
179. Garg, R., Khatri, S.: Analysis and Design of Resilient VLSI Circuits. Springer (2009)
180. Gebotys, C.: Security in Embedded Devices. Springer (2010)
181. Geffroy, J.C., Motet, G.: Design of Dependable Computing Systems. Kluwer Academic
Publishers (2002)
182. Gerum, P.: Xenomai – implementing a RTOS emulation framework on GNU Linux. Xenomai
White Paper (2004)
183. Gierlichs, B., Poschmann, A.: Int. workshop on cryptographic hardware and embedded systems (CHES). https://ches.iacr.org/2018/ (2016)
184. Girard, A., Pappas, G.J.: Approximation metrics for discrete and continuous systems. IEEE
Transactions on Automatic Control 52(5), 782–798 (2007). DOI 10.1109/TAC.2007.895849
185. Giusto, D., Iera, A., Morabito, G., Atzori, L. (eds.): The Internet of Things, 20th Tyrrhenian
Workshop on Digital Communications. Springer (2010)
186. Goldberg, D.: What every computer scientist should know about floating point arithmetic.
ACM Computing Surveys 23, 5–48 (1991)
187. Gomez, L., Fernandes, J.: Behavioral Modeling for Embedded Systems and Technologies.
IGI Global (2010)
188. Goodfellow, I., Bengio, Y., Courville, A.: Deep Learning. MIT Press (2016)
189. Goossens, J., Funk, S., Baruah, S.: EDF scheduling on multiprocessor platforms: some
(perhaps) counterintuitive observations. In: RealTime Computing Systems and Applications
Symposium (2002)
190. Graham, R., Lawler, E., Lenstra, J.K., Kan, A.H.G.: Optimization and approximation in
deterministic sequencing and scheduling: A survey. Annals of Discrete Mathematics pp.
287–326 (1979)
191. Grötker, T., Liao, S., Martin, G.: System design with SystemC. Springer (2002)
192. Gubbia, J., Buyyab, R., Marusica, S., Palaniswamia, M.: Internet of Things (IoT): A vision,
architectural elements, and future directions. Future Generation Computer Systems 29, 1645–
1660 (2013)
193. Guerrieri, A., Loscri, V., Rovella, A., Fortino, G.: Management of Cyber Physical Objects in
the Future Internet of Things: Methods, Architectures and Applications. Springer (2016)
194. Gupta, R.: Tasks and task management. Course ICS 212, Winter 2002, UC Irvine, http:
//citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.7.8704&rep=rep1&type=pdf (2002)
195. Ha, S.: Model-based programming environment of embedded software for MPSoC. Proceedings of the Asia and South Pacific Design Automation Conference (ASPDAC) pp. 330–335
(2007). DOI http://dx.doi.org/10.1109/ASPDAC.2007.358007
196. de Haan, L., Ferreira, A.: Extreme Value Theory – An Introduction. Springer (2006)
197. Hahn, S., Reineke, J., Wilhelm, R.: Toward compact abstractions for processor pipelines.
Correct System Design pp. 205–220 (2015)
198. Halbwachs, N.: Synchronous programming of reactive systems, a tutorial and commented
bibliography. Tenth International Conference on Computer-Aided Verification, CAV’98, LNCS 1427, Springer Verlag; see also: https://link.springer.com/chapter/10.1007/BFb0028726
(1998)
199. Halbwachs, N.: Personal communication. South American Artist School on Embedded
Systems, Florianopolis (2008)
200. Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow language
LUSTRE. Proc. of the IEEE Trans. on Software Engineering 79, 1305–1320 (1991)
201. Hamada, T., Benkrid, K., Nitadori, K., Taiji, M.: A Comparative Study on ASIC, FPGAs,
GPUs and General Purpose Processors in the O(N 2 ) Gravitational N-body Simulation. In:
Proceedings of the 2009 NASA/ESA Conference on Adaptive Hardware and Systems, AHS
’09, pp. 447–452. IEEE Computer Society, Washington, DC, USA (2009). DOI 10.1109/
AHS.2009.55. URL http://dx.doi.org/10.1109/AHS.2009.55
202. Harbour, M.G.: RT-POSIX: An overview. http://www.ctr.unican.es/publications/mgh-1993a.
pdf (1993)
203. Hardkernel co, Ltd.: Odroid-XU3. https://www.hardkernel.com/shop/odroid-xu3/ (2019)
204. Harel, D.: StateCharts: A visual formalism for complex systems. Science of Computer
Programming pp. 231–274 (1987)
443
179. Garg, R., Khatri, S.: Analysis and Design of Resilient VLSI Circuits. Springer (2009)
180. Gebotys, C.: Security in Embedded Devices. Springer (2010)
181. Geffroy, J.C., Motet, G.: Design of Dependable Computing Systems. Kluwer Academic
Publishers (2002)
182. Gerum, P.: Xenomai – implementing a RTOS emulation framework on GNU Linux. Xenomai
White Paper (2004)
183. Gierlichs, B., Poschmann, A.: Int. workshop on cryptographic hardware and embedded systems (CHES). https://ches.iacr.org/2018/ (2016)
184. Girard, A., Pappas, G.J.: Approximation metrics for discrete and continuous systems. IEEE
Transactions on Automatic Control 52(5), 782–798 (2007). DOI 10.1109/TAC.2007.895849
185. Giusto, D., Iera, A., Morabito, G., Atzori, L. (eds.): The Internet of Things, 20th Tyrrhenian
Workshop on Digital Communications. Springer (2010)
186. Goldberg, D.: What every computer scientist should know about floating point arithmetic.
ACM Computing Surveys 23, 5–48 (1991)
187. Gomez, L., Fernandes, J.: Behavioral Modeling for Embedded Systems and Technologies.
IGI Global (2010)
188. Goodfellow, I., Bengio, Y., Courville, A.: Deep Learning. MIT Press (2016)
189. Goossens, J., Funk, S., Baruah, S.: EDF scheduling on multiprocessor platforms: some
(perhaps) counterintuitive observations. In: RealTime Computing Systems and Applications
Symposium (2002)
190. Graham, R., Lawler, E., Lenstra, J.K., Kan, A.H.G.: Optimization and approximation in
deterministic sequencing and scheduling: A survey. Annals of Discrete Mathematics pp.
287–326 (1979)
191. Grötker, T., Liao, S., Martin, G.: System design with SystemC. Springer (2002)
192. Gubbia, J., Buyyab, R., Marusica, S., Palaniswamia, M.: Internet of Things (IoT): A vision,
architectural elements, and future directions. Future Generation Computer Systems 29, 1645–
1660 (2013)
193. Guerrieri, A., Loscri, V., Rovella, A., Fortino, G.: Management of Cyber Physical Objects in
the Future Internet of Things: Methods, Architectures and Applications. Springer (2016)
194. Gupta, R.: Tasks and task management. Course ICS 212, Winter 2002, UC Irvine, http:
//citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.7.8704&rep=rep1&type=pdf (2002)
195. Ha, S.: Model-based programming environment of embedded software for MPSoC. Proceedings of the Asia and South Pacific Design Automation Conference (ASPDAC) pp. 330–335
(2007). DOI http://dx.doi.org/10.1109/ASPDAC.2007.358007
196. de Haan, L., Ferreira, A.: Extreme Value Theory – An Introduction. Springer (2006)
197. Hahn, S., Reineke, J., Wilhelm, R.: Toward compact abstractions for processor pipelines.
Correct System Design pp. 205–220 (2015)
198. Halbwachs, N.: Synchronous programming of reactive systems, a tutorial and commented
bibliography. Tenth International Conference on Computer-Aided Verification, CAV’98, LNCS 1427, Springer Verlag; see also: https://link.springer.com/chapter/10.1007/BFb0028726
(1998)
199. Halbwachs, N.: Personal communication. South American Artist School on Embedded
Systems, Florianopolis (2008)
200. Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow language
LUSTRE. Proc. of the IEEE Trans. on Software Engineering 79, 1305–1320 (1991)
201. Hamada, T., Benkrid, K., Nitadori, K., Taiji, M.: A Comparative Study on ASIC, FPGAs,
GPUs and General Purpose Processors in the O(N 2 ) Gravitational N-body Simulation. In:
Proceedings of the 2009 NASA/ESA Conference on Adaptive Hardware and Systems, AHS
’09, pp. 447–452. IEEE Computer Society, Washington, DC, USA (2009). DOI 10.1109/
AHS.2009.55. URL http://dx.doi.org/10.1109/AHS.2009.55
202. Harbour, M.G.: RT-POSIX: An overview. http://www.ctr.unican.es/publications/mgh-1993a.
pdf (1993)
203. Hardkernel co, Ltd.: Odroid-XU3. https://www.hardkernel.com/shop/odroid-xu3/ (2019)
204. Harel, D.: StateCharts: A visual formalism for complex systems. Science of Computer
Programming pp. 231–274 (1987)