Проектирование встроенных управляющих систем реального времени

СПИСОК ЛИТЕРАТУРЫ

1.Barry Р., Crowley Р. Modern Embedded Computing. Designing Connected, Pervasive, Media-Rich Systems. – Morgan Kaufmann Publishers, 2012. – 512 р.

2.Marwedel Р. Embedded System Design. Embedded Systems Foundations of Cyber-Physical Systems. – 2nd еd. – Springer, 2011. – 389 р.

3.PowerPC™ Microprocessor Family: The Programming Environments For 32-Bit Microprocessors. MPCFPE32B/AD 1/97 REV. 1. Motorolla.

4.EP93xx. User ’s Guide. Cirrus Logic, Inc. 2007.

5.C-5 Network Processor Architecture Guide / C-Port Corp. – North Andover, MA, May 31, 2001.

6.Lapsley P., Bier J., Shoham A., Lee E.A. DSP Processor Fudamentals– Architectures and Features. – IEEE Press, New York, 1997.

7.MPC850 Family User’s Manual. Integrated Communications Microprocessor. MPC850UM/D, Rev. 1, 1/2001. Freescale Semiconductor, Inc.

8.Owens J. GPU Architecture Overview. – UC Davis, 2007. – URL: http://gpgpu.org/static/s2007/slides/02-gpu-architecture-overview-s07.pdf

9.Patterson D.A., Hennessy J.L. Computer Architecture: A Quantitative Approach. Morgan Kaufmann. – 3rd ed. – Sun Francisco, CA, 2003. – 1136 p.

10.Eden M., Kagan M. The PentiumR processor with MMXTM technology // IEEE International Conference (COMPCON), IEEE. – San Jose, CA, USA, 1997. – P. 260–262.

11.Таненбаум Э. Архитектура компьютера. – 5-е изд. (+CD). –

СПб.: Питер, 2007. – 844 с.

12.Introduction in Embedded Programming. – URL: http://www.scriptoriumdesigns.com/embedded/

13.Salewski F., Kowalewski S. Hardware Platform Design Decisions in Embedded Systems – A Systematic Teaching Approach // WESE’06. – Seoul, 2006. – P. 27–35.

14.An Introduction to Safety Critical Systems: A document by IPL Information Processing Ltd. – URL: http://www.ipl.com/pdf/p0826.pdf.

15.Деменков Н.П. Модельно-ориентированное проектирование систем управления [Электронный ресурс] / МГТУ им. Н.Э. Баумана. – URL: http://is.ifmo.ru/ misc2/_matlab_simulink.pdf.

191

16.Introduction to Data Flow Simulation. Agilent technologies. – URL: http://edocs.soco.agilent.com/display/sv201001/Introduction+to+Data+Flow +Simulation.

17.Esterel Technologies, Inc. – URL: http://www.esterel-technolo- gies.com/products.

18.Bengtsson J., Yi W. Timed automata: Semantics, algorithms and tools / J. Desel, W. Reisig, G. Rozenberg (eds.) // ACPN 2003. Springer LNCS. – 2004. – Vol. 3098. – P. 87–124.

19.Scade Language Reference Manual / Esterel Technologies SA. – Published March 2012. – (ScadeLanguageReference_SC-LRM-63.pdf).

20.Scade Language Tutorial / Esterel Technologies SA. – Published March 2012. – (LanguageTutorial_SC-LT-63.pdf).

21.Mano M. Morris, Charles R. Kime. Logic and Computer Design Fundamentals. Upper Saddle River. – New Jersey: Prentice-Hall, 2004. – 656 p.

22.SCADE Suite User Manual / Esterel Technologies SA. – Published March 2012. – (UserManual_SC-UM-63.pdf).

23.Noergaard T. Embedded Systems Architecture. A Comprehensive Guide for Engineers and Programmers. – Elsevier Inc, 2005. – 640 p.

24.Olderog E.-R., Dierks H. Real-Time Systems. Formal Specification and Automatic Verification. – Cambridge: Cambridge University Press, 2008. – 311 p.

192