Literaturverzeichnis
457
513. Storey, N.: Safety-critical Computer Systems. Addison Wesley (1996)
514. Stritter, E., Gunter, T.: Microprocessor architecture for a changing world: The Motorola
68000. IEEE Computer 12, 43–52 (1979)
515. Stuijk, S.: Predictable mapping of streaming applications on multiprocessors. Ph.D. thesis,
TU Eindhoven (2007)
516. Sundmaeker, H., Guillemin, P., Friess, P., Woelfflé, S.: Vision and Challenges for Realising
the Internet of Things. Cluster of European Research Projects on the Internet of Things,
European Commision (2010)
517. Sutherland, S.: An overview of SystemVerilog 3.1. EEdesign, May, available at http://www.
eetimes.com/news/design/features/showArticle.jhtml?articleID=16501063 (2003)
518. Synopsys: System studio. https://www.synopsys.com/verification/virtual-prototyping.html
(2020)
519. Synopsys ® Inc.: HSPICE ® : The gold standard for accurate circuit simulation.
https://www.synopsys.com/Tools/Verification/AMSVerification/CircuitSimulation/
HSPICE/Documents/hspice_ds.pdf (2019)
520. SYSGO AG: PikeOS RTOS and Virtualization Concept. http://www.sysgo.com (2019)
521. SystemC: Home page. http://www.SystemC.org (2020)
522. Taha, W., Cartwright, R.: Some challenges for model-based simulation. In: The 4th Analytic
Virtual Integration of Cyber-Physical Systems Workshop, Vancouver, Canada, December 3,
2013, pp. 1–4. Linköping University Electronic Press (2013)
523. Takada, H.: Real-time operating system for embedded systems. In: M. Imai and N. Yoshida
(eds.): Tutorial 2 – Software Development Methods for Embedded Systems, Asia SouthPacific Design Automation Conference (ASP-DAC) (2001)
524. Tan, T.K., Raghunathan, A., Jha, N.K.: Software architectural transformations: A new approach to low energy embedded software. Proceedings of Design, Automation and Test in
Europe (DATE) pp. 11,046–11,051 (2003)
525. Tanenbaum, A.: Moderne Betriebssysteme. Pearson (2016)
526. Tartler, R., Lohmann, D., Sincero, J., Schröder-Preikschat, W.: Feature consistency in compiletime-configurable system software: facing the Linux 10,000 feature problem. Sixth Conference on Computer Systems (EuroSys) (2011)
527. Tehrani, S.N.: Functional safety and IEC 61508 – a basic guide. http://www.ida.liu.se/
~simna73/teaching/SCRTS/IEC61508_Guide.pdf (2004)
528. Teich, J.: Digitale Hardware/Software-Systeme. Springer (1997)
529. Tewari, A.: Modern Control Design with MATLAB and SIMULINK. John Wiley and Sons
Ltd. (2001)
530. Texas Instruments Inc.: 6000 multicore DSP + ARM SoC. http://www.ti.com/lsds/ti/
processors/dsp/c6000_dsp-arm/66ak2x/overview.page (2020)
531. Thayer, D., Miller, K.: Four UNIX programs in four UNIX collections: seeking consistency
in an Open Source icon. In: Proceedings of the 37th Midwest Instruction and Computing
Symposium (2004)
532. The Dobelle Institute: Home page. http://www.dobelle.com (no longer accessible) (2003)
533. The MathWorks Inc.: Simulink – simulation and model-based design. http://www.mathworks.
com/products/simulink (2021)
534. Thesing, S.: Safe and Precise WCET Determination by Abstract Interpretation of Pipeline
Models. Pirrot Verlag (2004)
535. Thiele, L.: Design space exploration of embedded systems. Artist Spring School on Embedded Systems, Xi’an, http://www.artist-embedded.org/docs/Events/2006/ChinaSchool/4_
DesignSpaceExploration.pdf (2006)
536. Thiele, L.: Performance analysis of distributed embedded systems. In: R. Zurawski (Hrg.):
Embedded Systems Handbook, CRC Press, 2006 (2006)
537. Thiele, L. et al.: SHAPES TIK. http://www.tik.ee.ethz.ch/~shapes/dol.html (2009)
538. Thoen, F., Catthoor, F.: Modelling, Verification and Exploration of Task-Level Concurrency
in Real-Time Embedded Systems. Kluwer Academic Publishers (2000)
539. Thomas, D.E., Moorby, P.: The Verilog Hardware Description Language. Kluwer Academic
Publishers (1991)
457
513. Storey, N.: Safety-critical Computer Systems. Addison Wesley (1996)
514. Stritter, E., Gunter, T.: Microprocessor architecture for a changing world: The Motorola
68000. IEEE Computer 12, 43–52 (1979)
515. Stuijk, S.: Predictable mapping of streaming applications on multiprocessors. Ph.D. thesis,
TU Eindhoven (2007)
516. Sundmaeker, H., Guillemin, P., Friess, P., Woelfflé, S.: Vision and Challenges for Realising
the Internet of Things. Cluster of European Research Projects on the Internet of Things,
European Commision (2010)
517. Sutherland, S.: An overview of SystemVerilog 3.1. EEdesign, May, available at http://www.
eetimes.com/news/design/features/showArticle.jhtml?articleID=16501063 (2003)
518. Synopsys: System studio. https://www.synopsys.com/verification/virtual-prototyping.html
(2020)
519. Synopsys ® Inc.: HSPICE ® : The gold standard for accurate circuit simulation.
https://www.synopsys.com/Tools/Verification/AMSVerification/CircuitSimulation/
HSPICE/Documents/hspice_ds.pdf (2019)
520. SYSGO AG: PikeOS RTOS and Virtualization Concept. http://www.sysgo.com (2019)
521. SystemC: Home page. http://www.SystemC.org (2020)
522. Taha, W., Cartwright, R.: Some challenges for model-based simulation. In: The 4th Analytic
Virtual Integration of Cyber-Physical Systems Workshop, Vancouver, Canada, December 3,
2013, pp. 1–4. Linköping University Electronic Press (2013)
523. Takada, H.: Real-time operating system for embedded systems. In: M. Imai and N. Yoshida
(eds.): Tutorial 2 – Software Development Methods for Embedded Systems, Asia SouthPacific Design Automation Conference (ASP-DAC) (2001)
524. Tan, T.K., Raghunathan, A., Jha, N.K.: Software architectural transformations: A new approach to low energy embedded software. Proceedings of Design, Automation and Test in
Europe (DATE) pp. 11,046–11,051 (2003)
525. Tanenbaum, A.: Moderne Betriebssysteme. Pearson (2016)
526. Tartler, R., Lohmann, D., Sincero, J., Schröder-Preikschat, W.: Feature consistency in compiletime-configurable system software: facing the Linux 10,000 feature problem. Sixth Conference on Computer Systems (EuroSys) (2011)
527. Tehrani, S.N.: Functional safety and IEC 61508 – a basic guide. http://www.ida.liu.se/
~simna73/teaching/SCRTS/IEC61508_Guide.pdf (2004)
528. Teich, J.: Digitale Hardware/Software-Systeme. Springer (1997)
529. Tewari, A.: Modern Control Design with MATLAB and SIMULINK. John Wiley and Sons
Ltd. (2001)
530. Texas Instruments Inc.: 6000 multicore DSP + ARM SoC. http://www.ti.com/lsds/ti/
processors/dsp/c6000_dsp-arm/66ak2x/overview.page (2020)
531. Thayer, D., Miller, K.: Four UNIX programs in four UNIX collections: seeking consistency
in an Open Source icon. In: Proceedings of the 37th Midwest Instruction and Computing
Symposium (2004)
532. The Dobelle Institute: Home page. http://www.dobelle.com (no longer accessible) (2003)
533. The MathWorks Inc.: Simulink – simulation and model-based design. http://www.mathworks.
com/products/simulink (2021)
534. Thesing, S.: Safe and Precise WCET Determination by Abstract Interpretation of Pipeline
Models. Pirrot Verlag (2004)
535. Thiele, L.: Design space exploration of embedded systems. Artist Spring School on Embedded Systems, Xi’an, http://www.artist-embedded.org/docs/Events/2006/ChinaSchool/4_
DesignSpaceExploration.pdf (2006)
536. Thiele, L.: Performance analysis of distributed embedded systems. In: R. Zurawski (Hrg.):
Embedded Systems Handbook, CRC Press, 2006 (2006)
537. Thiele, L. et al.: SHAPES TIK. http://www.tik.ee.ethz.ch/~shapes/dol.html (2009)
538. Thoen, F., Catthoor, F.: Modelling, Verification and Exploration of Task-Level Concurrency
in Real-Time Embedded Systems. Kluwer Academic Publishers (2000)
539. Thomas, D.E., Moorby, P.: The Verilog Hardware Description Language. Kluwer Academic
Publishers (1991)