Dyana

dyana@asvk.cs.msu.ru

105 обсуждения

Fwd: [simu-conf] CfP: 4th International Workshop on Model-driven Approaches for Simulation Engineering part of the Symposium on Theory of Modeling and Simulation (SCS SpringSim 2014)
by Dmitry Volkanov 12 Сен '13

12 Сен '13

Уважаемые коллеги! Ниже приглашение на SYMPOSIUM ON THEORY OF MODELING AND SIMULATION, а также на 4th International Workshop on Model-driven Approaches, который проходит в рамках данной конференции. Некоторые темы этого workshopа очень схожи с теми темами, которыми занимаемся мы. Мне кажется стоит на workshop отправить статью про Диану. Или стоит посылать на саму конференцию? Стоит ли посылать на workshop ещё какие-нибудь статьи (про метамодели, про верификацию, про SDN, возможно что-то ещё)? Какие будут мнения? ---------- Пересланное письмо ---------- Тема: [simu-conf] Abstract Submission Deadline Approaching - TMS 2014 Дата: 11 сентября 2013 Отправитель: vsim-conf(a)sce.carleton.ca получатель: vsim-conf(a)sce.carleton.ca CALL for PAPERS SYMPOSIUM ON THEORY OF MODELING AND SIMULATION (TMS/DEVS 2014) April 13-16, 2014 Grand Hyatt Tampa Bay, Tampa, FL, USA. http://www.tms-devs.org Sponsored by The Society for Modeling and Simulation International (SCS) Technically Co-Sponsored by IEEE Computer Society (pending) in cooperation with ACM/SIGSIM and ICST The purpose of this symposium is to provide a forum to discuss recent advancements in M&S theory. The main focus is on theory of modeling, methodology, practice and software to cope with the challenges arising out of these, as well as lessons learned and challenges. The Symposium bridges different areas in the field of Theory of M&S, including formal modeling, model-checking, graph transformation, modeling methodologies. It also provides an opportunity to exchange ideas with other SpringSim'14 symposia participants in different fields. All papers will be included in the conference proceedings and archived in the ACM DL and SCOPUS and listed in DBLP. Important Dates =============== Abstract Submission: September 20th, 2013 (an abstract must be submitted in order to allow the revision process get organized) Full Paper Submission: October 25th, 2013 Author Notification: December 6th, 2013 Camera-ready Paper due: January 6th, 2014 Submission Procedures ===================== Papers must be submitted as a PDF file to the conference management system (http://www.softconf.com/scs/DEVS14/). WORKSHOPS ========= Authors interested in organizing satellite workshops can contact the organizers. Up to date, the following workshop has been confirmed: - Model-driven Approaches for Simulation Engineering (Chairs: Daniele Gianni, EUMETSAT, Germany; Arnaud Cuccuru, CEA LIST Institute, France) DEVS PHD DISSERTATION AWARD ============================ The Symposium will hold the Third DEVS Ph.D. Dissertation Award, in order to recognize and reward the best Ph.D. Thesis related to the DEVS Modeling and Simulation formalism. General Chairs: - Andrea D'Ambrogio, University of Roma "Tor Vergata", Italy - Gregory Zacharewicz, University of Bordeaux, France Program Chairs: - Fernando Barros, Universidade de Coimbra, Portugal - Moon Ho Hwang, Dassualt Systemes, Delmia Corp, Auburn Hills, MI, USA Advisory Board: - Bernard P. Zeigler (FIEEE, FSCS, LAA-SCS), Univ. Arizona, USA (Chair) - Christos Cassandras (FIEEE, FIFAC), Boston University, USA - François Cellier (FSCS), ETH Zürich, Switzerland - Kishor Trivedi (FIEEE, GCM IEEE CS), Duke University, USA - Mo Jamshidi (FIEEE, FASME, FAAAS), Univ. Texas at San Antonio, USA Steering Committee: - Gabriel A. Wainer, Carleton University, Canada - Mamadou Kaba Traoré, Université Blaise Pascal, France - Pieter Mosterman, McGill Univ., Montreal, Canada; The Mathworks, USA Further information in the Conference website ============================================= http://www.tms-devs.org [apologies for multiple postings - problems/issues: vsim-conf-owner at sce.carleton.ca] ------------------------------------------------------- ---------- Пересланное письмо ---------- Тема: [simu-conf] CfP: 4th International Workshop on Model-driven Approaches for Simulation Engineering part of the Symposium on Theory of Modeling and Simulation (SCS SpringSim 2014) Дата: 6 сентября 2013 Отправитель: vsim-conf(a)sce.carleton.ca получатель: vsim-conf(a)sce.carleton.ca (Please accept our apologies if you receive multiple copies of this CFP) ################################################################# CALL FOR PAPERS 4th International Workshop on Model-driven Approaches for Simulation Engineering part of the Symposium on Theory of Modeling and Simulation (SCS SpringSim 2014) ################################################################# April 13-16, 2014, Tampa, FL (USA) http://www.sel.uniroma2.it/Mod4Sim14 ################################################################# # Papers Due: *** November 1, 2013 *** # Accepted papers will be published in the conference proceedings # and archived in the ACM Digital Library. ################################################################# The workshop aims to bring together experts in model-based, model-driven and software engineering with experts in simulation methods and simulation practitioners, with the objective to advance the state of the art in model-driven simulation engineering. Model-driven engineering approaches provide considerable advantages to software systems engineering activities through the provision of consistent and coherent models at different abstraction levels. As these models are in a machine readable form, model-driven engineering approaches can also support the exploitation of computing capabilities for model reuse, programming code generation, and model checking, for example. The definition of a simulation model, its software implementation and its execution platform form what is known as simulation engineering. As simulation systems are mainly based on software, these systems can similarly benefit from model-driven approaches to support automatic software generation, enhance software quality, and reduce costs, development effort and time-to-market. Similarly to systems and software engineering, simulation engineering can exploit the capabilities of model-driven approaches by increasing the abstraction level in simulation model specifications and by automating the derivation of simulator code. Further advantages can be gained by using modeling languages, such as UML and SysML – but not exclusively those. For example, modeling languages can be used for descriptive modeling (to describe the system to be simulated), for analytical modeling (to specify analytically the simulation of the same system), and for implementation modeling (to define the respective simulator). A partial list of topics of interest includes: * model-driven simulation engineering processes * requirements modeling for simulation * domain specific languages for modeling and simulation * model transformations for simulation model building * model transformations for simulation model implementation * model-driven engineering of distributed simulation systems * relationship between metamodeling standards (e.g., MOF, Ecore) and distributed simulation standards (e.g., HLA, DIS) * metamodels for simulation reuse and interoperability * model-driven technologies for different simulation paradigms (discrete event simulation, multi-agent simulation, sketch-based * simulation, etc.) * model-driven methods and tools for performance engineering of simulation systems * simulation tools for model-driven software performance engineering * model-driven technologies for simulation verification and validation * model-driven technologies for data collection and analysis * model-driven technologies for simulation visualization * Executable UML * Executable Architectures * SysML / Modelica integration * Simulation Model Portability and reuse * model-based systems verification and validation * simulation for model-based systems engineering To stimulate creativity, however, the workshop maintains a wider scope and welcomes contributions offering original perspectives on model-driven engineering of simulation systems. +++++++++++++++++++++++++++++++++++ On-Line Submissions and Publication +++++++++++++++++++++++++++++++++++ We invite paper submissions in three forms: 1. Full paper (max 8 pages), describing innovative research results. These papers are eligible for the best paper award and may be invited for an extended version in a special issue of the SCS SIMULATION journal. 2. Work-in-progress paper (max 6 pages), describing novel research ideas and promising work that have not yet been fully evaluated. 3. Short paper (max 6 pages), describing industrial and hands-on experience on any relevant area (i.e. military, government, space, etc.). All the papers must be submitted through the SCS conference management systems (http://www.softconf.com/scs/DEVS14/) and select the Mod4Sim track. The submissions must be in PDF format and conform to the SCS conference template (Word template is available at http://www.scs.org/upload/documents/templates/ConferenceSubmissionWORDTempl…, guidelines are available at http://www.scs.org/PDFs/formattingkit.pdf). All the submitted papers must be original and not submitted else where. Submitted papers will be peer reviewed with respect to their quality, originality and relevance. The authors of the accepted papers must register in advance for inclusion of their paper in the conference proceedings. Authors of accepted papers will be invited to update their papers basing on the reviews, before providing the camera ready. All accepted papers will be included in the conference proceedings and archived in both the ACM Digital Library and IEEE Digital Library. Authors may contact the organizers for expression of interest and content appropriateness at any time. +++++++++++++++ Important Dates +++++++++++++++ * Submission Deadline: November 1, 2013 * Decision to paper authors: January 5, 2014 * Camera ready due: February 2, 2014 * Conference dates: April 13-16, 2014 (to be confirmed within the SpringSim schedule) ++++++++++++++++++++ Organizing Committee ++++++++++++++++++++ * Daniele Gianni – University Guglielmo Marconi, Italy * Arnaud Cuccuru – CEA/LIST, France +++++++++++++++++ Program Committee +++++++++++++++++ * Steffen Becker - University of Paderborn, Germany * Paolo Bocciarelli - University of Rome TorVergata, Italy * David Chen - University of Bordeaux I, France * Andrea D'Ambrogio - University of Rome TorVergata, Italy * Cristian Englert - Serco, The Netherlands * Huascar Espinoza - ESI-Tecnalia, Spain * Paul A. Fishwick - University of Florida, USA * Sebastien Gerard - CEA/LIST, France * Carlos Juiz - University of Balearic Islands, Spain * Cristiano Leorato - RHEA, The Netherlands * Steve McKeever - Uppsala University, Sweden * Halit Oguztüzün - Middle East Technical University, Turkey * Chris Paredis - Georgia Institute of Technology, USA * Nicolas Rouquette - NASA/JPL, USA * Volker Schaus - DLR, Germany * Sara Tucci - CEA/LIST, France * Andreas Tolk - SimIS, USA * Anthony Walsh - European Space Agency, Germany * Heming Zhang - Tsinghua University, China *** Contact Information *** Daniele Gianni and Arnaud Cuccuru (workshop co-chairs) Emails: danielegmail-mod4sim(a)yahoo.it and arnaud.cuccuru(a)cea.fr ------------------------------------------------------- -- С уважением, Дмитрий Волканов

