Проектирование программных моделей сетевых протоколов для встроенных систем тема диссертации и автореферата по ВАК РФ 05.13.11, кандидат технических наук Оленев, Валентин Леонидович

• Оленев, Валентин Леонидович
• кандидат технических наук
• 2011

Оглавление диссертации кандидат технических наук Оленев, Валентин Леонидович

СПИСОК ИСПОЛЬЗУЕМЫХ СОКРАЩЕНИЙ.

ВВЕДЕНИЕ.

ГЛАВА 1. ПРОГРАММНОЕ МОДЕЛИРОВАНИЕ ПРОТОКОЛОВ ПЕРЕДАЧИ ДАННЫХ ДЛЯ

ВСТРОЕННЫХ СИСТЕМ.

1.1 Сетевые протоколы для межкристальных коммуникаций во встроенных системах.

1.2 Разработка стеков протоколов передачи данных.

1.3 Роль программного моделирования в процессе разработки стеков протоколов встроенных систем

1.3.1 Программное моделирование в процессе написания спецификации протокола для встроенных систем.^

1.3.2 Программное моделирование в процессе верификации протокола для встроенных систем

1.3.3 Программное моделирование протоколов встроенных систем для тестирования устройств.^

1.3.4 Выводы.

1.4 Требования к языку проектирования и написания программных моделей.

1.5 Язык 8уз1етС и его преимущества.

1.5.1 Описание языка

1.5.2 Обоснование выбора 8уз1етС для написания программных моделей протоколов встроенных систем.

1.6 Постановка задачи.

ВЫВОДЫ ПО ГЛАВЕ 1.

ГЛАВА 2. ПЕРЕХОД ОТ СПЕЦИФИКАЦИИ К ПРОГРАММНОЙ МОДЕЛИ ПРОТОКОЛА ПЕРЕДАЧИ ДАННЫХ.

2.1 Архитектура программных моделей протоколов передач данных встроенных систем.

2.2 Компонентное проектирование.но

2.2.1 Принцип модульности.

2.2.2 Выбор типа модулей для построения архитектурной диаграммы.

2.2.3 Определение набора модулей для разработки архитектурных диаграмм программных моделей протоколов встроенных систем.

2.3 Набор базовых модулей для построения архитектурной диаграммы протокола.

2.3.1 Модуль инициализации

2.3.2 Стандартный модуль (N портов и М интерфейсов) (СМ).

2.3.3 Симплексный канал

2.3.4 Дуплексный канал (DC).

2.3.5 Сервисная точка доступа (SAP).

2.3.6 Необходимость и достаточность набора модулей.

2.4 Ошибки построения архитектурной диаграммы.

2 5 Метод построения архитектурных диаграмм программных моделей протоколов на основе набора модулей.

2.5.1 Определение типов данных и модулей для построения архитектурной диаграммы на основе спецификации протокола.

2.5.2 Составление Таблицы требований спецификации.

2.5.3 Составление Таблицы взаимосвязей.

2.6 Генерация SystemC модели из архитектурной диаграммы.

ВЫВОДЫ ПО ГЛАВЕ 2.

ГЛАВА 3. ВЕРИФИКАЦИЯ АРХИТЕКТУРЫ ПРОГРАММНОЙ МОДЕЛИ ПРОТОКОЛА ПЕРЕДАЧИ ДАННЫХ С ИСПОЛЬЗОВАНИЕМ РАСКРАШЕННЫХ СЕТЕЙ ПЕТРИ.

3.1 Верификация при помощи сетей Петри.

3.2 Применение теории сетей Петри для моделирования.

3.2.1 Теория сетей Петри.

3.2.2 Формальное определение сетей Петри.

3.2.3 Раскрашенные сети Петри.

3.2.4 Формальное определение раскрашенных сетей Петри.

3.3 Составление раскрашенной сети Петри по архитектурной диаграмме уровня программной модели стека протоколов.

3.3.1 Метод перехода от архитектурной диаграммы к раскрашенной сети Петри.

3.3.2 Пример перехода от архитектурной диаграммы к раскрашенной сети Петри.

