Проектирование программных моделей сетевых протоколов для встроенных систем
Диссертация
Целью диссертационной работы является разработка методов и алгоритмов проектирования программных моделей сетевых протоколов для встроенных систем. Разработка методики проектирования программного обеспечения для реализации и верификации архитектурных диаграмм программных моделей стеков протоколов передачи данных, обеспечивающей повышение эффективности разработки и корректности программных моделей… Читать ещё >
Список литературы
- Alur R., Courcoubetis С., Dill D. Model-checking for real-time systems //
- Proceedings of 5th Symposium of Logic in Computer Science. 1990. C. 414−425.
- ANSI/NISO standard Z39.50 (ISO 23 950), Application Service Definitionand Protocol Specification, NICO, 2003. 267 стр.
- Berthomieu В., Diaz M. Modelling and verification of time dependentsystems using time Petri nets // IEEE Transaction on Software Engineering. 1991. № 3.
- Black D., Donovan J. SystemC: From the Ground Up. New-York: Springer
- Science+Buisness Media, Inc., 2004. 244 стр.
- Bobbio A. System modelling with Petri nets// System Reliability
- Assessment. 1990. C. 102−114.
- Buschmann F., Meunier R., Rohnert H., Sommer lad P., Stal M. Pattern
- Oriented Software Architecture // Wiley, 2002. 476 стр.
- Cadence Design Systems. The Unified Verification Methodology// Cadencewhite paper. Cadence. 2005.
- Cortadella J., Reisig W. Applications and theory of Petri Nets 2004.1. Springer. 2004. 502 c.
- ECSS Secretariat, ECSS-E-ST-50−51C SpaceWire protocol identification.
- ESA-ESTEC. 2010. Режим доступа: http://spacewire.esa.intl
- ECSS Secretariat. ECSS-E-ST-50−52C SpaceWire Remote memory access protocol. ESA-ESTEC. 2010. Режим доступа: http://spacewire. esa. int/
- Esparza J., Romer S., Vogler W. An improvement of McMillan’s unfolding algorithm, Tools and Algorithms for the Construction and Analysis of Systems. 1996. C. 87−106.
- 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
- Fin A., Fuccumi F., Martignano M., Signoretto M. SystemC: единая среда для тестирования встроенных систем// CHIP NEWS.2004. № 4(87). С. 57−61.
- Ganssle J. Embedded Systems. World class designs. Newnes. 563 стр.
- Ganssle J., Barr M. Embedded Systems Dictionary. Elsevier. 294 стр.
- 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
- Gipper J. SystemC: The SoC system-level modelling language// Embedded computing Design. 2007. May.
- Girault C., Valk R. Petri Nets for Systems Engineering: a Guide to Modeling, Verification, and Applications. Springer-Verlag. 2002. 607 c.
- Grimpel E., Timmermann В., Fandrey Т., Biniasch R., Oppenheimer F. SystemC Object-Oriented Extensions and Synthesis Features// European Electronic
- Chips & Systems design Initiative. 2002. Режим доступа: www.ecsiassociation.org/ecsi/projects/odette/files/fdl2002.pdf.
- Groetker Т. и др. System Design with SystemC. Dordrecht: Kluwer Academic Publishers, 2002.
- Haas P.J. Stochastic Petri Nets: Modelling, Stability, Simulation. Springer. 2002. 480 c.
- Hack M. Decidability Questions for Petri Nets// Technical Report 161. Laboratory of Computer Science. Massachusetts. 1976. 194 c.
- 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.
- Hayman J., Winskel G. The unfolding of general Petri nets// Foundations of Software Technology and Theoretical Computer Science (Bangalore). 2008. C. 1−12.
- Heath S. Embedded Systems Design Second Edition. USA: Newnes, 2003. 430 c.
- IEEE Standart Verilog Hardware Description Language. IEEE PI364−2005 Standard for Verilog. 2008. Режим доступа: http://www.verilog.com/
- Infiniband Trade Association. Specification for Infmiband protocol. 2010. Режим доступа: http://www.infinibandta.org/
- International Telecommunication Union. Recommendation Z.100. Specification and Description Language (SDL). Geneva. 2002.
- ITU-T. Specification and Description Language (SDL). 2002. Режим доступа: http://www.itu.int/.
- Jantsch A. Modeling Embedded Systems and SoCs. Stockholm: Morgan Kaufmann Publishers. 2004. 351 c.
- 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
- 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.
- Jensen K. Coloured Petri nets: A high level language for system design and analysis // Lecture Notes on Computer Science. 1991.
- Jensen К. Coloured Petri nets: Basic concepts, analysis methods and practical use. Vol. 1. Basic concepts. Berlin a. o.: Springer-Verlag, 1996.
- Jensen K. Coloured Petri nets: Basic concepts, analysis methods and practical use. Vol. 2. Analysis methods. Berlin a. o.: Springer-Verlag, 1996.
- Jensen K. Coloured Petri nets: Basic concepts, analysis methods and practical use. Vol. 3. Practical use. Berlin a. o.: Springer-Verlag, 1997.
- Jensen K, Billington J., Koutny M. Transactions on Petri Nets and Other Models of Concurrency III. Springer. 2009. 274 c.
- Jensen K., Kristensen L. Coloured Petri Nets: Modeling and Validation of Concurrent Systems. Springer. 2009. 384 c.
- Jifeng H., Li X., Liu Zh. Component-Based Software Engineering // UNU-IIST, 2005. 32 стр.
- Karatkevich A. Dynamic Analysis of Petri Net-Based Discrete Systems. Springer. 2007. 166 c.
- Karp R., Miller R. Parallel Program Schemata// Journal of computer and system science. 1969. #4. C. 167−195.
- Kamal R. Embedded Systems: Architecture, Programming and Design. Second Edition. Tat McGraw-Hill. 2008. 684 стр.
- 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.
- Keller R. Generalized Petri Nets as Models for System Verification// Technical Report 202. Laboratory of Computer Science. New Jersey. 1975. 50 c.
- Keller R. Vector Replacement Systems: A formalism for modeling Asynchronous Systems// Technical Report 117. Computer Science Laboratory. New Jersey. 1972.
- Kozura V. E. Unfoldings of Colored Petri Nets. Perspectives of System Informatics// 4th International Andrei Ershov Memorial Conference (PSI 2001). 2001. C. 268−278.
- 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.
- Lewis A.H. An introduction to Petri nets. Режим доступа: http://ict. tippinst. ie/~jhannafin/RandD/petri-intro.pdf.
- Marwedel P. Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems. 2nd Edition. Springer. 389 стр.
- MIPI Alliance. Specification for Unified Protocol (UniProSM). 2010. Режим доступа: http://en.wikipedia.org/wiki/UniPro
- MIPI Alliance. About Mipi webpage. 2010. Режим доступа: http://www. mipi. org/momentum
- Murata T. Petri Nets, Marked Graphs, and Circuit-System Theory// IEEE Circuits and Systems Society Newsletter 11, 1977. #3, 2−12 c.
- Murata T. Petri Nets: Properties, Analysis and Applications// Proceedings of IEEE. 1989. Vol. 77 #4. C. 541−580.
- Olenev V. Different approaches for the stacks of protocols SystemC modelling, online presentation for 4-th FRUCT conference. 2008. Режим доступа: http://www.fruct.org.
- Olenev V., Stepanov A. Comparative Analysis of SDL and SystemC languages for Real-Time Systems Modelling, online presentation for 5-th
- FRUCT conference. 2009. Режим доступа: http://www.fruct. org/images/stories/materials/FR UCT5/s5OlenevStepan ov. pdf
- Open SystemC Initiative (OSCI). IEEE 1666™-2005 Standard for SystemC. 2005. Режим доступа: http://www.systemc.org/.
- Peterson J. Petri Nets // Computing Surveys 9. 1977. #3. C. 223−252.
- 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.
- RapidIO Trade Association. RapidIO Specification 2.1. 2009. Режим доступа: http://www. rapidio. org/
- Reisig W. Petri Nets: An Introduction // EATCS Monographs on Theoretical Computer Science, 1985. C. 10.
- Reisig W., Rozenberg G. Lectures on Petri nets 1: Basic Models// Springer LNCS. 1998.
- Reisig W., Rozenberg G. Lectures on Petri Nets 2: Applications// Springer LNCS. 1998.
- 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
- Routray A., Mall R., Patra A. Embedded Systems// IIT Kharagpur University online course. 2006. Lesson 1.
- Routray A., Mall R, Patra A. Embedded Systems// IIT Kharagpur University online course. 2006. Lesson 2.
- Rozenberg G., Thiagarajan P. S. Petri Nets: Basic Notions, Structure, Behaviour // Lect. Notes Comput. Sci., 1986.
- Schnieringer M, Brand К. SystemC: Key Modeling Concepts Besides TLM to Boost your Simulation Performance// VAST Systems Technology. 2008.
- Sifakis J., Henzinger T. The Discipline of Embedded Systems Design// IEEE Computer. 2007. #40(10). C. 32−40.
- Sommervill I. Software Engineering, 8th edition. London: Eddison-Wesley. 2006. 864 c.
- Stevens W., Myers G., Constantine L. Structured Design // IBM Systems Journal, 1974. #13 (2), C. 115−139.
- Swan S. A Tutorial Introduction to the SystemC TLM Standard. 2003. Режим доступа: http://www.nascug.org/events/4th/stuartjlmtutorialdvcon06SHORT.pdf
- Swan S., Rose J. SCV Randomization. 2003. Режим доступа: http://www.openverificationfoundation.org/docs/scvrandomization.pdf
- Upender Bh, Koopman Ph. Communication Protocols for Embedded Systems// Embedded Systems Programming. 1994. #7(11). C. 46−58.
- VHDL Analysis and Standardization Group. IEEE 1076−2002 Standard for VHDL. 2008. Режим доступа: http://www.vhdl.org/
- Wang A., Qian K. Component-Oriented Programming // A JOHN WILEY & SONS, 2005.319 стр.
- Басс Л., Клеменс П., Кацман Р. Архитектура программного обеспечения на практике. 2-е изд. // Спб: Питер, 2006. 576 стр.
- Брауде Э. Дж. Технология разработки программного обеспечения СПб.: Питер, 2004. 656 стр.
- Бухтеев А. Методы и средства проектирования систем на кристалле // CHIP NEWS. 2003. № 4 (77). С. 4−14.
- Захаров Н. Г., Рогов В. Н. Синтез цифровых автоматов. Учебное пособие. Ульяновск. 2003. 136 с.
- Иевенко М.В. Использование встроенных методик ERP-решений при внедрении системы Университет// Университетское управление- практика и анализ. 2004. № 1(29). С. 96−104.
- Карпов Ю.Г. Имитационное моделирование систем. Введение в моделирование с AnyLogic 5 // Спб.: БХВ-Петербург. 2005. 400 стр.
- Карпов Ю.Г. Model Checking. Вертификация параллельных и распределенных программных систем // Спб.: БХВ-Петербург. 2010. 560 стр.
- Кларк Э. и др. Верификация моделей программ: Model Checking. М.: МЦНМО. 2002. 416 с.
- Комер Д. TCP/IP крупным планом. Электронное издание, 2009.
- Кормен Т., Лейзерсон Ч., Ривест Р. Алгоритмы: построение и анализ // М.: МЦНМО, 1999. 960 стр.
- Котов В.Е. Сети Петри. М.: Наука, 1984. 160 с.
- Кулямин В.В. Технологии программирования. Компонентный подход М: БИНОМ, 2004. 464 стр.
- Ларман К. Применение UML 2.0 и шаблонов проектирования = Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development. 3-е изд. // M.: Вильяме, 2006. 736 стр.
- Лескин А. А. и др. Сети Петри в моделировании и управления. М.: Наука. 1989. 133 с.
- Мамиконов А.Г., Кулъба В. В., Косиченко С. А. Типизация разработки модульных систем обработки данных // М.: Наука, 1989. 165 стр.
- Мартынова О.Л. Анализ автоматизированных бизнес-процессов на уровне передачи данных с помощью сетей Петри // Информационные технологии и программирование. Межвузовский сборник статей. 2004. № 10(1). С. 27−42.
- Наш Д. Стандарты и протоколы интернета. США: Microsoft Press, 1999. 384 с.
- Немудрое В., Мартин Г. Системы на кристалле. Проблемы проектирования и развития. М.: Техносфера, 2004. 212 с.
- Ножное В.А. Модель учебного курса для дистанционного образования // Сборник трудов научной конференции ИТО. 2009.
- Оленев В.Л. Исследование и разработка системы для создания моделей протоколов передачи данных и их верификации// Ползуновский вестник. 2010. № 2. С. 36−42.
- Оленев В.Л. Моделирование на языке SystemC в процессе разработки протоколов передачи данных// Известия высших учебных заведений. Поволжский регион. Технические науки. 2009. № 4(12). С. 61−69.
- Оленев В.Л., Коробков И. Л., Мартынов Н. А., Шадурский А.С. Modelling of the Space Wire communication protocol // 7th Conference of Open Innovations Framework Program FRUCT. 2010. C. 96 104.
- Оленев В.Л., Шейнин Ю. Е., Суворова Е. А., Баландин С., Gillet M. SystemC Modelling of the Embedded Networks// 6th Seminar of Finnish-Russian University Cooperation in Telecommunications (FRUCT) Program. 2009. C. 85 95.
- Олифер В.Г., Олифер Н. А. Роль коммуникационных протоколов и функциональное назначение основных типов оборудования корпоративных сетей// Электронное издание. 1999. Режим доступа: http://www. citforum. ru/nets/protocols/
- Олифер В.Г., Олифер Н. А. Компьютерные сети. Принципы, технологии, протоколы. СПб.: Питер. 2002. 672 стр.
- Ш. Орлов С. Б. Справочник Novell Netware 4. 1994. Режим доступа: http: //citforum. ru/operatingsystems/nw4/index. shtml
- Питерсон Дж. Теория сетей Петри и моделирование систем. М.: Мир. 1984. 264 с.
- Рабаи Ж. М. и др. Цифровые интегральные схемы. Методология проектирования. 2-е издание. М.: Вильяме, 2007. 912 с.
- Саркенов ДО. Применение сетей Петри при разработке протоколов// Ползуновский альманах. 2008. № 3. С. 82−83.111 .Советов Б. Я., Яковлев С. А. Моделирование систем: Учеб. для вузов. М.: Высшая школа. 2001. 343 с.
- Соловьев В., Климович А. Логическое проектирование цифровых систем на основе программируемых логических интегральных схем. М.: Горячая Линия-Телеком, 2007. 636 с.
- Ъ Ланенбаум Э. Компьютерные сети. 4-е издание. М.: Питер, 2003. 992 с.
- Иб.Топольский Н. Г., Фирсов A.B., Афанасьев К. А. Моделирование процесса устранения неисправности сетями Петри// Материалы пятнадцатой научно-технической конференции «Системы безопасности». 2006. 289 с.
- Шагурин И. Системы на кристалле. Особенности реализации и перспективы применения // Электронные компоненты. 2009. № 1.
- Шеннон Р. Имитационное моделирование систем искусство и наука. М.: Мир, 1978.420 стр.
- Шмелёва Т.Р. Параметрическая модель MPLS сетей в форме раскрашенных сетей Петри// HayKOBi пращ ОНАЗ iM. О. С. Попова.2009. № 2. С. 79−85.