Высокоуровневое проектирование встраиваемых систем. Часть 1. Платунов А.Е - 120 стр.

UptoLike

119
64. Lee E.A. Embedded Software. // Technical Memorandum UCB/ERL
M01/26, University of California. Berkeley. November 1, 2001.
65. Lee E.A. Modeling Concurrent Real-Time Processes Using Discrete
Events. // Annals of Software Engineering. Special Volume on Real-Time
Software Engineering. 1998.
66. Lee E.A., Neuendorffer S., Wirthlin M.J. Actor-Oriented Design of
Embedded Hardware and Software Systems // Journal of Circuits, Systems,
and Computers, Version 2. November 20, 2002.
67. Lee E.A., Sangiovanni-Vincentelli A. Comparing Models of Computation.
Proceedings of ICCAD. San Jose, California, USA. November 10-14,
1996.
68. Maciel P., Barros E., Rosenstiel W. A Petri Net Model for
Hardware/Software Codesign. // In Design Automation for Embedded
Systems. Vol. 4. October 1999. P. 243–310.
69. Martin G. Productivity in VC Reuse: Linking SOC platforms to abstract
systems design methodology. // Forum on Design Languages: Virtual
Components Design and Reuse. Lyon, France. August-September, 1999. P.
313–322.
70. Martin G., Chang H., et al. Surviving the SOC Revolution: A Guide to
Platform Based Design. Kluwer Academic Publishers. September 1999.
71. Martin G., Sangiovanni-Vincentelli A. A Vision for Embedded Software //
Proceedings of the 2001 international conference on Compilers,
architecture, and synthesis for embedded systems, 2001. P. 1–7.
72. Mentor Graphics Corporation. URL: http://www.mentor.com.
73. Object Management Group. OMG Unified Modeling Language
Specification. June 1999. URL: http://www.omg.org.
74. Patterson D.A., Hennessy J.L. Computer Organization and Design: The
Hardware/software Interface. // Morgan Kaufmann. 2005.
75. Peterson J. L. Petri Net Theory and the Modeling of Systems. // Prentice-
Hall Inc., Englewood Cliffs, NJ. 1981.
76. SAE AADL: A Society of Automotive Engineers Standard. URL:
http://www.aadl.info.
77. Safonov V.O. Aspect.NET: concepts and architecture. // .NET Developers
Journal. No. 10. 2004.
78. Sangiovanni-Vincentelli A. Defining platform-based design. // EEDesign.
February 2002.
79. Sangiovanni-Vincentelli A. Quo Vadis SLD: Reasoning about Trends and
Challenges of System-Level Design // Proceedings of the IEEE, March
2007. 95(3). P. 467–506.
80. Sangiovanni-Vincentelli A., Lee E.A. A framework for comparing models
of computation. // IEEE Trans. Computer-Aided Design Integrated Circuits.
December 1998.
81. Semiconductor Reuse Standard V2.0. Motorola Inc. 1999.