.ASSURE 2015 has actually successfully ended.UPDATES.2015-06-24: Pippa Moore of the UK Civil Air Travel Authority will certainly provide an invited keynote talk!2015-06-24: The GUARANTEE 2015 System has been announced. The final program is dependent on enrollment. If you have not already accomplished this, please register for guarantee 2015 via SAFECOMP 2015.2015-06-15: PROMISE 2015 will certainly be held on Tuesday, Sep. 22, 2015. The approved papers and program will be actually posted here quickly.2015-06-15: Authors of approved documents have been informed. Last, camera-ready duplicates as well as the copyright kind are due on June 28, 2015 June 30, 2015.2015-06-04: Paper submitting target dates have actually passed. Submitting is actually right now shut.2015-05-28: SAFECOMP 2015 has actually stretched all workshop target dates, consisting of for ensure 2015, through yet another full week to June 3, 2015.2015-05-19: ensure target dates have been actually stretched through a full week to May 29, 2015.2015-03-13: The ASSURE 2015 ask for papers, and the study submitting tips are actually now available.2015-03-12: The target date to provide papers to ASSURE 2015 is May 22, 2015.2015-03-05: The ASSURE 2015 website is actually online!Introduction.ASSURE 2015, collocated this year along with SAFECOMP 2015, intends to give an international discussion forum for high-quality payments on the app of guarantee situation principles and strategies to ensure that the consistency residential or commercial properties of critical, software-intensive units have actually been actually fulfilled.The principal goals of the sessions are actually to:.Explore procedures for the development as well as evaluation of assurance instances for software-intensive bodies.Analyze the job of assurance cases in the design lifecycle of vital systems.Pinpoint the dimension of reliable method in the advancement and examination of assurance situations.Check out the partnership in between consistency techniques and affirmation scenarios.Identify essential analysis challenges as well as determine a roadmap for potential development.We invite original, high-grade research study, practice, resources and also position documents that have not been actually published/submitted in other places. View the full Call for Documents, for additional details on subject matters. Additionally view the submitting target date, and also rules.08:00-- 09:00 Sign up.09:00-- 11:00 Treatment 1. Principle and also Foundations.09:00-- 09:10 Welcome and also Intro, ASSURE 2015 Organizers.09:10 -10:00 Principle Speak: Do We Definitely Want To Begin With Listed here? Pippa Moore, UK Civil Air Travel Authorization.10:00 -10:30 Enlightening Assurance Case Review through a Formal Analysis of GSN Core Reasoning, Victor Bandur, and also John McDermid.10:30-- 11:00 Standing For Confidence in Assurance Lawsuit Evidence, Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, and Insup Lee.11:00-- 11:30 Early Morning Coffee/Tea Break.11:30 -1:00 Session 2. Technique and Design.11:30-- 12:00 Safe and Sec Cover Design, Kenji Taguchi, Daisuke Souma, as well as Hideaki Nishihara.12:00-- 12:30 A Comprehensive Protection Lifecycle, John Knight, Jonathan Rowanhill, Anthony Aiello, and also Kimberly Wasson.12:30-- 13:00 A Technique to Guarantee Trustworthiness Through ArchiMate, Shuichiro Yamamoto.13:00-- 14:00 Lunch time Rest.14:00-- 15:30 Session 3. Device Assistance and Resource Demos.14:00-- 14:30 Device Support for Affirmation Case Structure Blocks: Providing a Helping Hand with CAE, Kateryna Netkachova, Oleksandr Netkachov, as well as Robin Bloomfield.14:30-- 15:00 Safety.Lab: Model-based Domain Name Particular Tooling for Security Line Of Reasoning, Daniel Ratiu, Marc Zeller, and Lennart Kilian.15:00-- 15:30 A Safety Situation Surveillance System, John Knight, Jonathan Rowanhill, and Jian Xiang.15:30-- 16:00 Mid-day Coffee/Tea Breather.16:00-- 16:45 Session 4. Treatments as well as Task Guides.16:00-- 16:30 Error Type Refinement for Assurance of Households of Platform-Based Solutions, Sam Procter, John Hatcliff, Sandy Weininger, and also Anura Fernando.16:30-- 16:37 Security and also Surveillance Guarantee in Railroad Requirements, Kenji Taguchi.16:37-- 16:45 Towards Affirmation Arguments of Disaster Monitoring Plannings, Shuji Kinoshita.16:45-- 18:00 Session 5. Door as well as Final thought.16:45-- 18:00 BOARD: The Part of Line Of Reasoning in License and also Safety And Security Threat Management,.John Birch, JaguarLandRover/ AVL Robin Bloomfield, Adelard and Urban Area University Chris Johnson, Educational Institution of Glasgow Yoshiki Kinoshita, Kanagawa Educational institution andPippa Moore, UK CAA.18:00 Verdict and also Wrap-Up, ENSURE 2015 Organizers.
Activity.Deadline.Sessions Documents Charge.June 3, 2015 Right now Closed.Alert of Acceptance.June 15, 2015.Camera-ready Duplicates Due.June 28, 2015 June 30, 2015.ASSURE 2015 Sessions.September 22, 2015.SAFECOMP 2015.September 22-- 25, 2015.
Program plays a vital job in high-risk bodies, e.g., safety and security-, as well as security-critical bodies. Several qualification standards/guidelines now encourage and/or mandate the advancement of affirmation cases for software-intensive bodies, e.g., defense (UK MoD DS-0056), flying (CAP 670. FAA operational authorization guidance for unmanned plane systems), automobile (ISO 26262), and healthcare (FDA mixture pumps complete product lifecycle assistance). Because of this, there is a necessity to cultivate models, methods as well as tools that target the progression of assurance disagreements for software.The goals of the 2015 Shop on Assurance Cases for Software-intensive Equipments (ASSURE 2015) are to:.explore methods for creating/assessing guarantee situations for software-intensive bodies.review the job of assurance instances in the design lifecycle of critical units.determine the sizes of effective technique in the advancement as well as analysis of affirmation scenarios.check out the connection between consistency strategies and also assurance cases and also,.recognize crucial research problems as well as describe a roadmap for potential advancement.We obtain high-quality additions: study, practice, devices and posture documents on the function of affirmation instance concepts as well as techniques to guarantee that the reliability homes of crucial software-intensive bodies have actually been actually met.Documents must seek to deal with the workshop goals in general.Topics.Subject matters of passion feature, but are certainly not confined to:.Requirements: Industry standards as well as criteria are more and more requiring the progression of affirmation instances, e.g., the automotive regular ISO 26262 and also the FDA guidance on the complete product lifecycle for mixture pumps.Qualification and also Rules: The role and also utilization of assurance instances in the qualification of important units, in addition to to show conformity to guidelines.Reliable designs: Just how carry out fault-tolerant styles and concept procedures such as variety and partitioning connect to affirmation scenarios?Stability analysis: What are the relationships between consistency analysis strategies and also the guarantee scenario standard?Tools: Making use of the output from software application engineering devices (testing, formal verification, code power generators) as proof in assurance instances/ making use of resources for the modeling, analysis and also management of guarantee situations.Application of formal techniques to develop and also examine debates.Expedition of pertinent approaches for guarantee cases for real-time, concurrent, and distributed systems.Guarantee concerns in arising computational paradigms, e.g., cloud, mobile, virtual, many-core architectures, as well as flexible as well as self-governing devices.Modeling and Metamodeling: Representation of organized debates via metamodels, like OMG's Structured Guarantee Scenario Metamodel (SACM).Affirmation of software top quality attributes, e.g., security, safety and security as well as maintainability, along with consistency in general, consisting of tradeoffs, as well as looking into ideas of the premium of guarantee cases on their own.Domain-specific guarantee problems, in domains like aerospace, motor vehicle, health care, self defense and electrical power.Reuse as well as Modularization: Deals and patterns for enhancing the reuse of assurance case constructs.Interaction between the Objective Structuring Symbols for guarantee situations, as well as goal-orientation coming from the requirements design area.Paper submitting is right now shut.Documents will definitely be actually peer-reviewed by at least 3 participants of the program committee. Accepted documents are going to be released in the SAFECOMP 2015 Seminar Proceedings, to be released through Springer, in the Sermon Notes in Information Technology (LNCS) Set. Writers of the very best papers might be welcomed to provide an extended model for publication in an unique journal problem (tentative).All documents should be initial work not published, or in submission, somewhere else.All papers ought to be submitted just in PDF. Feel free to validate that documents may be accurately imprinted and/or checked out on display screen prior to submitting.Papers should satisfy the LNCS report format standards.Frequent (investigation, strategy, or opening) papers could be as much as 12 pages long including figures, referrals, as well as any sort of appendices.Resources papers can be as much as 10 pages long featuring figures, recommendations and any type of appendices.Note: Authors of approved resources documents will definitely be anticipated to give a demonstration of the tool( s) at the workshop, i.e., no screenshots.Provide your newspaper electronically through EasyChair by May 22, 2015 May 29, 2015 June 3, 2015.Note: After logging right into EasyChair, choose New Entry.At that point, be sure to choose the keep track of Affirmation Instances for Software-intensive Solutions to provide a newspaper to this shop.
Workshop Chairs.Ewen Denney, SGT/ NASA Ames, U.S.A..Ibrahim Habli, College of York, UK.Ganesh Pai, SGT/ NASA Ames, U.S.A..Program Committee (Login).Robin Bloomfield, City College, UK.Ju00e9ru00e9mie Guiochet, LAAS-CNRS, France.Richard Hawkins, University of York, UK.David Higham, Delphi Diesel-powered Solutions, UK.Michael Holloway, NASA Langley Research Center, USA.Paul Jones, United State Fda, USA.Tim Kelly, Educational Institution of York, UK.Yoshiki Kinoshita, Kanagawa Educational Institution, Asia.John Knight, University of Virginia, United States.Andrew Rae, Griffith Educational Institution, Australia.Roger Rivett, Cat Property Rover, UK.Christel Seguin, ONERA, France.Mark-Alexander Sujan, University of Warwick, UK.Kenji Taguchi, AIST, Asia.Alan Wassyng, McMaster Educational Institution, Canada.Sean White, Health And Wellness and also Social Treatment Info Centre, UK.
Contact the Organizers.If you possess concerns about paper subject matters, article and/or concerning ASSURE 2015 in general, feel free to talk to the Sessions Organizers.