3.3.3 Свойства раскрашенной сети Петри, полученной из архитектурной диаграммы.

3.3.4 Разметка раскрашенной сети Петри.

3.3.5 Алгоритм разметки раскрашенной сети Петри.уо

3.4 Построение набора классических сетей Петри эквивалентного раскрашенной сети.

3 4 1 Построение классической сети Петри эквивалентной раскрашенной сети Петри по поведению.

3.4.2 Классическая сеть Петри эквивалентная раскрашенной сети.

3.4.3 Алгоритм построения классической сети Петри эквивалентной раскрашенной.

3.4.4 Доказательство преобразования раскрашенной сети Петри по признаку цвета в эквивалентный ей набор обычных сетей Петри.

3.5 Методы анализа сетей Петри.

3.6 Верификация архитектурной диаграммы на основе результатов анализа Сетей Петри деревьями достижимости.

3.7 Результат верификации.

3.8 Проверка программной модели на соответствие спецификации протокола.

ВЫВОДЫ ПО ГЛАВЕ 3.

ГЛАВА 4. ПРИМЕНЕНИЕ РАЗРАБОТАННЫХ МЕТОДОВ И АЛГОРИТМОВ ПРОЕКТИРОВАНИЯ И ВЕРИФИКАЦИИ АРХИТЕКТУРНЫХ ДИАГРАММ ПРОГРАММНЫХ МОДЕЛЕЙ ПРОТОКОЛОВ ВСТРОЕННЫХ СИСТЕМ.

4.1 Программная модель стека протоколов UniPro.

4.1.1 Уровень адаптации к физическому уровню (PA Layer).

4.1.2 Программная модель уровня адаптации.

4.1.3 Физический уровень (PHY Layer).

4.1.4 Программная модель физического уровня.

4.2 Программная модель стека протоколов Space Wire.

4.2.1 Символьный уровень SpaceWire.

4.2.2 Программная модель символьного уровня SpaceWire.

4.3 Система построения программных моделей сетевых протоколов для встроенных систем (Embedded Systems Protocols Modelling Software).

4.4 Обоснование эффективности использования предложенной методики.

ВЫВОДЫ ПО ГЛАВЕ 4.

Введение диссертации (часть автореферата) на тему «Проектирование программных моделей сетевых протоколов для встроенных систем»

Встроенные системы стали использоваться повсеместно: в автомобилестроении, мобильной индустрии и других вещах, без которых жизнь современного человека уже сложно представить. Многие встроенные системы состоят не только из одного процессора, а могут содержать целые сети-на-кристалле. Составляющие элементы таких сетей должны взаимодействовать между собой, руководствуясь жесткими правилами для достижения требований энергопотребления, физических размеров и стоимости, выдвигаемых к встроенной системе. Такие правила называют протоколами для встроенных систем. Разработка протоколов передачи данных для таких систем является очень трудоемкой задачей, состоящей из нескольких этапов: она начинается с концептуального проектирования системы и заканчивается сбором устройства, работающего по заданному протоколу. Однако в процессе разработки спецификации протокола зачастую возникают моменты, когда необходимо выбирать тот или иной путь решения проблемы, анализировать различные подходы к реализации и проверять спецификацию на ошибки разработчиков. Именно поэтому программное моделирование становится все более необходимым элементом проектирования протоколов передачи данных для встроенных систем. Оно позволяет обнаружить ошибки на ранних этапах разработки спецификаций, значительно уменьшить само время разработки, а так же в дальнейшем использовать полученные программные модели для тестирования реальных плат. Программная модель протокола является сложным многокомпонетным параллельным программным комплексом, поэтому задачи разработки и написания такой модели также являются сложными и трудоемкими. Программное моделирование протоколов ведется во многих крупных компаниях, таких как Nokia, STErricsson, Qualcomm, в работах, курируемых Европейским Космическим Агентством (ESA), в разработках авиационных компаний и т.д. Однако каждая компания ведет разработку своими путями. Методы проверки на программных моделях широко используются и описаны в работах таких авторов как Э. М. Кларк, О. Грамберг и Д. Пелед, Ю.Г. Карпов, в результатах исследований компании Cadence. Однако на данный момент не существует четко сформулированных и описанных формальных методов организации программного обеспечения для моделирования стеков протоколов встроенных систем, что осложняет их разработку и реализацию. Поэтому, разработка методики построения программного обеспечения для написания программных моделей протоколов передачи данных для встроенных систем и верификации этих программных моделей является актуальной проблемой.

