Logical Time @ Work for the Modeling and Analysis of Embedded Systems Год выпуска: 2011Автор: Frederic MalletИздательство: LAP Lambert Academic PublishingСтраниц: 124ISBN: 9783843393881Описание Logical time is a relaxed form of time promoted by synchronous languages that is functional, elastic (can be abstracted or refined), and multiform. All these properties make logical time adequate also at design time, whereas precise physical time annotations should only matter in later post-synthesis stages. The Clock Constraint Specification Language (CCSL) is a concrete language dedicated to the modeling and analysis of logical time properties. CCSL was initially defined as a companion for the time model of the UML profile for MARTE. It has now become a full-fledged domain-specific modeling language for capturing causal, chronological and timed relationships. It should complement other syntactic models to capture their underlying model of computation. This book starts by describing the historical models of concurrency that have inspired the construction of CCSL. Then, CCSL is introduced and used to build libraries dedicated to two emerging standard models from the automotive...
Похожие книги
Organization for Economic Cooperation and Development OECD. OECD Environmental Outlook to 2050. – М.: , 2012. – 310 с. Bob Johansen and Institute for the Future. Get There Early: Sensing the Future to Compete in the Present. – М.: , 2012. – 408 с. K. Alec Chrystal, Rupert Pennant-Rea, British Association for the Advancement of Science Section F. Public Choice Analysis of Economic Policy (British Association for the Advancement of Science Books). – М.: , 0. – 0 с. Emirates Center for Strategic Studies and Research. Caspian Energy Resources: Implications for the Arab Gulf States. – М.: , 0. – 0 с. Ifip Tc8, Wg8.2 Working Conference on Global and Organizational Discour, Edgar A. Whitley, Micheal D. Myers, Janice I. Degross. Global and Organizational Discourse About Information Technology: Ifip Tc8/Wg8.2 Working Conference on Global and Organizational Discourse About Infor ... on for Information Processing (Series), 110,). – М.: , 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 с. Emirates Center for Strategic Studies and Research. Leadership and Management in the Information Age (Emirates Center for Strategic Studies and Research). – М.: , 0. – 0 с. Ifip Tc11 Wg11.5 Working Conference on Integrity and Internal Control, Michael Gertz. Integrity and Internal Control in Information Systems V: Ifip Tc11/Wg11.5 Fifth Working Conference on Integrity and Internal Control in Information Systems (Iicis), November 11-12, 2002, Bonn, Germany (International Federation for Information Processing. – М.: , 0. – 0 с. Ifip Tc6, Tc11 Joint Working Conference on Communications and Multimedi, Tomaz Klobucar. Advanced Communications and Multimedia Security: Ifip Tc6/Tc11 Sixth Joint Working Conference on Communications and Multimedia Security, September 26-27, 2002, Portoroz, Slovenia (International Federation for Information Processing, 100). – М.: , 0. – 0 с. Ifip Tc11 Wg11.5 Working Conference on Integrity and Internal Control, Sushil Jajodia, Leon Strous, Leon A. M. Strous. Integrity And Internal Control In Information Systems Vi: Ifip Tc11/Wg11.5 Sixth Working Conference on Integrity and Internal Control in Information S ... tional Federation for Information Processing). – М.: , 0. – 0 с. Committee on Assessment of Resource Needs for Fuel Cell and Hydrogen Technologies, National Research. Transitions to Alternative Transportation Technologies--Plug-in Hybrid Electric Vehicles. – М.: , 2010. – 70 с. The Emirates Center for Strategic Studies and Research. The Information Revolution and the Arab World: Its Impact on State and Society. – М.: I. B. Tauris, 1998. – 236 с. CAPT(Center for the Advancement of Process Tech)l. Process Quality. – М.: , 2010. – 288 с. The Legal Advisory Panel of the Aviation Working Group. Advanced Contract and Opinion Practices under the Cape Town Convention. – М.: , 2011. – 76 с. Edited by Fatemeh Ebtehaj, Bridget Lindley and Martin Richards for the Cambridge Socio-Legal Group. Kinship Matters. – М.: , 2011. – 326 с. The Food and Beverage Institute. Cooking Essentials for the New Professional Chef®. – М.: , 1996. – 816 с. Ethel Rompilla and The New York School of Interior Design. Color for Interior Design. – М.: , 2005. – 224 с. Образцы работ
Задайте свой вопрос по вашей теме
Контакты
Поделиться
Мы в социальных сетях
Реклама
Отзывы
Furs По диплому вопросов больше нет, все благополучно сдано. Жена счастлива. Соответственно и я!) Получила ХОРОШО, но это видимо из-за причуд преподавателей. Кому-то ведь надо ставить 4, а кому-то 5). Я чего пишу то, хочу сказать вам огромное спасибо за вашу работу!!! Хорошо что есть такие люди, которые могут вовремя прийти на помощь. Мы в силу своей занятости иногда не можем справится с тем, что надо, тут и помогают такие люди, как вы). СПАСИБО ОГРОМНОЕ! Будем вас советовать другим лицам, находящимся в таком же положении!
