.ASSURE 2015 has properly wrapped up.UPDATES.2015-06-24: Pippa Moore of the UK Civil Aeronautics Authorization will certainly offer a welcomed principle talk!2015-06-24: The ENSURE 2015 Program has been actually declared. The final system is actually contingent on sign up. If you have not already done this, please sign up for ensure 2015 using SAFECOMP 2015.2015-06-15: GUARANTEE 2015 are going to be actually hung on Tuesday, Sep. 22, 2015. The taken documents as well as system will be actually posted here very soon.2015-06-15: Authors of taken documents have actually been advised. Ultimate, camera-ready copies and the copyright type schedule on June 28, 2015 June 30, 2015.2015-06-04: Report article target dates have passed. Submitting is currently shut.2015-05-28: SAFECOMP 2015 has actually expanded all sessions due dates, consisting of for guarantee 2015, through another week to June 3, 2015.2015-05-19: ensure due dates have been actually expanded by a week to May 29, 2015.2015-03-13: The ASSURE 2015 ask for papers, as well as the report submitting tips are today available.2015-03-12: The deadline to submit documents to guarantee 2015 is actually May 22, 2015.2015-03-05: The guarantee 2015 site is actually online!Introduction.ASSURE 2015, collocated this year with SAFECOMP 2015, targets to provide an international forum for premium contributions on the application of guarantee scenario concepts as well as strategies to guarantee that the reliability residential or commercial properties of important, software-intensive units have actually been actually met.The major goals of the shop are to:.Explore techniques for the creation and examination of assurance cases for software-intensive systems.Check out the part of affirmation scenarios in the design lifecycle of essential devices.Identify the measurement of effective strategy in the advancement and examination of affirmation situations.Look into the relationship between stability techniques and also guarantee situations.Pinpoint important investigation challenges and also determine a roadmap for future advancement.Our company invite initial, top notch research, practice, devices as well as ranking papers that have not been actually published/submitted elsewhere. Observe the full Ask for Papers, for additional information on subject matters. Likewise watch the submitting target date, and rules.08:00-- 09:00 Sign up.09:00-- 11:00 Treatment 1. Keynote and Foundations.09:00-- 09:10 Welcome as well as Intro, ASSURE 2015 Organizers.09:10 -10:00 Keynote Speak: Perform We Definitely Intended To Start From Right here? Pippa Moore, UK Civil Aeronautics Authorization.10:00 -10:30 Informing Assurance Case Evaluation via an Official Analysis of GSN Core Reasoning, Winner Bandur, and John McDermid.10:30-- 11:00 Representing Confidence in Guarantee Lawsuit Documentation, Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, and Insup Lee.11:00-- 11:30 Morning Coffee/Tea Breather.11:30 -1:00 Treatment 2. Methodology as well as Patterns.11:30-- 12:00 Safe as well as Sec Holder Design, Kenji Taguchi, Daisuke Souma, and also Hideaki Nishihara.12:00-- 12:30 A Comprehensive Security Lifecycle, John Knight, Jonathan Rowanhill, Anthony Aiello, and Kimberly Wasson.12:30-- 13:00 An Approach to Ensure Reliability Via ArchiMate, Shuichiro Yamamoto.13:00-- 14:00 Lunch time Break.14:00-- 15:30 Session 3. Resource Support and also Resource Presentations.14:00-- 14:30 Resource Assistance for Affirmation Scenario Property Blocks: Delivering a Helping Hand with CAE, Kateryna Netkachova, Oleksandr Netkachov, and Robin Bloomfield.14:30-- 15:00 Safety.Lab: Model-based Domain Certain Tooling for Safety And Security Argumentation, Daniel Ratiu, Marc Zeller, and Lennart Kilian.15:00-- 15:30 A Safety And Security Situation Tracking Body, John Knight, Jonathan Rowanhill, as well as Jian Xiang.15:30-- 16:00 Mid-day Coffee/Tea Break.16:00-- 16:45 Treatment 4. Applications as well as Task Introductions.16:00-- 16:30 Fault Type Improvement for Guarantee of Family Members of Platform-Based Solutions, Sam Procter, John Hatcliff, Sandy Weininger, as well as Anura Fernando.16:30-- 16:37 Security and Safety Guarantee in Railway Specifications, Kenji Taguchi.16:37-- 16:45 In The Direction Of Assurance Debates of Calamity Control Plannings, Shuji Kinoshita.16:45-- 18:00 Session 5. Door as well as Conclusion.16:45-- 18:00 BOARD: The Role of Line Of Reasoning in License and also Protection Threat Management,.John Birch, JaguarLandRover/ AVL Robin Bloomfield, Adelard and also City University Chris Johnson, College of Glasgow Yoshiki Kinoshita, Kanagawa Educational institution andPippa Moore, UK CAA.18:00 Conclusion and Wrap-Up, ASSURE 2015 Organizers.
Celebration.Target date.Shop Documents Charge.June 3, 2015 Right now Closed.Alert of Approval.June 15, 2015.Camera-ready Duplicates As A Result Of.June 28, 2015 June 30, 2015.ASSURE 2015 Sessions.September 22, 2015.SAFECOMP 2015.September 22-- 25, 2015.
Software plays a vital function in risky units, e.g., safety-, and security-critical devices. Several certification standards/guidelines now highly recommend and/or mandate the development of assurance scenarios for software-intensive systems, e.g., self defense (UK MoD DS-0056), aviation (HAT 670. FAA functional authorization support for unmanned aircraft units), automotive (ISO 26262), and health care (FDA mixture pumps tot item lifecycle advice). Therefore, there is a demand to develop models, procedures and also tools that target the growth of affirmation arguments for software program.The objectives of the 2015 Workshop on Affirmation Cases for Software-intensive Solutions (ENSURE 2015) are to:.discover strategies for creating/assessing guarantee scenarios for software-intensive bodies.take a look at the function of assurance cases in the design lifecycle of vital systems.recognize the sizes of effective method in the growth and analysis of guarantee cases.look into the partnership in between reliability techniques and also guarantee cases and,.pinpoint essential analysis difficulties and determine a roadmap for potential progression.We get top notch contributions: research study, strategy, resources as well as position papers on the application of guarantee scenario concepts and techniques to ensure that the stability homes of vital software-intensive systems have actually been actually satisfied.Documents needs to seek to deal with the workshop targets as a whole.Subject matters.Subjects of rate of interest include, but are actually certainly not restricted to:.Specifications: Market rules and also standards are progressively demanding the progression of guarantee situations, e.g., the automobile basic ISO 26262 and the FDA guidance on the overall item lifecycle for mixture pumps.License and also Regulations: The job as well as usage of affirmation situations in the certification of essential bodies, in addition to to present compliance to rules.Professional designs: Just how perform fault-tolerant architectures and design procedures like variety as well as partitioning relate to assurance situations?Dependability evaluation: What are the relationships in between consistency evaluation procedures as well as the assurance instance standard?Resources: Using the output from software engineering devices (testing, official proof, code power generators) as proof in assurance situations/ using tools for the choices in, evaluation as well as administration of assurance instances.Use of official techniques to produce and assess debates.Exploration of relevant approaches for assurance situations for real-time, concurrent, and distributed systems.Assurance issues in surfacing computational ideals, e.g., cloud, mobile, digital, many-core designs, and flexible and autonomous bodies.Choices in and also Metamodeling: Depiction of organized arguments by means of metamodels, such as OMG's Structured Assurance Case Metamodel (SACM).Guarantee of program high quality attributes, e.g., protection, safety and also maintainability, and also consistency typically, featuring tradeoffs, and also discovering notions of the quality of guarantee scenarios on their own.Domain-specific guarantee concerns, in domains such as aerospace, auto, health care, defense as well as power.Reuse and Modularization: Contracts and also designs for boosting the reuse of guarantee instance structures.Connections between the Objective Structuring Notation for assurance situations, and goal-orientation coming from the criteria engineering community.Study entry is now closed.Documents will certainly be peer-reviewed by at least 3 participants of the system committee. Accepted papers will definitely be actually released in the SAFECOMP 2015 Study Group Proceedings, to become posted through Springer, in the Lecture Notes in Computer Science (LNCS) Series. Authors of the best papers may be actually welcomed to send a presented variation for magazine in an unique publication issue (tentative).All papers must be actually authentic work certainly not posted, or even in submitting, elsewhere.All documents should be actually sent merely in PDF. Feel free to verify that documents could be reliably printed and/or checked out on display screen prior to submitting.Papers ought to conform to the LNCS paper format rules.Frequent (study, technique, or even position) documents could be around 12 web pages long including designs, recommendations, as well as any sort of appendices.Tools documents can be as much as 10 webpages long featuring amounts, referrals as well as any kind of appendices.Note: Writers of allowed devices papers are going to be expected to offer a presentation of the resource( s) at the workshop, i.e., no screenshots.Submit your newspaper digitally by means of EasyChair through May 22, 2015 May 29, 2015 June 3, 2015.Take note: After logging in to EasyChair, pick New Article.Then, be sure to choose the keep track of Guarantee Cases for Software-intensive Equipments to submit a newspaper to this shop.
Shop Chairs.Ewen Denney, SGT/ NASA Ames, United States.Ibrahim Habli, College of York, UK.Ganesh Pai, SGT/ NASA Ames, USA.Program Committee (Login).Robin Bloomfield, Area University, UK.Ju00e9ru00e9mie Guiochet, LAAS-CNRS, France.Richard Hawkins, University of York, UK.David Higham, Delphi Diesel Solutions, UK.Michael Holloway, NASA Langley Research Center, United States.Paul Jones, USA Fda, USA.Tim Kelly, University of York, UK.Yoshiki Kinoshita, Kanagawa College, Japan.John Knight, Educational Institution of Virginia, U.S.A..Andrew Rae, Griffith College, Australia.Roger Rivett, Jaguar Land Wanderer, UK.Christel Seguin, ONERA, France.Mark-Alexander Sujan, College of Warwick, UK.Kenji Taguchi, AIST, Japan.Alan Wassyng, McMaster College, Canada.Sean White, Health And Wellness as well as Social Treatment Relevant Information Facility, UK.
Contact the Organizers.If you possess questions about paper topics, article and/or concerning guarantee 2015 generally, please contact the Sessions Organizers.