Добавить новость
ru24.net
News in English
Август
2024

ASSURE 2016

0

Home

ASSURE 2016 has successfully concluded.

UPDATES

  • 2016-07-18Clive Tomsett, Clinical Strategist at the Cerner Corporation, will give an invited keynote talk!
  • 2016-07-18: The ASSURE 2016 Program has been announced. The final program is contingent on registration. If you haven’t already done so, please register for ASSURE 2016 via SAFECOMP 2016.
  • 2016-06-08: ASSURE 2016 will be held on Tuesday, Sep. 20, 2016. The accepted papers and program will be posted here soon.
  • 2016-06-07: Authors of accepted papers have been notified. The final, camera-ready version and a signed copyright release form are due on June 20, 2016. Instructions on submitting both the final version and the copyright form have been posted.
  • 2016-05-26: Paper submission deadlines have passed. Submission is now closed.
  • 2016-05-16: ASSURE deadlines have been extended by to May 26, 2016. Submit a paper now!
  • 2016-03-28: The deadline to submit papers to ASSURE 2016 is May 17, 2016.
  • 2016-03-28: The ASSURE 2016 call for papers, and the paper submission guidelines are now available.
  • 2016-03-07: The ASSURE 2016 website is live!


Introduction

The 4th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2016) is being collocated this year with SAFECOMP 2016, and aims to provide an international forum for high-quality contributions on the application of assurance case principles and techniques to provide assurance that the dependability properties of critical, software-intensive systems have been met.

The main goals of the workshop are to:

  • Explore techniques for the creation and assessment of assurance cases for software-intensive systems
  • Examine the role of assurance cases in the engineering lifecycle of critical systems
  • Identify the dimension of effective practice in the development and evaluation of assurance cases
  • Investigate the relationship between dependability techniques and assurance cases
  • Identify critical research challenges and define a roadmap for future development

We invite original, high-quality research, practice, tools and position papers that have not been published/submitted elsewhere. See the full Call for Papers, for more details on topics. Also view the submission deadlines, and guidelines.

Program

08:00 – 09:00 Registration

09:00 – 11:00 Session 1. Introduction, Keynote, and Lifecycles

09:00 – 09:10 Welcome and Introduction, ASSURE 2016 Organizers

09:10 – 10:00 Keynote Talk: Rhetoric or Rigor: The Development and Use of Safety Cases in Health IT Clive Tomsett, Cerner Corporation

10:00 – 10:30 The Agile Safety Case, Tor Stålhane and Thor Myklebust

10:30 – 11:00 Towards Faster Maintenance of Safety Cases, Omar Jaradat and Iain Bate

11:00 – 11:30 Morning Coffee/Tea Break

11:30 – 13:00 Session 2. Formal Evidence and Tool Support

11:30 – 12:00 On Using Results of Code­-level Bounded Model Checking in Assurance Cases, Carmen Cârlan, Daniel Ratiu, and Bernhard Schätz

12:00 – 12:30 Configuration­-aware Contracts, Irfan Šljivo, Barbara Gallina, Jan Carlson, and Hans Hansson

12:30 – 13:00 Developing SNS tool for Consensus Building on Environmental Safety using Assurance Cases, Yutaka Matsuno, Yang Ishigaki, Koichi Bando, Hiroyuki Kido, and Kenji Tanaka

13:00 – 14:00 Lunch Break

14:00 – 15:30 Session 3. Applications

14:00 – 14:30 The 6W1H Model as a Basis for Systems Assurance Argument, Shuji Kinoshita and Yoshiki Kinoshita

14:30 – 15:00 The Assurance Timeline: Building Assurance Cases for Synthetic Biology, Myra Cohen, Justin Firestone, and Massimiliano Pierobon

15:00 – 15:30 Towards Safety Case Integration with Hazard Analysis for Medical Devices, Andrzej Wardziński and Aleksander Jarzębowicz

15:30 – 16:00 Afternoon Coffee/Tea Break

16:00 – 17:30 Session 4. Panel and Conclusion