В данной диссертации предлагается использовать широко используемый в последнее время подход компонентного проектирования, описанный в работах Э. Дж. Брауде, Кулямина В.В., Э. Ванга и К. Квана, для разработки набора стандартных модулей, предназначенного для построения архитектурных диаграмм программных моделей протоколов встроенных систем. А также предлагается разработать методику, позволяющую строить архитектурные диаграммы на основе этого набора модулей, что позволит значительно упростить процесс проектирования программной модели. Кроме того, предлагается осуществлять верификацию полученных архитектурных диаграмм на предмет ошибок построения и организации взаимодействий между модулями, пользуясь теорией сетей Петри и в частности, теорией раскрашенных сетей Петри, развитой и доработанной К. Енсеном. Результатом такой работы может быть сгенерированный из полученной архитектурной диаграммы скелет параллельной программной модели на языке 8уз1етС.

Целью диссертационной работы является разработка методов и алгоритмов проектирования программных моделей сетевых протоколов для встроенных систем. Разработка методики проектирования программного обеспечения для реализации и верификации архитектурных диаграмм программных моделей стеков протоколов передачи данных, обеспечивающей повышение эффективности разработки и корректности программных моделей.

Для достижения поставленной цели в работе решались следующие задачи:

1. разработка метода проектирования и анализа программных моделей протоколов передачи данных;

2. разработка набора типовых модулей для построения архитектурных диаграмм программных моделей протоколов встроенных систем;

3. разработка метода организации межмодульных взаимодействий в программных моделях сетевых протоколов;

4. разработка метода перехода от архитектурной диаграммы программной модели к интерпретирующей ее раскрашенной сети Петри;

5. разработка алгоритма разметки раскрашенной сети Петри для осуществления верификации архитектурных диаграмм программных моделей;

6. исследование и разработка метода перехода от раскрашенной сети Петри к эквивалентной ей классической сети Петри в целях применения методов анализа классических сетей Петри к раскрашенным сетям;

7. разработка методики верификации архитектурной диаграммы на основе данных, полученных при анализе набора классических сетей Петри.

Для решения поставленных задач использовались методы теории имитационного моделирования, теорий сетей Петри и раскрашенных сетей Петри, методы теории программирования и принципы объектно-ориентированного и компонентного программирования, методы теории множеств, теории комплектов.

Научной новизной обладают следующие результаты работы:

1. метод проектирования архитектурной диаграммы программной модели протокола передачи данных для встроенных систем по его спецификации;

2. набор модулей для проектирования архитектурных диаграмм программных моделей протоколов передачи данных для встроенных систем;

3. метод построения раскрашенной сети Петри на основе архитектурной диаграммы программной модели;

4. алгоритм разметки раскрашенной сети Петри для осуществления анализа движения фишек при помощи деревьев достижимости;

5. метод верификации архитектурной диаграммы программной модели протокола на основе результатов анализа сетей Петри.

Практическая значимость диссертации заключается в том, что в ней предложена методика разработки программных моделей протоколов и стеков протоколов передачи данных во встроенных системах, обеспечивающая упрощение и ускорение этого процесса разработки.

Основные исследования и результаты диссертационной работы внедрены в учебный процесс Государственного университета аэрокосмического приборостроения, внедрены при разработке программных моделей протоколов передачи данных для таких компании Nokia и ОАО «НИИ Авиационного оборудования», использованы в разработках Mipi Alliance. Результаты внедрения подтверждены соответствующими актами.

Основные положения и результаты диссертации докладывались и обсуждались на конференции Cadence CDNLife (2008 г.), Научных сессиях ГУАП (2008, 2009, 2010 гг.), а также международных конференциях FRUCT в 2009 и 2010 гг. По теме диссертации опубликовано семнадцать печатных работ в отечественных и зарубежных изданиях, в том числе две статьи в рецензируемых журналах по перечню ВАК.

