446
Literaturverzeichnis
255. ISO: ISO 9001:2015(en)-Quality management systems – Requirements. https://www.iso.org/
obp/ui/#iso:std:iso:9001:ed-5:v1:en (2015)
256. ISO: ISO/IEC 27000:2018(en) Information technology — Security techniques — Information
security management systems — Overview and vocabulary. https://www.iso.org/obp/ui/#iso:
std:iso-iec:27000:ed-5:v1:en (2018)
257. ISO/IEC: ISO/IEC 15437:2001 - Information technology – Enhancements to LOTOS (ELOTOS). http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=
27680 (2001)
258. ISO/IEC: ISO/IEC 25024:2015 Systems and software engineering – Systems and software
Quality Requirements and Evaluation (SQuaRE) – Measurement of data quality. https:
//www.iso.org/standard/35749.html (2015)
259. ISO/IEC: ISO/IEC 25022:2016 Systems and software engineering – Systems and software
quality requirements and evaluation (SQuaRE) – Measurement of quality in use. https:
//www.iso.org/standard/35746.html (2016)
260. ISO/IEC: ISO/IEC 25023:2016 Systems and software engineering – Systems and software
Quality Requirements and Evaluation (SQuaRE) – Measurement of system and software
product quality. https://www.iso.org/standard/35747.html (2016)
261. Israr, A., Huss, S.: Specification and design considerations for reliable embedded systems.
Proceedings of Design, Automation and Test in Europe (DATE) pp. 1111–1116 (2008)
262. ITRS Organization: International Technology Roadmap for Semiconductors – 2013 Edition
– Executive Summary. http://www.itrs2.net/2013-itrs.html (2013)
263. Iyer, A., Marculescu, D.: Power and performance evaluation of globally asynchronous locally
synchronous processors. Int. Symp. on Computer Architecture (ISCA) pp. 158–168 (2002)
264. Jackson, J.: Scheduling a production line to minimize maximum tardiness. Management
Science Research Project 43, University of California, Los Angeles (1955)
265. Jacobs, M., Hahn, S., Hack, S.: WCET analysis for multi-core processors with shared buses
and event-driven bus arbitration. In: Proceedings of the 23rd International Conference on Real
Time and Networks Systems, RTNS ’15, pp. 193–202. ACM, New York, NY, USA (2015).
DOI 10.1145/2834848.2834872. URL http://doi.acm.org/10.1145/2834848.2834872
266. Jacobs, M., Hahn, S., Hack, S.: A framework for the derivation of WCET analyses for
multi-core processors. In: 28th Euromicro Conference on Real-Time Systems, ECRTS 2016,
Toulouse, France, July 5-8, 2016, pp. 141–151. IEEE Computer Society (2016). DOI
10.1109/ECRTS.2016.19. URL http://dx.doi.org/10.1109/ECRTS.2016.19
267. Jain, M., Balakrishnan, M., Kumar, A.: ASIP design methodologies: Survey and issues. 14th
Int. Conf. on VLSI Design pp. 76–81 (2001)
268. Janka, R.: Specification and Design Methodology for Real-Time Embedded Systems. Kluwer
Academic Publishers (2002)
269. Jantsch, A.: Modeling Embedded Systems and SoC’s: Concurrency and Time in Models of
Computation. Morgan Kaufmann (2004)
270. Jantsch, A.: Models of embedded computation. In: R. Zurawski (ed.): Embedded Systems
Handbook, CRC Press (2006)
271. Java Community Process: JSR-1 – Real-time Specification for Java. http://www.jcp.org/en/
jsr/detail?id=1 (2019)
272. Jayaseelan, R., Mitra, T., Li, X.: Estimating the worst-case energy consumption of embedded
software. In: 12th IEEE Real-Time and Embedded Technology and Applications Symposium
(RTAS’06), pp. 81–90. IEEE (2006)
273. Jensen, K.: Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 1.
Springer (2013)
274. Jewett, J.W., Serway, R.A.: Physics for scientists and engineers with modern physics. Thomson
Higher Education (2007)
275. Jha, P., Dutt, N.: Rapid estimation for parameterized components in high-level synthesis.
IEEE Transactions on VLSI Systems pp. 296–303 (1993)
276. Jones, M.: What really happened on Mars Rover Pathfinder. http://www.cs.cornell.edu/
courses/cs614/1999sp/papers/pathfinder.html (1997)
Literaturverzeichnis
255. ISO: ISO 9001:2015(en)-Quality management systems – Requirements. https://www.iso.org/
obp/ui/#iso:std:iso:9001:ed-5:v1:en (2015)
256. ISO: ISO/IEC 27000:2018(en) Information technology — Security techniques — Information
security management systems — Overview and vocabulary. https://www.iso.org/obp/ui/#iso:
std:iso-iec:27000:ed-5:v1:en (2018)
257. ISO/IEC: ISO/IEC 15437:2001 - Information technology – Enhancements to LOTOS (ELOTOS). http://www.iso.org/iso/home/store/catalogue_tc/catalogue_detail.htm?csnumber=
27680 (2001)
258. ISO/IEC: ISO/IEC 25024:2015 Systems and software engineering – Systems and software
Quality Requirements and Evaluation (SQuaRE) – Measurement of data quality. https:
//www.iso.org/standard/35749.html (2015)
259. ISO/IEC: ISO/IEC 25022:2016 Systems and software engineering – Systems and software
quality requirements and evaluation (SQuaRE) – Measurement of quality in use. https:
//www.iso.org/standard/35746.html (2016)
260. ISO/IEC: ISO/IEC 25023:2016 Systems and software engineering – Systems and software
Quality Requirements and Evaluation (SQuaRE) – Measurement of system and software
product quality. https://www.iso.org/standard/35747.html (2016)
261. Israr, A., Huss, S.: Specification and design considerations for reliable embedded systems.
Proceedings of Design, Automation and Test in Europe (DATE) pp. 1111–1116 (2008)
262. ITRS Organization: International Technology Roadmap for Semiconductors – 2013 Edition
– Executive Summary. http://www.itrs2.net/2013-itrs.html (2013)
263. Iyer, A., Marculescu, D.: Power and performance evaluation of globally asynchronous locally
synchronous processors. Int. Symp. on Computer Architecture (ISCA) pp. 158–168 (2002)
264. Jackson, J.: Scheduling a production line to minimize maximum tardiness. Management
Science Research Project 43, University of California, Los Angeles (1955)
265. Jacobs, M., Hahn, S., Hack, S.: WCET analysis for multi-core processors with shared buses
and event-driven bus arbitration. In: Proceedings of the 23rd International Conference on Real
Time and Networks Systems, RTNS ’15, pp. 193–202. ACM, New York, NY, USA (2015).
DOI 10.1145/2834848.2834872. URL http://doi.acm.org/10.1145/2834848.2834872
266. Jacobs, M., Hahn, S., Hack, S.: A framework for the derivation of WCET analyses for
multi-core processors. In: 28th Euromicro Conference on Real-Time Systems, ECRTS 2016,
Toulouse, France, July 5-8, 2016, pp. 141–151. IEEE Computer Society (2016). DOI
10.1109/ECRTS.2016.19. URL http://dx.doi.org/10.1109/ECRTS.2016.19
267. Jain, M., Balakrishnan, M., Kumar, A.: ASIP design methodologies: Survey and issues. 14th
Int. Conf. on VLSI Design pp. 76–81 (2001)
268. Janka, R.: Specification and Design Methodology for Real-Time Embedded Systems. Kluwer
Academic Publishers (2002)
269. Jantsch, A.: Modeling Embedded Systems and SoC’s: Concurrency and Time in Models of
Computation. Morgan Kaufmann (2004)
270. Jantsch, A.: Models of embedded computation. In: R. Zurawski (ed.): Embedded Systems
Handbook, CRC Press (2006)
271. Java Community Process: JSR-1 – Real-time Specification for Java. http://www.jcp.org/en/
jsr/detail?id=1 (2019)
272. Jayaseelan, R., Mitra, T., Li, X.: Estimating the worst-case energy consumption of embedded
software. In: 12th IEEE Real-Time and Embedded Technology and Applications Symposium
(RTAS’06), pp. 81–90. IEEE (2006)
273. Jensen, K.: Coloured Petri nets: basic concepts, analysis methods and practical use, vol. 1.
Springer (2013)
274. Jewett, J.W., Serway, R.A.: Physics for scientists and engineers with modern physics. Thomson
Higher Education (2007)
275. Jha, P., Dutt, N.: Rapid estimation for parameterized components in high-level synthesis.
IEEE Transactions on VLSI Systems pp. 296–303 (1993)
276. Jones, M.: What really happened on Mars Rover Pathfinder. http://www.cs.cornell.edu/
courses/cs614/1999sp/papers/pathfinder.html (1997)