.ENSURE 2015 has efficiently ended.UPDATES.2015-06-24: Pippa Moore of the UK Civil Aviation Authority will give an invited keynote talk!2015-06-24: The ASSURE 2015 Course has actually been actually declared. The final plan is dependent on registration. If you haven't currently accomplished this, desire register for ensure 2015 by means of SAFECOMP 2015.2015-06-15: GUARANTEE 2015 are going to be actually held on Tuesday, Sep. 22, 2015. The accepted documents as well as plan will definitely be actually reported below soon.2015-06-15: Writers of accepted papers have actually been advised. Ultimate, camera-ready copies as well as the copyright type schedule on June 28, 2015 June 30, 2015.2015-06-04: Report submitting due dates have actually passed. Submission is right now shut.2015-05-28: SAFECOMP 2015 has extended all workshop deadlines, including for guarantee 2015, through one more week to June 3, 2015.2015-05-19: guarantee deadlines have actually been expanded by a week to May 29, 2015.2015-03-13: The ASSURE 2015 require documents, and also the paper article rules are today available.2015-03-12: The due date to send papers to ensure 2015 is May 22, 2015.2015-03-05: The guarantee 2015 website is actually real-time!Introduction.ENSURE 2015, collocated this year with SAFECOMP 2015, targets to supply a global forum for high-quality contributions on the app of assurance situation concepts as well as techniques to ensure that the dependability buildings of essential, software-intensive bodies have been fulfilled.The primary targets of the sessions are actually to:.Explore methods for the development as well as analysis of guarantee scenarios for software-intensive systems.Analyze the task of guarantee cases in the design lifecycle of important units.Identify the dimension of efficient method in the progression as well as analysis of affirmation scenarios.Check out the relationship between reliability strategies and also guarantee scenarios.Pinpoint important analysis obstacles as well as determine a roadmap for future advancement.We invite initial, high-grade study, technique, resources and location documents that have certainly not been actually published/submitted somewhere else. Find the full Call for Papers, for additional details on topics. Likewise check out the submission deadline, and guidelines.08:00-- 09:00 Sign up.09:00-- 11:00 Treatment 1. Principle as well as Foundations.09:00-- 09:10 Welcome and Intro, ENSURE 2015 Organizers.09:10 -10:00 Keynote Talk: Do Our Company Truly Would Like To Start From Listed below? Pippa Moore, UK Civil Aeronautics Authority.10:00 -10:30 Informing Guarantee Lawsuit Review via an Official Interpretation of GSN Primary Reasoning, Winner Bandur, and John McDermid.10:30-- 11:00 Working With Confidence in Affirmation Case Documentation, Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, and Insup Lee.11:00-- 11:30 Morning Coffee/Tea Break.11:30 -1:00 Session 2. Methodology and also Design.11:30-- 12:00 Safe and also Sec Holder Patterns, Kenji Taguchi, Daisuke Souma, as well as Hideaki Nishihara.12:00-- 12:30 A Comprehensive Safety Lifecycle, John Knight, Jonathan Rowanhill, Anthony Aiello, and also Kimberly Wasson.12:30-- 13:00 A Strategy to Ensure Trustworthiness With ArchiMate, Shuichiro Yamamoto.13:00-- 14:00 Lunch time Breather.14:00-- 15:30 Treatment 3. Tool Help and Tool Presentations.14:00-- 14:30 Device Support for Guarantee Situation Structure Blocks: Giving a Helping Hand with CAE, Kateryna Netkachova, Oleksandr Netkachov, and Robin Bloomfield.14:30-- 15:00 Safety.Lab: Model-based Domain Particular Tooling for Security Line Of Reasoning, Daniel Ratiu, Marc Zeller, and Lennart Kilian.15:00-- 15:30 A Security Condition Tracking System, John Knight, Jonathan Rowanhill, and also Jian Xiang.15:30-- 16:00 Mid-day Coffee/Tea Breather.16:00-- 16:45 Treatment 4. Requests as well as Venture Outlines.16:00-- 16:30 Mistake Type Refinement for Guarantee of Families of Platform-Based Systems, Sam Procter, John Hatcliff, Sandy Weininger, as well as Anura Fernando.16:30-- 16:37 Protection as well as Safety And Security Affirmation in Train Requirements, Kenji Taguchi.16:37-- 16:45 Towards Assurance Disagreements of Catastrophe Administration Strategies, Shuji Kinoshita.16:45-- 18:00 Session 5. Panel as well as Verdict.16:45-- 18:00 PANEL: The Duty of Argumentation in License as well as Security Danger Monitoring,.John Birch, JaguarLandRover/ AVL Robin Bloomfield, Adelard and also City College Chris Johnson, Educational Institution of Glasgow Yoshiki Kinoshita, Kanagawa Educational institution andPippa Moore, UK CAA.18:00 Final thought and Wrap-Up, ENSURE 2015 Organizers.
Event.Due date.Shop Papers Charge.June 3, 2015 Now Closed.Notification of Acceptance.June 15, 2015.Camera-ready Copies Due.June 28, 2015 June 30, 2015.ENSURE 2015 Shop.September 22, 2015.SAFECOMP 2015.September 22-- 25, 2015.
Software program participates in an essential function in risky devices, e.g., safety-, and also security-critical units. Many license standards/guidelines now advise and/or mandate the advancement of affirmation scenarios for software-intensive devices, e.g., defense (UK MoD DS-0056), air travel (LIMIT 670. FAA working authorization direction for unmanned airplane systems), auto (ISO 26262), and also medical care (FDA infusion pumps tot item lifecycle guidance). Because of this, there is actually a requirement to create versions, approaches and also devices that target the development of assurance debates for program.The goals of the 2015 Sessions on Affirmation Cases for Software-intensive Units (ENSURE 2015) are actually to:.discover strategies for creating/assessing affirmation situations for software-intensive systems.check out the part of affirmation scenarios in the design lifecycle of critical units.determine the sizes of helpful technique in the growth and also analysis of assurance scenarios.investigate the connection between stability methods and also assurance situations as well as,.determine vital investigation problems as well as specify a roadmap for future progression.We obtain high-grade additions: analysis, method, resources as well as position documents on the app of guarantee scenario principles and also procedures to ensure that the reliability residential properties of critical software-intensive units have been actually satisfied.Papers should attempt to deal with the sessions goals in general.Topics.Subject matters of passion include, but are certainly not limited to:.Requirements: Market suggestions and also criteria are considerably needing the development of guarantee scenarios, e.g., the motor vehicle regular ISO 26262 and the FDA guidance on the complete item lifecycle for mixture pumps.Certification and Laws: The role and utilization of affirmation situations in the license of crucial systems, along with to reveal compliance to rules.Professional styles: Exactly how perform fault-tolerant architectures and also layout measures such as range as well as partitioning relate to assurance instances?Consistency analysis: What are the relationships in between reliability analysis strategies and also the affirmation scenario paradigm?Tools: Using the output from program engineering resources (screening, formal verification, code generators) as evidence in affirmation situations/ making use of resources for the choices in, analysis and administration of affirmation cases.Request of official approaches to generate as well as evaluate arguments.Exploration of pertinent methods for affirmation situations for real-time, concurrent, as well as circulated bodies.Assurance problems in developing computational paradigms, e.g., cloud, mobile, virtual, many-core styles, and adaptive and autonomous bodies.Modeling and Metamodeling: Depiction of structured debates by means of metamodels, including OMG's Structured Guarantee Case Metamodel (SACM).Affirmation of program high quality attributes, e.g., protection, safety and security and also maintainability, and also dependability typically, featuring tradeoffs, and also exploring thoughts of the high quality of assurance instances on their own.Domain-specific affirmation issues, in domains like aerospace, automotive, medical care, self defense as well as power.Reuse as well as Modularization: Agreements and patterns for boosting the reuse of affirmation case frameworks.Links between the Target Structuring Notation for guarantee scenarios, and goal-orientation coming from the criteria engineering community.Study submission is actually right now closed.Documents will definitely be peer-reviewed by at the very least three members of the program committee. Allowed documents will be actually released in the SAFECOMP 2015 Study Group Procedures, to become published through Springer, in the Sermon Notes in Computer Technology (LNCS) Set. Writers of the best documents might be actually invited to send a presented variation for publication in an unique publication concern (tentative).All documents need to be authentic job not released, or in article, somewhere else.All documents need to be actually sent simply in PDF. Feel free to validate that documents could be reliably published and/or looked at on display screen before submitting.Documents must comply with the LNCS study formatting tips.Frequent (study, strategy, or even opening) documents may be around 12 webpages long consisting of figures, endorsements, as well as any kind of appendices.Resources papers can be as much as 10 webpages long consisting of amounts, endorsements as well as any sort of appendices.Keep in mind: Writers of allowed tools documents will certainly be actually expected to provide an exhibition of the device( s) at the workshop, i.e., no screenshots.Provide your newspaper digitally by means of EasyChair through May 22, 2015 May 29, 2015 June 3, 2015.Note: After logging right into EasyChair, choose New Submission.At that point, be sure to select the track Affirmation Cases for Software-intensive Units to provide a paper to this sessions.
Shop Chairs.Ewen Denney, SGT/ NASA Ames, United States.Ibrahim Habli, College of York, UK.Ganesh Pai, SGT/ NASA Ames, United States.Program Board (Login).Robin Bloomfield, City Educational Institution, UK.Ju00e9ru00e9mie Guiochet, LAAS-CNRS, France.Richard Hawkins, Educational Institution of York, UK.David Higham, Delphi Diesel Units, UK.Michael Holloway, NASA Langley Research Center, USA.Paul Jones, USA Food and Drug Administration, U.S.A..Tim Kelly, College of York, UK.Yoshiki Kinoshita, Kanagawa College, Asia.John Knight, College of Virginia, United States.Andrew Rae, Griffith University, Australia.Roger Rivett, Jaguar Property Vagabond, UK.Christel Seguin, ONERA, France.Mark-Alexander Sujan, University of Warwick, UK.Kenji Taguchi, AIST, Japan.Alan Wassyng, McMaster Educational Institution, Canada.Sean White, Health And Wellness and Social Treatment Information Facility, UK.
Connect with the Organizers.If you have questions concerning newspaper topics, article and/or about ASSURE 2015 generally, please talk to the Sessions Organizers.