16:00 – 17:15 PANEL: Assurance Challenges for Safety-critical Autonomous Systems
Panelists:
– Håkon Olsen, Principal Consultant at Lloyd’s Register, Norway
– Jérémie Guiochet, Professor at University of Toulouse, France
– Marialena Vagia, Research Scientist at SINTEF, Norway
– Ovidiu Drugan, Senior Researcher at DNV GL, Norway

17:15 – 17:30 Conclusion and Wrap-Up, ASSURE 2016 Organizers

Important Dates

Important Dates

EVENTDEADLINE
Workshop Papers DueMay 26, 2016
Notification of AcceptanceJune 7, 2016
Camera-ready Copies DueJune 20, 2016
ASSURE 2016 WorkshopSeptember 20, 2016
SAFECOMP 2016September 20 – 23, 2016

ASSURE 2016 Call for Papers

Software plays a key role in high-risk systems, e.g., safety-, and security-critical systems. Several certification standards/guidelines now recommend and/or mandate the development of assurance cases for software-intensive systems, e.g., defense (UK MoD DS-0056), aviation (CAP 760, FAA’s operational approval guidance for unmanned aircraft systems), automotive (ISO 26262), and healthcare (FDA infusion pumps total product lifecycle guidance). As such, there is a need to develop models, techniques and tools that target the development of assurance arguments for software.

The goals of the 2016 Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2016) are to:

  • explore techniques for creating/assessing assurance cases for software-intensive systems;
  • examine the role of assurance cases in the engineering lifecycle of critical systems;
  • identify the dimensions of effective practice in the development and evaluation of assurance cases;
  • investigate the relationship between dependability techniques and assurance cases; and,
  • identify critical research challenges and define a roadmap for future development.

We solicit high-quality contributions: researchpracticetools and position papers on the application of assurance case principles and techniques to assure that the dependability properties of critical software-intensive systems have been met.

Papers should attempt to address the workshop goals in general.

Topics

Topics of interest include, but are not limited to:

  • Assurance issues in emerging paradigms, e.g., adaptive and autonomous systems, including self-driving cars, unmanned aircraft systems, complex health care and decision making systems, etc.
  • Standards: Industry guidelines and standards are increasingly requiring the development of assurance cases, e.g., the automotive standard ISO 26262 and the FDA guidance on the total product lifecycle for infusion pumps.
  • Certification and Regulations: The role and usage of assurance cases in the certification of critical systems, as well as to show compliance to regulations.
  • Dependable architectures: How do fault-tolerant architectures and design measures such as diversity and partitioning relate to assurance cases?
  • Dependability analysis: What are the relationships between dependability analysis techniques and the assurance case paradigm?
  • Tools: Using the output from software engineering tools (testing, formal verification, code generators) as evidence in assurance cases / using tools for the modeling, analysis and management of assurance cases.
  • Application of formal techniques to create and analyze arguments.
  • Exploration of relevant techniques for assurance cases for real-time, concurrent, and distributed systems.
  • Modeling and Metamodeling: Representation of structured arguments through meta models, such as OMG’s Structured Assurance Case Metamodel (SACM).
  • Assurance of software quality attributes, e.g., safety, security and maintainability, as well as dependability in general, including tradeoffs, and exploring notions of the quality of assurance cases themselves.
  • Domain-specific assurance issues, in domains such as aerospace, automotive, healthcare, defense and power.
  • Reuse and Modularization: Contracts and patterns for improving the reuse of assurance case structures.
  • Connections between the Goal Structuring Notation for assurance cases, and goal-orientation from the requirements engineering community.

Submit

Submission Instructions for Accepted Papers

If your paper has been accepted for the ASSURE 2016 Program, please follow the instructions below, when preparing your final, camera-ready paper for the proceedings.

1. Deadline

The final paper and the signed copyright form are due on June 20, 2016. This is a firm deadline for the production of the proceedings.

2. Copyright Release

  • Authors must fill and sign the Springer “Consent to Publish” copyright release form using the following information:
    • Title of the Book or Conference Name: Computer Safety, Reliability, and Security – SAFECOMP 2016 Workshops – ASSURE, CYBERSUP, DECSoS, SASSUR, and TIPS
    • Volume Editor(s): Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch
  • One author may sign on behalf of all authors.
  • Springer does not accept digital signatures, unfortunately. Please physically sign the form, scan, and email it in PDF or any acceptable image format, to the SAFECOMP 2016 Publication Chair by the deadline above.
  • Alternatively, upload the signed, and completed form via EasyChair using your author account.