Основные положения, выносимые на защиту:

1. Метод перехода от спецификаций протоколов передачи данных к архитектурным диаграммам программных моделей этих протоколов, составленных из набора типовых модулей;

2. Метод формального описания архитектурных диаграмм программных моделей раскрашенными сетями Петри;

3. Алгоритм разметки раскрашенных сетей Петри для осуществления анализа движения фишек по сети Петри методом построения деревьев достижимости;

4. Метод верификации архитектурной диаграммы программной модели на основе результатов анализа достижимости набора классических сетей Петри, эквивалентных раскрашенной сети Петри по поведению.

Диссертационная работа состоит из введения, списка используемых сокращений, четырех глав, заключения, списка использованных источников и трёх приложений.

Заключение диссертации по теме «Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей», Оленев, Валентин Леонидович

Основные результаты работы можно сформулировать следующим образом:

1. Разработан метод проектирования и анализа программных моделей протоколов передачи данных при помощи построения и верификации архитектурных диаграмм;

2. Разработан и обоснован набор типовых модулей для построения архитектурных диаграмм программных моделей протоколов передачи данных для встроенных систем;

3. Разработан метод организации межмодульных взаимодействий в архитектурной диаграмме;

4. Разработан метод перехода от архитектурной диаграммы программной модели к формальной модели в терминах раскрашенной сети Петри;

5. Разработан алгоритм разметки раскрашенной сети Петри для осуществления верификации, отличающийся осуществлением разметки без каких-либо данных о требуемом поведении раскрашенной сети Петри (на входе алгоритма - сеть Петри, полученная из архитектурной диаграммы программной модели);

6. Предложен метод перехода от раскрашенной сети Петри к эквивалентному ей набору классических сетей Петри в целях применения метода анализа деревьями достижимости к раскрашенным сетям; определены условия, при которых при построении классических сетей Петри эквивалентных по поведению раскрашенной сети Петри последняя будет делиться на несколько сетей по признаку цвета;

7. Разработан метод верификации архитектурной диаграммы на основе данных, полученных при анализе набора классических сетей Петри деревьями достижимости.

Таким образом, решены все задачи, поставленные для достижения сформулированной в работе цели, и методика построения и верификации архитектурных диаграмм программных моделей протоколов встроенных систем полностью описана и протестирована.

Список литературы диссертационного исследования кандидат технических наук Оленев, Валентин Леонидович, 2011 год

1. Alur R., Courcoubetis С., Dill D. Model-checking for real-time systems //

2. Proceedings of 5th Symposium of Logic in Computer Science. 1990. C. 414-425.

3. ANSI/NISO standard Z39.50 (ISO 23950), Application Service Definitionand Protocol Specification, NICO, 2003. 267 стр.

4. Berthomieu В., Diaz M. Modelling and verification of time dependentsystems using time Petri nets // IEEE Transaction on Software Engineering. 1991. №3.

5. Black D., Donovan J. SystemC: From the Ground Up. New-York: Springer

6. Science+Buisness Media, Inc., 2004. 244 стр.

7. Bobbio A. System modelling with Petri nets// System Reliability

8. Assessment. 1990. C. 102-114.

9. Buschmann F., Meunier R., Rohnert H., Sommer lad P., Stal M. Pattern

10. Oriented Software Architecture // Wiley, 2002. 476 стр.

11. Cadence Design Systems. The Unified Verification Methodology// Cadencewhite paper. Cadence. 2005.

12. Cortadella J., Reisig W. Applications and theory of Petri Nets 2004.1. Springer. 2004. 502 c.

13. ECSS Secretariat, ECSS-E-ST-50-51C SpaceWire protocol identification.

14. ESA-ESTEC. 2010. Режим доступа: http://spacewire.esa.intl

15. ECSS Secretariat. ECSS-E-ST-50-52C SpaceWire Remote memory access protocol. ESA-ESTEC. 2010. Режим доступа: http://spacewire. esa. int/