1 0

Конференция ИмМод-2013
by Dmitry Volkanov 11 Сен '13

11 Сен '13

Уважаемые коллеги! Высылаю Вам текст статьи для конференции ИмМод-2013, которая в этом году пройдёт в Казани с 16 по 18 октября. Дедлайн по статье 23 сентября. Написана она Даниилом и мною на основе статьи в кафедральный сборник. До понедельника 16 сентября включительно, я жду от Вас замечаний по статье. -- С уважением, Дмитрий Волканов

1 0

Wintersim
by Dmitry Volkanov 29 Авг '13

29 Авг '13

Здравствуйте, уважаемые коллеги! Высылаю Вам extended abstract для конференции Wintersim (тоже самое можно найти в svn). Большая просьба, до четверга 15го(включительно) посмотреть и высказать свои замечания. Знатокам Texа просьба подсказать как поставить рисунок сразу после фразы: "Figure 1 shows the main components of DYANA" P.S. 2Даниил: большая просьба на рисунке blocks2.pdf у квадратиков у которых голубой фон заменить его на белый, а в зелёном квадратике WCET добавить слово translator. -- С уважением, Дмитрий Волканов

1 2

Я в отпуске!
by Dmitry Volkanov 26 Июл '13

26 Июл '13

Уважаемые коллеги! На всякий случай уведомляю всех, кто этого ещё не знает. С понедельника 29.07.2013 и до 23.08.2013 я в отпуске. Почту читать смогу, но нерегулярно (важные письма, лучше дублировать смс). Буду всё время на телефоне если возникнут какие-то вопросы. (Границы Московской области покидать не собираюсь, а скорее всего даже границы Москвы). Надеюсь за это время Вы успеете отдохнуть от меня :-) P.S. Список моих долгов (на время отпуска) : 1. Текст диссертации 2. Редактирование расширенных тезисов на WinterSim'2013 3. Code-review изменений в visе от Василия Пашкова 4. Оцифровка замечания по пользовательской документации СМА для ЭлектроПрибора 5. Подготовка ДИАНЫ и материалов по ней к МАКСу -- С уважением, Дмитрий Волканов

