Dyana Март 2013

dyana@asvk.cs.msu.ru

2 участники
2 обсуждения

Статья на WinterSim-2013
by Dmitry Volkanov 08 Апр '13

08 Апр '13

Уважаемые коллеги! Напоминаю, что с прошлого четверга (28 февраля) мы начали работать над статьёй на Wintersim посвящённой нашей системе моделирования. Основная идея статьи рассказать о том, как создать среду моделирования под набор требований из существующих систем. Похожую статью мы писали в сборник АСВК (см. приложение). В статье предлагается убрать раздел про применение среды моделирования, зато добавить обзор. По организации работ план такой: Первый этап написания статьи (к 15 марта) написание основных разделов силами Алевтины, Виталия, Василия, Евгения, Владислава и Павла при моём участии. На втором этапе (к 25 марта) получившийся материал вычитывается и правится силами Владимира Анатольевича, Игоря и Константина. На третьем этапе (к 1 апреля) финальную правку и редактирование осуществляется силами Руслана Леонидовича. План статьи: 1. Введение (0,5 стр) - Волканов (на основе статьи в Программирование) 2. Требования к среде моделирования (1 стр.) - Пашков (раздел из статьи в сборник АСВК) 3. Обзор сред моделирования (1 стр.) - Чемерицкий, Волканов (на основе обзоров в предыдущих статьях) 4. Формат описания РВС РВ (1 стр. ) - Антоненко (статья АСВК, Syrcose-2012) 5. Архитектура средства (в том числе описание его использования) (3 стр.) - Зорин + Антоненко, Вдовин, Глонина, Пашков, Чемерицкий (На основе тезисов на Eucass Даниил пишет описание арх-ры средства с описанием его исп-ия. Затем все остальные уточняют описание своих частей, соответственно генератора кода HLA-совместимых моделей, модуля WCET, средств RAP, средств работы с трассами и CERTI). 6. Алгоритм UML->UPPAAL (2 стр.) - Подымов (на основе статьи в PSSV. Правда тут вопрос описывать самую последнюю версию алгоритма или нет?) 7. Case study - описание модели светофора и экспериментов с ним (2 стр.) - Волканов,Зорин - описание модели решения задачи RAP (1 стр.) - Глонина 8. Conclusion (0,5 стр) - Волканов Шаблон статьи можно взять здесь: http://www.wintersim.org/authorkit Если нет обоснованных возражений, то статью предлагаю писать в TeX(!!!) Просьба это учитывать при написании Ваших фрагментов. Желаю всем плодотворной работы! :-) -- С уважением, Дмитрий Волканов

3 7

Fwd: EUCASS 2013 - Notification of acceptance
by Daniel A. Zorin 08 Мар '13

08 Мар '13

???????????, ??? ????? ???? ?????? ??? ???? ??????. ??? ??? ????? ????? ??????? ?? wintersim. ?????, ??????????, ???? ?????? ? ???????? ?????????? ?????? ?.????? -------- ???????? ????????? -------- ????: EUCASS 2013 - Notification of acceptance ????: Thu, 7 Mar 2013 17:08:18 +0100 ??: <eucass2013(a)cimne.upc.edu> ????: <juan(a)lvk.cs.msu.su> *Paper Ref: 605 Title: DYANA: an integrated development environment for simulation and verification of real-time avionics systems* Dear Dr. Daniil Zorin Based on recommendation by the Conference Program Committee (PC), we are pleased to notify you that your paper has been accepted for oral presentation at the *5th European Conference for Aeronautics and Space Sciences (EUCASS 2013)* Please, check your personal records for comments on your abstract, if any. The conference schedule is still in preparation and we invite you to visit the conference websites http://www.eucass2013.de<http://www.eucass2013.de/>to obtain the latest information. About 650 abstracts were received. Twelve parallel sessions will be run during the four days of the scientific meeting. We have had to constrain all presentations to the strict limit of 20 minutes plus 5 minutes for discussion. The following instructions explain the procedure for submitting the full paper: *Paper Submission* **You are invited to submit electronically, through the following web site http://congress.cimne.com/eucass2013/, the Full Paper /by the absolute //de//adline of/*May 27^th , 2013* *To upload your final contribution you have to first login on your personal account, using your login name and password.* Full instructions for w riting and submitting the full paper can be found on the conference web site (http://www.eucass2013.de <http://www.eucass2013.de/>), the template is also attached to this message. Authors are asked to submit the files in .pdf format. (Maximum size 10 Mb) *Registration* Registration is open and may be done online on the conference website, at the link below: http://www.eucass2013.de/conference_registration.html We suggest you to register soon in order to benefit from our early bird rates. (*before May 31st, 2013*) We thank you for your participation in EUCASS 2013 and are looking forward to meeting you in Munich, Germany, on July 1-5, 2013 Sincerely, The Executive Conference co-Chairmen Max Calabro, Oskar Haidn, Jean-Pierre Taran, Walter Zinner

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Dyana Март 2013