16. Esparza J., Römer S., Vogler W. An improvement of McMillan's unfolding algorithm, Tools and Algorithms for the Construction and Analysis of Systems. 1996. C. 87-106.

17. Esparza J., Heljanko K. Implementing LTL Model Checking with Net Unfoldings. Режим доступа: http://cites eerx. ist.psu. edu/viewdoc/download?doi=10.1.1.3.2339&rep=re pl&type=pdf

18. Fin A., Fuccumi F., Martignano M., Signoretto M. SystemC: единая среда для тестирования встроенных систем// CHIP NEWS.2004. №4(87). С. 57-61.

19. Ganssle J. Embedded Systems. World class designs. Newnes. 563 стр.

20. Ganssle J., Barr M. Embedded Systems Dictionary. Elsevier. 294 стр.

21. Gillet M. Hardware/software co-simulation for conformance testing of embedded networks// 4th Seminar of Finnish-Russian University Cooperation in Telecommunications (FRUCT) Program. 2008. Режим доступа: http://fruct. org/sem4/S4Hardwaresoftware.pdf

22. Gipper J. SystemC: The SoC system-level modelling language// Embedded computing Design. 2007. May.

23. Girault C., Valk R. Petri Nets for Systems Engineering: a Guide to Modeling, Verification, and Applications. Springer-Verlag. 2002. 607 c.

24. Grimpel E., Timmermann В., Fandrey Т., Biniasch R., Oppenheimer F. SystemC Object-Oriented Extensions and Synthesis Features// European Electronic

25. Chips & Systems design Initiative. 2002. Режим доступа: www.ecsiassociation.org/ecsi/projects/odette/files/fdl2002.pdf.

26. Groetker Т. и др. System Design with SystemC. Dordrecht: Kluwer Academic Publishers, 2002.

27. Haas P.J. Stochastic Petri Nets: Modelling, Stability, Simulation. Springer. 2002. 480 c.

28. Hack M. Decidability Questions for Petri Nets// Technical Report 161. Laboratory of Computer Science. Massachusetts. 1976. 194 c.

29. Hack M. The Recursive Equivalence of the Reachability Problem and the Liveness Problem for Petri Nets and Vector Addition Systems// Proceedings of 15th Annual Symposium on Switching and Automata Theory. 1974. C. 156- 164.

30. Hayman J., Winskel G. The unfolding of general Petri nets// Foundations of Software Technology and Theoretical Computer Science (Bangalore). 2008. C. 1-12.

31. Heath S. Embedded Systems Design Second Edition. USA: Newnes, 2003. 430 c.

32. IEEE Standart Verilog Hardware Description Language. IEEE PI364-2005 Standard for Verilog. 2008. Режим доступа: http://www.verilog.com/

33. Infiniband Trade Association. Specification for Infmiband protocol. 2010. Режим доступа: http://www.infinibandta.org/

34. International Telecommunication Union. Recommendation Z.100. Specification and Description Language (SDL). Geneva. 2002.

35. ITU-T. Specification and Description Language (SDL). 2002. Режим доступа: http://www.itu.int/.

36. Jantsch A. Modeling Embedded Systems and SoCs. Stockholm: Morgan Kaufmann Publishers. 2004. 351 c.

37. Januzaj V. CPNunf: A tool for McMillan's Unfolding of Coloured Petri Nets. Режим доступа: http://www. daimi. au. dk/CPnets/workshopO 7/cpn/papers/Paper08.pdf

38. Jensen K. An Introduction to the Practical Use of Coloured Petri Nets, Lectures on Petri Nets II: Applications, Department of Computer Science. University of Aarhus. 1996.

39. Jensen K. Coloured Petri nets: A high level language for system design and analysis // Lecture Notes on Computer Science. 1991.

40. Jensen К. Coloured Petri nets: Basic concepts, analysis methods and practical use. Vol. 1. Basic concepts. Berlin a. o.: Springer-Verlag, 1996.

41. Jensen K. Coloured Petri nets: Basic concepts, analysis methods and practical use. Vol. 2. Analysis methods. Berlin a. o.: Springer-Verlag, 1996.