3. Corresponding Authors

Please nominate a corresponding author, whose name and email address must be included in the email containing the copyright release form. This author will be responsible for checking the pre-print proof of your paper prepared by Springer.

4. Pre-print Checking

The publisher has recently introduced an extra control loop: once data processing is finished, they will contact all corresponding authors and ask them to check their papers. We expect this to happen shortly before the printing of the proceedings. At that time your quick interaction with Springer-Verlag will be greatly appreciated.

5. Formatting and Page Limits

Please do not change the spacing and dimensions associated with the paper template files. Please ensure that your paper meets the page limits for your paper type.

  • Regular research/practice papers: 12 pages including figures, references, and appendices.
  • Tools papers: 10 pages, including figures, references, and appendices.
  • Position papers: 4 – 6 pages including figures, references, and any appendices.

6. Final Paper Submission

Submit your camera ready paper using your EasyChair author account, for inclusion into the Workshop Proceedings. After you have logged in, follow the “Proceedings” tab in the top panel.

Springer reserves the right to reformat your paper to meet their print and digital publication requirements. Consequently, you will need to submit all the source files associated with your paper. Follow the instructions after the login for uploading two files:

  1. either a zipped file containing all your LaTeX sources or a Word file in the RTF format, and
  2. a PDF version of your camera-ready paper.

Please strictly follow the LNCS paper formatting guidelines when preparing the final version.

Committees

Workshop Chairs

  • Ewen Denney, SGT / NASA Ames, USA
  • Ibrahim Habli, University of York, UK
  • Ganesh Pai, SGT / NASA Ames, USA


Program Committee (Login)

  • Ersin Ancel, NASA Langley Research Center, USA
  • Robin Bloomfield, City University, UK
  • Reece Clothier, RMIT, Australia
  • Martin Feather, NASA Jet Propulsion Laboratory, USA
  • Jérémie Guiochet, LAAS-CNRS, France
  • Richard Hawkins, University of York, UK
  • Tim Kelly, University of York, UK
  • Yoshiki Kinoshita, Kanagawa University, Japan
  • John Knight, University of Virginia, USA
  • Helen Monkhouse, Protean Electric Ltd., UK
  • Andrew Rae, Griffith University, Australia
  • Roger Rivett, Jaguar Land Rover, UK
  • John Rushby, SRI, USA
  • Mark-Alexander Sujan, University of Warwick, UK
  • Kenji Taguchi, AIST, Japan
  • Alan Wassyng, McMaster University, Canada
  • Sean White, Health and Social Care Information Centre, UK

Previous ASSURE Workshops

Contact Us

If you have questions about paper topics, submission and/or about ASSURE 2016 in general, please contact the Workshop Organizers.




Moscow.media
Частные объявления сегодня





Rss.plus



Богданов борется за сердце Glukozы, а Хрусталев ищет кольцо Нефертити

Джиган, Artik & Asti и NILETTO спели о худи, а Дина Саева стала новым артистом: в Москве прошел BRUNCH Rocket Group

В Московской области сотрудники Росгвардии провели урок безопасности для школьников

В Подмосковье росгвардейцы помогли автолюбительнице, оказавшейся в сложной ситуации из-за гололеда


Кажетта Ахметжанова рассказала, сбываются ли сны с четверга на пятницу

«585*ЗОЛОТОЙ» рассказала, какие обручальные кольца будут выбирать пары в следующем году

В древнейшем пещерном поселении Крыма побывали сотрудники отеля Yalta Intourist

В Коми главврачу вынесено представление из-за неработающего лифта – медперсонал спускает и поднимает пациентов на носилках


UK will urge Trump administration not to curb free trade, Reeves says

An Idaho health department isn’t allowed to give COVID-19 vaccines anymore. Experts say it’s a first

Karkala MLA slams Karnataka govt for failing to fund plank installations on Udupi dams

‘We do not get to sit this one out’: Oprah delivers powerful election eve speech


Главная арка ВДНХ