1 0

Примеры постеров
by Daniel A. Zorin 19 Июл '13

19 Июл '13

Кажется, нам нужны были примеры постеров, чтобы сделать свой на wintersim. Вот примеры постеров с CAV, которые я вчера сфотографировал.

1 0

Wintersim
by Daniel A. Zorin 05 Июл '13

05 Июл '13

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

2 3

Рецензия на статью Wintersim
by Daniel A. Zorin 05 Июн '13

05 Июн '13

Господа, в приложении рецензии на нашу статью от оргкомитета Wintersim. Статью нашу приняли в качестве постера. Даниил

1 0

Fwd: VES-2013 notification for paper 5
by Daniel A. Zorin 20 Май '13

20 Май '13

Коллеги, Поздравляю всех с принятием нашей статьи на VES-2013. Все отзывы оказались внезапно позитивными. Надо до 3 июня отправить поправленную версию, я думаю, что завтра я исправлю мелкие замечания, упомянутые в рецензиях и пришлю всем исправленный вариант. Также в письме сказано, что один из авторов должен зарегистрироваться: http://cav2013.forsyte.at/registration/ Как я понял, нас интересуют One-day workshops. Ранняя регистрация заканчивается довольно скоро, 21 мая. Также нам надо до 27 мая подготовить статью на Eucass, это уже скоро, так что я в выходные постараюсь набросать статью, отформатированную по нужному шаблону, на основе статьи на WinterSim. Даниил -------- Исходное сообщение -------- Тема: VES-2013 notification for paper 5 Дата: Fri, 17 May 2013 13:25:11 +0200 От: VES-2013 <ves2013(a)easychair.org> Кому: Daniil Zorin <juan(a)lvk.cs.msu.su> Dear Daniil, We are glad to inform you that your paper An experience on using simulation environment DYANA augmented with UPPAAL for verification of embedded systems defined by UML statecharts was accepted for VES 2013. Please note the following important information: * The workshop proceedings will be distributed with CAV proceedings on USB sticks. The final version is due on May 31, 2013. Please take into account the comments and suggestions by the reviewers in the final version. The final version should be in the pdf format. * At least one author of each accepted paper must register and present the paper at the conference. We are looking forward to seeing you in St. Petersburg! VES 2013 organizers. ----------------------- REVIEW 1 --------------------- PAPER: 5 TITLE: An experience on using simulation environment DYANA augmented with UPPAAL for verification of embedded systems defined by UML statecharts AUTHORS: Daniil Zorin, Vladislav Podymov, Dmitry Volkanov, Vladimir Zakharov, Alevtina Glonina and Igor Konnov OVERALL EVALUATION: 3 (strong accept) ----------- REVIEW ----------- The paper presents a tool for verification of real-time embedded systems. Authors integrated their simulation tool DYANA with UPPAAL. Also they used DYANA to measure execution time of scheduled tasks. Developed tool used to verify an onboard car controller and an onboard flight controller. The research will be interesting for majority of VES participants. There are some minor remarks that should be considered before publication: 1) The counterexample (p.6) found by the verifier as violation of the liveness property seems to be a Zenon execution. It’s unclear why it can’t be excluded by a fairness condition. 2) The description of the onboard flight controller is overloaded by details. It becomes impossible to reconstruct the idea of system behavior without all statecharts. Might be a one controller scenario will give much more understanding of the system. 3) Requirements (p.11) have not common syntax and unclear semantics, e.g. concerning the formula A[]!cr2 || !cr3 usually [] has higher priority than ||. Other formulae are stated as liveness properties but they do not contain temporal operators explicitly. 4) Abbreviation RTES is not explained. 5) There are no WCETs for any examples. ----------------------- REVIEW 2 --------------------- PAPER: 5 TITLE: An experience on using simulation environment DYANA augmented with UPPAAL for verification of embedded systems defined by UML statecharts AUTHORS: Daniil Zorin, Vladislav Podymov, Dmitry Volkanov, Vladimir Zakharov, Alevtina Glonina and Igor Konnov OVERALL EVALUATION: 2 (accept) ----------- REVIEW ----------- The paper presents DYANA analyser which was originally intended for simulation of distributed real-time systems. Then DYANA was extended for the verification on the early stages of development and the paper describes the architecture of the approach and briefly describes its components. The paper gives several case studies. The first one is onboard car controller. I guessed that the described intersection in section 3.1 is a circular motion. If so, I didn't understand how a car can move to the left and what is the meaning of the rule: "If a car is moving to the left, then it should give way to cars moving from the opposite lane to the left or straight ahead" The second one is onboard flight controller. For this case study I didn't understand whether the violations found? The paper is well written and should be accepted. Errata page 3. par. 3. Metamoc working -> Metamoc is working page 3. par. 3. missing dot at the end verification tool [8] -> verification tool [8]. page 4. par. 4 until some a transition -> until some transition ----------------------- REVIEW 3 --------------------- PAPER: 5 TITLE: An experience on using simulation environment DYANA augmented with UPPAAL for verification of embedded systems defined by UML statecharts AUTHORS: Daniil Zorin, Vladislav Podymov, Dmitry Volkanov, Vladimir Zakharov, Alevtina Glonina and Igor Konnov OVERALL EVALUATION: 2 (accept) ----------- REVIEW ----------- The paper is an experience report on verification of some embedded systems by the tools developed by the authors with the use of some open-source tools. The paper is very well written. English is good. I enjoyed reading the paper, especially because I'm not an expert in this area and it was kind of a tutorial for me. Such quality is quite enough for accepting for a workshop. The paper clearly states what is the contribution of the authors. Figure 1 shows the structure of the system with colors denoting reusing of open source tools, modified by authors and newly developed ones. Two large examples of verified systems are presented in rather detail. Although I didn't follow all of the details, I enjoyed the overall impression of the case study. The bibliography and discussion of related work looks fairly complete, although I can't judge for sure, being not an expert in this area. Unfortunately the paper lacks discussion of computer resources used for verification of this samples. I recommend authors to add such data in the final version. MINOR NOTES Page 1: "In this project for the first time a Model Driven Approach has been studied and implemented." - It is not clear: "for the first time" by authors with this system or in the history? Page 3: "Metamoc working in cooperation with UPPAAL verification tool" - replace "working" -> "works" and add period at the end. Page 3: "If a NTA" -> "If an NTA" Page 4: "time does not passes until" -> "time does not pass until" Page 5: "at the crossing simultaneously is assumed." - "is assumed" is extra Page 6: "a car appears at the crossing, and then it continuously slows down, but doesn't stop. With such strategy it will never pass the crossing." - I don't understand the conclusion. (However, this is unimportant. Just for curiosity.) Page 13: "Creation object le using cross-compiliator" -> "...cross-compiler" Page 14. Reference [7]: "imulation" -> "Simulation"

