Literaturverzeichnis
445
230. IBM: IBM Rational Statemate 4.6. https://www.ibm.com/support/pages/ibm-rationalstatemate-46 (2018)
231. ICD Staff: ICD-C compiler framework. http://www.icd.de/en/embedded-systems/compilertool-development/icd-c (2016)
232. IEC: IEC 60848 – GRAFCET specification language for sequential function charts. https:
//webstore.iec.ch/publication/3684 (2002)
233. IEC: IEC 61508-1:2010 functional safety of electrical/ electronic/ programmable electronic
safety-related systems – part 1: General requirements. https://webstore.iec.ch/publication/
5515 (2010)
234. IEC: IEC 61508-2:2010 functional safety of electrical/electronic/programmable electronic
safety-related systems - part 2: Requirements for electrical/electronic/programmable electronic safety-related systems. https://webstore.iec.ch/publication/5516 (2010)
235. IEC: IEC 61508-3:2010 functional safety of electrical/electronic/programmable electronic
safety-related systems - part 3: Software requirements. https://webstore.iec.ch/publication/
5517 (2010)
236. IEC: IEC 61513:2011 – nuclear power plants – instrumentation and control important to
safety – general requirements for systems. https://webstore.iec.ch/publication/5532 (2011)
237. IEC: IEC 61511:2016 SER functional safety – safety instrumented systems for the process
industry sector – all parts. https://webstore.iec.ch/publication/5527 (2016)
238. IEEE: 1076-1987 – IEEE Standard VHDL Language Reference Manual. http://standards.
ieee.org/findstds/standard/1076-1987.html (1987)
239. IEEE: IEEE Graphic Symbols for Logic Functions Std 91a-1991. http://ieeexplore.ieee.org/
stamp/stamp.jsp?tp=&arnumber=27895 (1991)
240. IEEE: 1076-1993 – IEEE Standard VHDL Language Reference Manual. http://standards.
ieee.org/findstds/standard/1076-1993.html (1993)
241. IEEE: 1076-2000 – IEEE Standard VHDL Language Reference Manual. http://standards.
ieee.org/findstds/standard/1076-2000.html (2000)
242. IEEE: 1076-2002 – IEEE Standard VHDL Language Reference Manual. http://standards.
ieee.org/findstds/standard/1076-2002.html (2002)
243. IEEE: 1076-2008 – IEEE Standard VHDL Language Reference Manual. http://standards.
ieee.org/findstds/standard/1076-2008.html pp. c1–626 (2009)
244. IEEE: 1666-2011 - IEEE Standard for Standard SystemC Language Reference Manual. https:
//ieeexplore.ieee.org/document/6134619 (2011)
245. IEEE: 1800-2012 - IEEE Standard for SystemVerilog – Unified Hardware Design, Specification, and Verification Language. https://standards.ieee.org/findstds/standard/1800-2012.html
(2012)
246. IEEE: P1076.1-2017 – Standard VHDL Analog and Mixed-Signal Extensions. https:
//standards.ieee.org/standard/1076_1-2017.html (2017)
247. Intel: Enhanced Intel ® SpeedStep ® Technology for the Intel ® Pentium ® M Processor – White
paper. http://download.intel.com/design/network/papers/30117401.pdf (2004)
248. Intel: Motion estimation with Intel ®
streaming SIMD extensions 4 (Intel ®
SSE4).
http://software.intel.com/en-us/articles/motion-estimation-with-intel-streamingsimd-extensions-4-intel-sse4 (2008)
249. Intel: Intel ® AVX. http://software.intel.com/en-us/avx (2010)
250. Intel: Intel Itanium processors.
https://www.intel.com/content/www/us/en/products/
processors/itanium.html (2021)
251. International Electrotechnical Commission (IEC): Functional safety. https://www.iec.ch/
functionalsafety/explained/ (2020)
252. Ishihara, T., Yasuura, H.: Voltage scheduling problem for dynamically variable voltage processors. Intern. Symp. on Low Power Electronics and Design (ISLPED) pp. 197–202 (1998)
253. ISO: Road vehicles – functional safety – part 3: Concept phase. https://www.iso.org/obp/ui/
#iso:std:iso:26262:-3:ed-1:v1:en (2011)
254. ISO: Road vehicles – FlexRay communications system – Part 1: General information and
use case definition. http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?
csnumber=59804 (2013)
445
230. IBM: IBM Rational Statemate 4.6. https://www.ibm.com/support/pages/ibm-rationalstatemate-46 (2018)
231. ICD Staff: ICD-C compiler framework. http://www.icd.de/en/embedded-systems/compilertool-development/icd-c (2016)
232. IEC: IEC 60848 – GRAFCET specification language for sequential function charts. https:
//webstore.iec.ch/publication/3684 (2002)
233. IEC: IEC 61508-1:2010 functional safety of electrical/ electronic/ programmable electronic
safety-related systems – part 1: General requirements. https://webstore.iec.ch/publication/
5515 (2010)
234. IEC: IEC 61508-2:2010 functional safety of electrical/electronic/programmable electronic
safety-related systems - part 2: Requirements for electrical/electronic/programmable electronic safety-related systems. https://webstore.iec.ch/publication/5516 (2010)
235. IEC: IEC 61508-3:2010 functional safety of electrical/electronic/programmable electronic
safety-related systems - part 3: Software requirements. https://webstore.iec.ch/publication/
5517 (2010)
236. IEC: IEC 61513:2011 – nuclear power plants – instrumentation and control important to
safety – general requirements for systems. https://webstore.iec.ch/publication/5532 (2011)
237. IEC: IEC 61511:2016 SER functional safety – safety instrumented systems for the process
industry sector – all parts. https://webstore.iec.ch/publication/5527 (2016)
238. IEEE: 1076-1987 – IEEE Standard VHDL Language Reference Manual. http://standards.
ieee.org/findstds/standard/1076-1987.html (1987)
239. IEEE: IEEE Graphic Symbols for Logic Functions Std 91a-1991. http://ieeexplore.ieee.org/
stamp/stamp.jsp?tp=&arnumber=27895 (1991)
240. IEEE: 1076-1993 – IEEE Standard VHDL Language Reference Manual. http://standards.
ieee.org/findstds/standard/1076-1993.html (1993)
241. IEEE: 1076-2000 – IEEE Standard VHDL Language Reference Manual. http://standards.
ieee.org/findstds/standard/1076-2000.html (2000)
242. IEEE: 1076-2002 – IEEE Standard VHDL Language Reference Manual. http://standards.
ieee.org/findstds/standard/1076-2002.html (2002)
243. IEEE: 1076-2008 – IEEE Standard VHDL Language Reference Manual. http://standards.
ieee.org/findstds/standard/1076-2008.html pp. c1–626 (2009)
244. IEEE: 1666-2011 - IEEE Standard for Standard SystemC Language Reference Manual. https:
//ieeexplore.ieee.org/document/6134619 (2011)
245. IEEE: 1800-2012 - IEEE Standard for SystemVerilog – Unified Hardware Design, Specification, and Verification Language. https://standards.ieee.org/findstds/standard/1800-2012.html
(2012)
246. IEEE: P1076.1-2017 – Standard VHDL Analog and Mixed-Signal Extensions. https:
//standards.ieee.org/standard/1076_1-2017.html (2017)
247. Intel: Enhanced Intel ® SpeedStep ® Technology for the Intel ® Pentium ® M Processor – White
paper. http://download.intel.com/design/network/papers/30117401.pdf (2004)
248. Intel: Motion estimation with Intel ®
streaming SIMD extensions 4 (Intel ®
SSE4).
http://software.intel.com/en-us/articles/motion-estimation-with-intel-streamingsimd-extensions-4-intel-sse4 (2008)
249. Intel: Intel ® AVX. http://software.intel.com/en-us/avx (2010)
250. Intel: Intel Itanium processors.
https://www.intel.com/content/www/us/en/products/
processors/itanium.html (2021)
251. International Electrotechnical Commission (IEC): Functional safety. https://www.iec.ch/
functionalsafety/explained/ (2020)
252. Ishihara, T., Yasuura, H.: Voltage scheduling problem for dynamically variable voltage processors. Intern. Symp. on Low Power Electronics and Design (ISLPED) pp. 197–202 (1998)
253. ISO: Road vehicles – functional safety – part 3: Concept phase. https://www.iso.org/obp/ui/
#iso:std:iso:26262:-3:ed-1:v1:en (2011)
254. ISO: Road vehicles – FlexRay communications system – Part 1: General information and
use case definition. http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?
csnumber=59804 (2013)