.ENSURE 2015 has actually successfully concluded.UPDATES.2015-06-24: Pippa Moore of the UK Civil Aeronautics Authorization will certainly provide a welcomed principle talk!2015-06-24: The ENSURE 2015 System has been revealed. The ultimate plan is actually dependent on registration. If you have not currently done this, desire sign up for ensure 2015 by means of SAFECOMP 2015.2015-06-15: ASSURE 2015 will definitely be actually hung on Tuesday, Sep. 22, 2015. The approved documents and also course will certainly be actually posted listed below very soon.2015-06-15: Writers of taken papers have actually been actually advised. Final, camera-ready copies and also the copyright type schedule on June 28, 2015 June 30, 2015.2015-06-04: Study submission deadlines have actually passed. Submission is right now closed.2015-05-28: SAFECOMP 2015 has actually stretched all workshop due dates, featuring for guarantee 2015, by yet another week to June 3, 2015.2015-05-19: guarantee target dates have actually been expanded by a week to May 29, 2015.2015-03-13: The ASSURE 2015 ask for documents, as well as the study submitting standards are today on call.2015-03-12: The due date to provide documents to ASSURE 2015 is actually May 22, 2015.2015-03-05: The ensure 2015 internet site is actually real-time!Overview.ENSURE 2015, collocated this year with SAFECOMP 2015, targets to provide a global online forum for high-grade payments on the application of assurance situation principles and also methods to guarantee that the consistency properties of important, software-intensive devices have been met.The main goals of the workshop are actually to:.Explore strategies for the development as well as analysis of assurance situations for software-intensive bodies.Analyze the job of guarantee situations in the engineering lifecycle of critical bodies.Determine the size of reliable method in the progression as well as assessment of assurance instances.Check out the partnership between dependability procedures as well as affirmation situations.Recognize critical investigation problems and also specify a roadmap for future development.Our experts invite authentic, top notch analysis, method, tools as well as ranking papers that have actually not been actually published/submitted in other places. Find the complete Call for Papers, for even more information on topics. Also check out the entry due date, and also tips.08:00-- 09:00 Sign up.09:00-- 11:00 Treatment 1. Keynote and Foundations.09:00-- 09:10 Welcome and Introduction, ASSURE 2015 Organizers.09:10 -10:00 Keynote Discussion: Do Our Team Actually Would Like To Begin With Below? Pippa Moore, UK Civil Aviation Authorization.10:00 -10:30 Informing Guarantee Lawsuit Testimonial by means of a Professional Analysis of GSN Core Reasoning, Victor Bandur, as well as John McDermid.10:30-- 11:00 Representing Self-confidence in Assurance Lawsuit Proof, Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, and also Insup Lee.11:00-- 11:30 Early Morning Coffee/Tea Breather.11:30 -1:00 Session 2. Process as well as Design.11:30-- 12:00 Safe and Sec Cover Design, Kenji Taguchi, Daisuke Souma, and Hideaki Nishihara.12:00-- 12:30 A Comprehensive Security Lifecycle, John Knight, Jonathan Rowanhill, Anthony Aiello, as well as Kimberly Wasson.12:30-- 13:00 A Technique to Guarantee Stability By Means Of ArchiMate, Shuichiro Yamamoto.13:00-- 14:00 Lunch Rest.14:00-- 15:30 Treatment 3. Resource Help and also Device Presentations.14:00-- 14:30 Device Assistance for Guarantee Situation Property Blocks: Delivering an Aiding Hand with CAE, Kateryna Netkachova, Oleksandr Netkachov, and also Robin Bloomfield.14:30-- 15:00 Safety.Lab: Model-based Domain Name Particular Tooling for Protection Line Of Reasoning, Daniel Ratiu, Marc Zeller, and also Lennart Kilian.15:00-- 15:30 A Safety And Security Situation Monitoring Device, John Knight, Jonathan Rowanhill, and also Jian Xiang.15:30-- 16:00 Mid-day Coffee/Tea Rest.16:00-- 16:45 Treatment 4. Uses as well as Task Overviews.16:00-- 16:30 Fault Style Improvement for Guarantee of Family Members of Platform-Based Units, Sam Procter, John Hatcliff, Sandy Weininger, as well as Anura Fernando.16:30-- 16:37 Security and also Protection Assurance in Train Line Criteria, Kenji Taguchi.16:37-- 16:45 In The Direction Of Assurance Debates of Disaster Administration Plans, Shuji Kinoshita.16:45-- 18:00 Session 5. Door and Conclusion.16:45-- 18:00 PANEL: The Part of Line Of Reasoning in Qualification and also Security Threat Monitoring,.John Birch, JaguarLandRover/ AVL Robin Bloomfield, Adelard and also Urban Area College Chris Johnson, College of Glasgow Yoshiki Kinoshita, Kanagawa Educational institution andPippa Moore, UK CAA.18:00 Final thought and Wrap-Up, ENSURE 2015 Organizers.
Event.Target date.Workshop Documents Fee.June 3, 2015 Now Closed.Notification of Acceptance.June 15, 2015.Camera-ready Copies Due.June 28, 2015 June 30, 2015.ENSURE 2015 Workshop.September 22, 2015.SAFECOMP 2015.September 22-- 25, 2015.
Program plays a key role in risky units, e.g., security-, as well as security-critical units. Several qualification standards/guidelines right now recommend and/or mandate the progression of assurance cases for software-intensive units, e.g., self defense (UK MoD DS-0056), aviation (CAP 670. FAA working authorization advice for unmanned aircraft bodies), automobile (ISO 26262), and medical care (FDA infusion pumps amount to product lifecycle assistance). Because of this, there is a requirement to establish models, techniques as well as resources that target the growth of assurance debates for software program.The goals of the 2015 Shop on Assurance Situations for Software-intensive Equipments (ENSURE 2015) are to:.look into approaches for creating/assessing assurance scenarios for software-intensive bodies.examine the part of assurance cases in the engineering lifecycle of crucial systems.identify the measurements of successful method in the advancement and assessment of affirmation situations.investigate the partnership between reliability techniques and also affirmation cases and also,.recognize important research problems and define a roadmap for potential development.Our company solicit high-quality payments: research, technique, tools and also placement documents on the function of guarantee instance guidelines and procedures to guarantee that the consistency residential properties of essential software-intensive bodies have actually been fulfilled.Documents should attempt to deal with the shop targets in general.Subjects.Subjects of interest include, but are not confined to:.Requirements: Field guidelines and criteria are significantly demanding the advancement of guarantee cases, e.g., the motor vehicle standard ISO 26262 and the FDA support on the overall item lifecycle for mixture pumps.Certification as well as Legislations: The role as well as consumption of assurance situations in the certification of important bodies, in addition to to present observance to requirements.Reputable designs: Just how carry out fault-tolerant designs and concept solutions including variety as well as partitioning connect to affirmation situations?Stability analysis: What are the relationships in between consistency evaluation procedures and also the affirmation instance ideal?Tools: Utilizing the outcome coming from software application design resources (testing, formal confirmation, code generators) as evidence in assurance cases/ using resources for the modeling, evaluation and administration of guarantee instances.Treatment of professional approaches to develop and also study debates.Expedition of appropriate procedures for guarantee cases for real-time, simultaneous, and distributed units.Affirmation issues in surfacing computational paradigms, e.g., cloud, mobile phone, digital, many-core designs, and also adaptive as well as autonomous units.Modeling and Metamodeling: Depiction of structured arguments through metamodels, like OMG's Structured Guarantee Instance Metamodel (SACM).Affirmation of program top quality attributes, e.g., security, surveillance and maintainability, in addition to trustworthiness in general, featuring tradeoffs, as well as checking out ideas of the quality of guarantee scenarios on their own.Domain-specific affirmation concerns, in domain names including aerospace, motor vehicle, health care, self defense and power.Reuse and Modularization: Arrangements as well as patterns for enhancing the reuse of guarantee scenario designs.Network in between the Target Structuring Notation for guarantee cases, and goal-orientation from the requirements engineering area.Report submission is currently closed.Papers will be peer-reviewed through a minimum of 3 members of the program board. Accepted documents will be posted in the SAFECOMP 2015 Workshop Procedures, to be released through Springer, in the Sermon Commentary in Computer Science (LNCS) Series. Writers of the best papers may be actually welcomed to submit a presented model for publication in a special diary concern (tentative).All papers have to be actually initial work certainly not posted, or even in article, in other places.All documents should be actually submitted only in PDF. Feel free to validate that documents can be accurately imprinted and/or seen on screen before submitting.Documents should adapt the LNCS report format tips.Normal (research, practice, or position) papers can be up to 12 webpages long including designs, recommendations, and any type of appendices.Tools papers could be around 10 pages long consisting of numbers, endorsements and any sort of appendices.Keep in mind: Authors of taken tools papers will be expected to provide an exhibition of the resource( s) at the shop, i.e., no screenshots.Submit your paper online using EasyChair by May 22, 2015 May 29, 2015 June 3, 2015.Note: After logging in to EasyChair, choose New Submitting.After that, ensure to choose the keep track of Guarantee Situations for Software-intensive Solutions to submit a paper to this shop.
Shop Chairs.Ewen Denney, SGT/ NASA Ames, U.S.A..Ibrahim Habli, Educational Institution of York, UK.Ganesh Pai, SGT/ NASA Ames, United States.Course Committee (Login).Robin Bloomfield, Area Educational Institution, UK.Ju00e9ru00e9mie Guiochet, LAAS-CNRS, France.Richard Hawkins, College of York, UK.David Higham, Delphi Diesel-powered Solutions, UK.Michael Holloway, NASA Langley , United States.Paul Jones, U.S. Food and Drug Administration, U.S.A..Tim Kelly, Educational Institution of York, UK.Yoshiki Kinoshita, Kanagawa Educational Institution, Asia.John Knight, Educational Institution of Virginia, United States.Andrew Rae, Griffith College, Australia.Roger Rivett, Jaguar Land Vagabond, UK.Christel Seguin, ONERA, France.Mark-Alexander Sujan, University of Warwick, UK.Kenji Taguchi, AIST, Asia.Alan Wassyng, McMaster University, Canada.Sean White, Health And Wellness as well as Social Care Relevant Information Centre, UK.
Connect with the Organizers.If you possess inquiries about paper topics, entry and/or concerning ASSURE 2015 generally, satisfy consult with the Sessions Organizers.