42. Jensen K. Coloured Petri nets: Basic concepts, analysis methods and practical use. Vol. 3. Practical use. Berlin a. o.: Springer-Verlag, 1997.

43. Jensen K, Billington J., Koutny M. Transactions on Petri Nets and Other Models of Concurrency III. Springer. 2009. 274 c.

44. Jensen K., Kristensen L. Coloured Petri Nets: Modeling and Validation of Concurrent Systems. Springer. 2009. 384 c.

45. Jifeng H., Li X., Liu Zh. Component-Based Software Engineering // UNU-IIST, 2005. 32 стр.

46. Karatkevich A. Dynamic Analysis of Petri Net-Based Discrete Systems. Springer. 2007. 166 c.

47. Karp R., Miller R. Parallel Program Schemata// Journal of computer and system science. 1969. #4. C. 167-195.

48. Kamal R. Embedded Systems: Architecture, Programming and Design. Second Edition. Tat McGraw-Hill. 2008. 684 стр.

49. Kaur I., Suri P.K., Verma A. Characterization and Architecture of Component Based Models // International Journal of Advanced Computer Science and Applications, Vol. 1, No. 6, 2010. C. 66-71.

50. Keller R. Generalized Petri Nets as Models for System Verification// Technical Report 202. Laboratory of Computer Science. New Jersey. 1975. 50 c.

51. Keller R. Vector Replacement Systems: A formalism for modeling Asynchronous Systems// Technical Report 117. Computer Science Laboratory. New Jersey. 1972.

52. Kozura V. E. Unfoldings of Colored Petri Nets. Perspectives of System Informatics// 4th International Andrei Ershov Memorial Conference (PSI 2001). 2001. C. 268-278.

53. Kristensen L., Christens en S., Jensen K. The practitioner's guide to coloured Petri nets// Software Tools for Technology Transfer. 1998. #2. C. 98-132.

54. Lewis A.H. An introduction to Petri nets. Режим доступа: http://ict. tippinst. ie/~jhannafin/RandD/petri-intro.pdf.

55. Marwedel P. Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems. 2nd Edition. Springer. 389 стр.

56. MIPI Alliance. Specification for Unified Protocol (UniProSM). 2010. Режим доступа: http://en.wikipedia.org/wiki/UniPro

57. MIPI Alliance. About Mipi webpage. 2010. Режим доступа: http://www. mipi. org/momentum

58. Murata T. Petri Nets, Marked Graphs, and Circuit-System Theory// IEEE Circuits and Systems Society Newsletter 11, 1977. #3, 2-12 c.

59. Murata T. Petri Nets: Properties, Analysis and Applications// Proceedings of IEEE. 1989. Vol. 77 #4. C. 541-580.

60. Olenev V. Different approaches for the stacks of protocols SystemC modelling, online presentation for 4-th FRUCT conference. 2008. Режим доступа: http://www.fruct.org.

61. Olenev V., Stepanov A. Comparative Analysis of SDL and SystemC languages for Real-Time Systems Modelling, online presentation for 5-th

62. FRUCT conference. 2009. Режим доступа:http://www.fruct. org/images/stories/materials/FR UCT5/s5OlenevStepan ov.pdf

63. Open SystemC Initiative (OSCI). IEEE 1666™-2005 Standard for SystemC. 2005. Режим доступа: http://www.systemc.org/.

64. Peterson J. Petri Nets // Computing Surveys 9. 1977. #3. C. 223-252.

65. Pandeya S., TripathiA. Testing Component-Based Software: What It has to do with Design and Component Selection // Journal of Software Engineering and Applications, 2011. #1. C. 37-47.

66. RapidIO Trade Association. RapidIO Specification 2.1. 2009. Режим доступа: http://www. rapidio. org/

67. Reisig W. Petri Nets: An Introduction // EATCS Monographs on Theoretical Computer Science, 1985. C. 10.

68. Reisig W., Rozenberg G. Lectures on Petri nets 1: Basic Models// Springer LNCS. 1998.

69. Reisig W., Rozenberg G. Lectures on Petri Nets 2: Applications// Springer LNCS. 1998.