KEY CAPITAL: Российские застройщики стали разрабатывать больше масштабных проектов

Монумент "Рабочий и колхозница"

Богданов борется за сердце Glukozы, а Хрусталев ищет кольцо Нефертити


Nowhere House 1.1.18

Стартовал пробный запуск Castle Doombad: Free To Slay на iOS и Android

Metal Slug Tactics review

Meta-funded regulator for AI disinformation on Meta's platform comes under fire: 'You are not any sort of check and balance, you are merely a bit of PR spin'



Более 511,3 тысячи семей Московского региона получили сертификаты на материнский капитал в проактивном формате

Угадать хит и выиграть автомобиль

«ПЯТИГОРСК» и «СОЮЗ»: две легенды на одной сцене

Инвестпроекты Арктики составляют пятую часть экономики РФ




«Вечером на лобном, а после — плацкарт»: как Бузова совмещала «ДОМ-2» и учебу

Джиган, Artik & Asti и NILETTO спели о худи, а Дина Саева стала новым артистом: в Москве прошел BRUNCH Rocket Group

В Ярославской области на месяц сдвинули продажу гостиниц

Глава ТПП РФ Сергей Катырин: бизнес предлагает донастроить налоговое законодательство


Жители Краснодара получат новые возможности для занятий спортом

РИА НОВОСТИ: ДОНАЛЬД ТРАМП НАБИРАЕТ 295 ГОЛОСОВ ВЫБОРЩИКОВ. Возможны корректировки. Россия, США, Европа могут улучшить отношения и здоровье общества?!

В Подмосковье провели мастер-класс для детей «Животные»

Молодые мошенники из Новосибирска попались полицейским в Москве


Арина Соболенко уверенной победой стартовала на Итоговом турнире WTA

В России обесценили матч Елены Рыбакиной с первой ракеткой мира

Борис Беккер поддержал Хачанова после его слов о поведении Умбера на «Мастерсе» в Париже

Даниил Медведев станет самым возрастным участником Итогового турнира — 2024


Молодые мошенники из Новосибирска попались полицейским в Москве

В Подмосковье провели мастер-класс для детей «Животные»

Источник 360.ru: 8 гаражей загорелись в Алтуфьевском районе Москвы

РИА НОВОСТИ: ДОНАЛЬД ТРАМП НАБИРАЕТ 295 ГОЛОСОВ ВЫБОРЩИКОВ. Возможны корректировки. Россия, США, Европа могут улучшить отношения и здоровье общества?!


Музыкальные новости

Москвичи смогут бесплатно посетить концерт Полины Гагариной

"Мысль для меня — это мелодия". Александр Розенбаум — о любимой музыке и рэпе

Деньги сгубят «Ленинград»: почему Шнуров решил вернуться на сцену

Джиган, Artik & Asti и NILETTO спели о худи, а Дина Саева стала новым артистом: в Москве прошел музыкальный бранч



В Подмосковье росгвардейцы помогли автолюбительнице, оказавшейся в сложной ситуации из-за гололеда

Глава ТПП РФ Сергей Катырин: бизнес предлагает донастроить налоговое законодательство

Угадать хит и выиграть автомобиль

Более 511,3 тысячи семей Московского региона получили сертификаты на материнский капитал в проактивном формате


В Московской области сотрудники Росгвардии провели урок безопасности для школьников

Джиган, Artik & Asti и NILETTO спели о худи, а Дина Саева стала новым артистом: в Москве прошел BRUNCH Rocket Group

Meta-funded regulator for AI disinformation on Meta's platform comes under fire: 'You are not any sort of check and balance, you are merely a bit of PR spin'

Музыкальный менеджер. Менеджер музыкальной группы. Музыкальный менеджер директор.


Поставки подержанных авто из Японии, Китая и Кореи в Россию – что выбрать?

Угадать хит и выиграть автомобиль

Минтранс Подмосковья: подготовку подвижного состава к зиме завершили на МЖД

В Москве выставлен на продажу "Иж Планета" за 700 тыс. рублей


Совфед рассмотрит договор о стратегическом партнерстве между Россией и КНДР

Путин дал команду на спуск на воду атомного ледокола «Чукотка»

Посол Кыргызстана вручил верительные грамоты президенту России Владимиру Путину