2 1

Выставка по итотам ГК - отбой
by Dmitry Volkanov 23 Апр '13

23 Апр '13

Уважаемые коллеги! К сожалению (или к счастью :-)), на участие в выставке оказалось много заявок и наша заявка не попала в список счастливчиков, которых допустили до участия в выставке. Поэтому, как участники выставки мы в ней участия не принимаем. Но, если кто хочет прийти как посетитель, то это можно сделать. Напомню, что выставка пройдёт 25-27 апреля в выставочном зале "ФОРУМ-ХОЛЛ (Летниковская ул) (http://www.fcpir-expo.ru/) -- С уважением, Дмитрий Волканов

1 0

Финальная версия статьи на Wintersim-2013
by Daniel A. Zorin 15 Апр '13

15 Апр '13

Добрый день, господа! Вашему вниманию предлагается финальная версия статьи на Wintersim, учитывающая большую часть правок Константина, Евгения, Игоря и немного моих. Уместилось ровно в 12 страниц. Если успею, я сегодня еще прочитаю всю статью с начала до конца, чтобы проверить новые куски, появившиеся за последние дни. Пожалуйста, просмотрите статью и ответьте в рассылку, как вы считаете, стоит ли нам ее сегодня отправлять.По возможности пришлите ответ до 22-00 сегодня. Даниил

1 1

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Dyana