70. Rona M., Krampl G. Modelling SoC Devices for Virtual Test Using VHDL. Режим доступа: http://citeseerx. ist.psu. edu/viewdoc/download?doi=10.1.1.12.63 75&rep=r epl&type=pdf

71. Routray A., Mall R., Patra A. Embedded Systems// IIT Kharagpur University online course. 2006. Lesson 1.

72. Routray A., Mall R, Patra A. Embedded Systems// IIT Kharagpur University online course. 2006. Lesson 2.

73. Rozenberg G., Thiagarajan P.S. Petri Nets: Basic Notions, Structure, Behaviour // Lect. Notes Comput. Sci., 1986.

74. Schnieringer M, Brand К. SystemC: Key Modeling Concepts Besides TLM to Boost your Simulation Performance// VAST Systems Technology. 2008.

75. Sifakis J., Henzinger T. The Discipline of Embedded Systems Design// IEEE Computer. 2007. #40(10). C. 32-40.

76. Sommervill I. Software Engineering, 8th edition. London: Eddison-Wesley. 2006. 864 c.

77. Stevens W., Myers G., Constantine L. Structured Design // IBM Systems Journal, 1974. #13 (2), C. 115-139.

78. Swan S. A Tutorial Introduction to the SystemC TLM Standard. 2003. Режим доступа: http://www.nascug.org/events/4th/stuartjlmtutorialdvcon06SHORT.pdf

79. Swan S., Rose J. SCV Randomization. 2003. Режим доступа:http://www.openverificationfoundation.org/docs/scvrandomization.pdf

80. Upender Bh, Koopman Ph. Communication Protocols for Embedded Systems// Embedded Systems Programming. 1994. #7(11). C. 46-58.

81. VHDL Analysis and Standardization Group. IEEE 1076-2002 Standard for VHDL. 2008. Режим доступа: http://www.vhdl.org/

82. Wang A., Qian K. Component-Oriented Programming // A JOHN WILEY & SONS, 2005.319 стр.

83. Антонов C.B., Герасимов Ю.М., Смирнов Д.А. Система на кристалле -методология проектирования // Научная сессия МИФИ. 2003. С. 136138.

84. Басс Л., Клеменс П., Кацман Р. Архитектура программного обеспечения на практике. 2-е изд. // Спб: Питер, 2006. 576 стр.

85. Брауде Э. Дж. Технология разработки программного обеспечения СПб.: Питер, 2004. 656 стр.

86. Бухтеев А. Методы и средства проектирования систем на кристалле // CHIP NEWS. 2003. №4 (77). С. 4-14.

87. Захаров Н. Г., Рогов В. Н. Синтез цифровых автоматов. Учебное пособие. Ульяновск. 2003. 136 с.

88. Иевенко М.В. Использование встроенных методик ERP-решений при внедрении системы Университет// Университетское управление; практика и анализ. 2004. №1(29). С. 96-104.

89. Карпов Ю.Г. Имитационное моделирование систем. Введение в моделирование с AnyLogic 5 // Спб.: БХВ-Петербург. 2005. 400 стр.

90. Карпов Ю.Г. Model Checking. Вертификация параллельных и распределенных программных систем // Спб.: БХВ-Петербург. 2010. 560 стр.

91. Кларк Э. и др. Верификация моделей программ: Model Checking. М.: МЦНМО. 2002. 416 с.

92. Комер Д. TCP/IP крупным планом. Электронное издание, 2009.

93. Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: построение и анализ // М.: МЦНМО, 1999. 960 стр.

94. Котов В.Е. Сети Петри. М.: Наука, 1984. 160 с.

95. Кулямин В.В. Технологии программирования. Компонентный подход М: БИНОМ, 2004. 464 стр.

96. Ларман К. Применение UML 2.0 и шаблонов проектирования = Applying UML and Patterns : An Introduction to Object-Oriented Analysis and Design and Iterative Development. 3-е изд. // M.: Вильяме, 2006. 736 стр.

97. Лескин А. А. и др. Сети Петри в моделировании и управления. М.: Наука. 1989. 133 с.

98. Мамиконов А.Г., Кулъба В.В., Косиченко С.А. Типизация разработки модульных систем обработки данных // М.: Наука, 1989. 165 стр.