Путин присвоил экс-заммэра Москвы Ресину звание Героя Труда


«Образовать традицию»: психолог Фомин рассказал, как сохранить дружбу на всю жизнь




"Известия": вирус Коксаки подозревают у детей в девяти регионах России

Минимум в 9 регионах России пожаловались на заболевание, похожее на вирус Коксаки

Коксаки не вызывали // “Ъ” прошел по следам энтеровирусной инфекции

Филиал № 4 ОСФР по Москве и Московской области напоминает: Отделение СФР предоставило 11 жителям региона с нарушениями зрения собак-поводырей


Рогов: окружение Зеленского в панике из-за победы Трампа

СМИ: в Киеве придумали схему, как при Трампе закрыть кейс «курской операции»


Десятков — о поражении «Витязя» от «Динамо»: «Если мы профессионалы, то мы должны выходить и отвечать»

Хватило на час: хоккейная «Волга» начала чемпионат с поражения в Москве

Енот Шоня из мультсериала «Команда МАТЧ» посетил матч ЦСКА – «Спартак»

Что случилось в Ростове 7 ноября


В Мордовии подписан ряд новых соглашений с белорусскими партнерами

Лукашенко: Народ ждет от атлетов высоких спортивных достижений

Пресс-секретарь Лукашенко Эйсмонт: разрядка Вашингтона с Минском и Москвой выгодна США

Лукашенко назвал «ярого капиталиста» Трампа победителем президентских выборов в США



Собянин: Вокзал ЗИЛ объединит две линии метро, МЦК и наземный транспорт

Сергей Собянин рассказал о строительстве станции «ЗИЛ» Троицкой линии метро

Собянин: Территории городских вокзалов МЦД благоустраивают по единому стандарту

Собянин: Победители и призеры XVII летних Паралимпийских игр в Париже получат призовые от Москвы


Выездной пейнтбол на мероприятие: яркие эмоции и незабываемые впечатления!

В Москве покажут электромобиль, защищённый шлюзом безопасности Kaspersky

Школьникам расскажут о правилах безопасности в Сети на «Цифровом ликбезе»

От первого сервера до цифровой экосистемы. Узнай историю ИТ-проектов Москвы


Байден впервые прокомментировал поражение Харрис на выборах президента США

Во Владикавказе завершился инклюзивный фестиваль «Алтын майдан» в котором впервые приняли участие артисты красноуфимского культурного центра

«Вечером на лобном, а после — плацкарт»: как Бузова совмещала «ДОМ-2» и учебу

В Подмосковье провели мастер-класс для детей «Животные»


Межрегиональный форум «Дни ритейла в Беломорье» пройдет в Архангельске

В Краснодарском крае ищут виновных в повреждении 53 могил на кладбище

Опубликован фоторепортаж с празднования Дня народного единства в Нижнем Новгороде

Президентская библиотека — ко Дню народного единства


Литературно-музыкальный час «А жизнь, как песня…».

Вечер-посвящение «Верит в быль и верит в небыль бескорыстная душа»

Клубный дом "Моне" - жилой комплекс, вдохновленный искусством

Аномально холодный ноябрь: погода в Крыму на неделю


Во Владикавказе завершился инклюзивный фестиваль «Алтын майдан» в котором впервые приняли участие артисты красноуфимского культурного центра

Молодые мошенники из Новосибирска попались полицейским в Москве

В Подмосковье определили лучших педагогов

РИА НОВОСТИ: ДОНАЛЬД ТРАМП НАБИРАЕТ 295 ГОЛОСОВ ВЫБОРЩИКОВ. Возможны корректировки. Россия, США, Европа могут улучшить отношения и здоровье общества?!












Спорт в России и мире

Новости спорта


Новости тенниса
WTA

Соболенко обыграла Паолини и вышла в полуфинал Итогового турнира WTA






Источник 360.ru: 8 гаражей загорелись в Алтуфьевском районе Москвы

«Вечером на лобном, а после — плацкарт»: как Бузова совмещала «ДОМ-2» и учебу

В Подмосковье провели мастер-класс для детей «Животные»

Молодые мошенники из Новосибирска попались полицейским в Москве