Development and Formal Verification of TTCAN Год выпуска: 2010Автор: Gabriel LeenИздательство: LAP Lambert Academic PublishingСтраниц: 224ISBN: 9783838337289Описание Analysis estimates that more than 80% of all current innovations within vehicles are based on distributed electronic systems. Critical to the functionality and application domain of such systems are the services provided by the underlying distributed control networks. Current advances in control networking technology indicate that time-triggered architectures offer improvements in the deterministic behavior of such networks and as such make them particularly appropriate for safety- critical and real-time applications. This book presents novel work on the formal specification and formal verification of a new time-triggered protocol: ISO 11898-4 (draft), time triggered communication on Controller Area Network (TTCAN). TTCAN is based on the most widely adopted in-vehicle network – Controller Area Network (CAN). The formal verification research described has been conducted in parallel with the development of the International Standards Organisation TTCAN protocol ...
Похожие книги
Frank Ackerman, Neva R. Goodwin, Tufts University Global Development and Environment Institute. The Changing Nature of Work (Frontier Issues in Economic Thought, V. 4). – М.: , 0. – 0 с. Anne O. Krueger, Stanford University Center for Research on Economic Development and Po. Economic Policy Reforms and the Indian Economy. – М.: , 0. – 0 с. Jonathan M. Harris, Timothy Wise, Kevin Gallagher, Neva R. Goodwin, Tufts University Global Development and Environment Institute. A Survey of Sustainable Development: Social and Economic Dimensions (Frontier Issues in Economic Thought (Paperback)). – М.: , 0. – 0 с. Dahlem Workshop on Genetic and Cultural Evolution of Cooperation 2002, Peter Hammerstein. Genetic and Cultural Evolution of Cooperation (Dahlem Workshop Reports.). – М.: , 0. – 0 с. Wendy Dobson, Chia Siow Yue, Siow Yue Chia, International Development Research Centre, Institute of Southeast Asian Studies. Multinationals and East Asian Integration. – М.: , 0. – 0 с. National Research Council and Institute of Medicine, Committee on the Health and Safety Implications of Child Labor. Protecting Youth at Work: Health, Safety, and Development of Working Children and Adolescents in the United States. – М.: , 0. – 0 с. Commission on Development and Environmen. Amazonia Without Myths. – М.: , 0. – 0 с. Frank Ackerman, Neva R. Goodwin, Laurie Doudherty, Frank N. Ackerman, Tufts University Global Development and Environment Institute. The Political Economy of Inequality (Frontier Issues in Economic Thought (Paperback)). – М.: , 0. – 0 с. Arch G. Woodside, G. I. Crouch, J. A. Mazanec, M. Oppermann, M. Y. Sakai, A. G. Woodside, Hospitality, and Leisure Society of Consumer Psychology of Tourism. Consumer Psychology of Tourism, Hospitality and Leisure. – М.: , 2000. – 387 с. Peter P. Rogers, Peter Lydon, Peter Robers, Arab Fund for Economic and Social Development, Harvard University Division of Applied Science, Harvard University Center for Middle Eastern Studies. Water in the Arab World: Perspectives and Prognoses. – М.: , 0. – 0 с. Author Unknown. Development and Chemical Specificity of Neurons,51. – М.: , 2010. – 0 с. Ross Frank. From Settler to Citizen – New Mexican Economic Development and the Creation of Vecino Society 1750–1820. – М.: , 2007. – 354 с. Gabriel Leen. Development and Formal Verification of TTCAN. – М.: LAP Lambert Academic Publishing, 2010. – 224 с. Guma Thomas Ndyar and Gambo Mbaka. An Exploration of Small Arms Developments and Characteristic Performances of DICON-Made Types in Nigeria. – М.: LAP Lambert Academic Publishing, 2013. – 68 с. Saira Banu M. Daragad and Sulochana P. Sumalata B. Social Development and Academic competence of school children. – М.: LAP Lambert Academic Publishing, 2013. – 76 с. Daniel Camara and Antonio Alfredo Ferreira Loureiro. Formal Verification of Communication Protocols for Wireless Networks. – М.: LAP Lambert Academic Publishing, 2011. – 120 с. Sa''ed Abed and Otmane Ait Mohamed. The Verification of MDG Algorithms in the HOL Theorem Prover. – М.: LAP Lambert Academic Publishing, 2010. – 160 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Сергей (Москва) Здравствуйте, Ирина! Работа после вашего сопровождения сделана просто супер и очень быстро, при такой-то загруженности!!! Я в ней легко разобрался. Сегодня показал преподу, он сказал, что все сделано очень хорошо, поставил 5 и сказал, что "на экзамене мучать не будет". Только жаль, что за экзамен не поставил 5 автоматом, хотя обещал поставить мне, если решу...