99. Мартынова О.Л. Анализ автоматизированных бизнес-процессов на уровне передачи данных с помощью сетей Петри // Информационные технологии и программирование. Межвузовский сборник статей. 2004. №10(1). С. 27-42.

100. Наш Д. Стандарты и протоколы интернета. США: Microsoft Press, 1999. 384 с.

101. Немудрое В., Мартин Г. Системы на кристалле. Проблемы проектирования и развития. М.: Техносфера, 2004. 212 с.

102. Ножное В.А. Модель учебного курса для дистанционного образования // Сборник трудов научной конференции ИТО. 2009.

103. Оленев В.Л. Анализ подходов к моделированию стеков протоколов передачи данных// Научная сессия ГУАП. Часть 1. 2009. С. 112-114.

104. Оленев В.Л. Исследование и разработка системы для создания моделей протоколов передачи данных и их верификации// Ползуновский вестник. 2010. №2. С. 36-42.

105. Оленев В.Л. Моделирование на языке SystemC в процессе разработки протоколов передачи данных// Известия высших учебных заведений. Поволжский регион. Технические науки. 2009. №4(12). С. 61-69.

106. Оленев В.Л., Коробков И.Л., Мартынов Н.А., Шадурский А.С. Modelling of the Space Wire communication protocol // 7th Conference of Open Innovations Framework Program FRUCT. 2010. C. 96 104.

107. Оленев В.Л., Онищенко Л.В., Еганян A.B. Методы межмодульного взаимодействия при моделирования протоколов встроенных систем// Научная сессия ГУАП: Сб. докл./ СПбГУАП. СПб., 2008. С. 119-122.

108. Оленев В.Л., Шейнин Ю.Е., Суворова Е.А., Баландин С., Gillet M. SystemC Modelling of the Embedded Networks// 6th Seminar of Finnish-Russian University Cooperation in Telecommunications (FRUCT) Program. 2009. C. 85 95.

109. Олифер В.Г., Олифер Н.А. Роль коммуникационных протоколов и функциональное назначение основных типов оборудования корпоративных сетей// Электронное издание. 1999. Режим доступа: http://www. citforum. ru/nets/protocols/

110. Олифер В.Г., Олифер Н.А. Компьютерные сети. Принципы, технологии, протоколы. СПб.: Питер. 2002. 672 стр.

111. Ш.Орлов С.Б. Справочник Novell Netware 4. 1994. Режим доступа: http: //citforum. ru/operatingsystems/nw4/index. shtml

112. Питерсон Дж. Теория сетей Петри и моделирование систем. М.: Мир. 1984. 264 с.

113. Рабаи Ж. М. и др. Цифровые интегральные схемы. Методология проектирования. 2-е издание. М.: Вильяме, 2007. 912 с.

114. Саркенов ДО. Применение сетей Петри при разработке протоколов// Ползуновский альманах. 2008. №3. С. 82-83.111 .Советов Б.Я., Яковлев С.А. Моделирование систем: Учеб. для вузов. М.: Высшая школа. 2001. 343 с.

115. Соловьев В., Климович А. Логическое проектирование цифровых систем на основе программируемых логических интегральных схем. М.: Горячая Линия-Телеком, 2007. 636 с.

116. Ъ Ланенбаум Э. Компьютерные сети. 4-е издание. М.: Питер, 2003. 992 с.

117. Иб.Топольский Н.Г., Фирсов A.B., Афанасьев К.А. Моделирование процесса устранения неисправности сетями Петри// Материалы пятнадцатой научно-технической конференции "Системы безопасности". 2006. 289 с.

118. Шагурин И. Системы на кристалле. Особенности реализации и перспективы применения // Электронные компоненты. 2009. №1.

119. Шеннон Р. Имитационное моделирование систем искусство и наука. М.: Мир, 1978.420 стр.

120. Шмелёва Т.Р. Параметрическая модель MPLS сетей в форме раскрашенных сетей Петри// HayKOBi пращ ОНАЗ iM. О.С. Попова.2009. № 2. С. 79-85.