.ENSURE 2015 has actually successfully concluded.UPDATES.2015-06-24: Pippa Moore of the UK Civil Flying Authorization will give a welcomed keynote talk!2015-06-24: The ENSURE 2015 Course has been actually introduced. The ultimate plan is contingent on sign up. If you haven't already accomplished this, desire sign up for ensure 2015 using SAFECOMP 2015.2015-06-15: PROMISE 2015 will certainly be held on Tuesday, Sep. 22, 2015. The taken documents and also plan will be actually posted here quickly.2015-06-15: Authors of approved papers have been actually notified. Final, camera-ready copies as well as the copyright form are due on June 28, 2015 June 30, 2015.2015-06-04: Paper submitting deadlines have passed. Entry is now finalized.2015-05-28: SAFECOMP 2015 has actually expanded all shop due dates, including for ensure 2015, by one more week to June 3, 2015.2015-05-19: ASSURE deadlines have actually been extended by a week to May 29, 2015.2015-03-13: The ASSURE 2015 require papers, and the paper entry tips are now available.2015-03-12: The due date to provide documents to ASSURE 2015 is May 22, 2015.2015-03-05: The ASSURE 2015 site is live!Overview.GUARANTEE 2015, collocated this year with SAFECOMP 2015, strives to give an international online forum for top notch payments on the function of assurance scenario concepts and also techniques to ensure that the stability residential properties of essential, software-intensive devices have been actually met.The primary goals of the sessions are actually to:.Explore approaches for the development and also evaluation of assurance scenarios for software-intensive devices.Take a look at the part of affirmation situations in the design lifecycle of crucial units.Recognize the dimension of reliable strategy in the progression and also assessment of assurance instances.Investigate the relationship between consistency approaches and guarantee scenarios.Identify critical research difficulties and also describe a roadmap for potential growth.Our team welcome original, high quality research study, practice, tools and place documents that have actually certainly not been published/submitted elsewhere. Find the complete Require Documents, for even more particulars on subject matters. Additionally watch the submission due date, as well as suggestions.08:00-- 09:00 Registration.09:00-- 11:00 Treatment 1. Principle and also Foundations.09:00-- 09:10 Welcome and Overview, ENSURE 2015 Organizers.09:10 -10:00 Keynote Discussion: Perform We Really Would Like To Begin With Listed below? Pippa Moore, UK Civil Aviation Authorization.10:00 -10:30 Informing Affirmation Claim Assessment through a Formal Analysis of GSN Primary Logic, Victor Bandur, as well as John McDermid.10:30-- 11:00 Representing Self-confidence in Affirmation Case Proof, Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, and also Insup Lee.11:00-- 11:30 Early Morning Coffee/Tea Rest.11:30 -1:00 Session 2. Strategy and Design.11:30-- 12:00 Safe and also Sec Cover Design, Kenji Taguchi, Daisuke Souma, as well as Hideaki Nishihara.12:00-- 12:30 A Comprehensive Safety Lifecycle, John Knight, Jonathan Rowanhill, Anthony Aiello, as well as Kimberly Wasson.12:30-- 13:00 A Method to Ensure Stability Via ArchiMate, Shuichiro Yamamoto.13:00-- 14:00 Lunch time Rest.14:00-- 15:30 Treatment 3. Resource Help and also Device Exhibitions.14:00-- 14:30 Resource Help for Assurance Case Building Blocks: Giving an Aiding Hand along with CAE, Kateryna Netkachova, Oleksandr Netkachov, as well as Robin Bloomfield.14:30-- 15:00 Safety.Lab: Model-based Domain Name Specific Tooling for Safety And Security Line Of Reasoning, Daniel Ratiu, Marc Zeller, as well as Lennart Kilian.15:00-- 15:30 A Protection Circumstances Monitoring System, John Knight, Jonathan Rowanhill, and Jian Xiang.15:30-- 16:00 Afternoon Coffee/Tea Breather.16:00-- 16:45 Session 4. Requests and Task Summaries.16:00-- 16:30 Error Style Refinement for Guarantee of Loved Ones of Platform-Based Solutions, Sam Procter, John Hatcliff, Sandy Weininger, and Anura Fernando.16:30-- 16:37 Protection and also Surveillance Assurance in Train Line Standards, Kenji Taguchi.16:37-- 16:45 In The Direction Of Guarantee Arguments of Calamity Administration Strategies, Shuji Kinoshita.16:45-- 18:00 Treatment 5. Board and also Final thought.16:45-- 18:00 BOARD: The Function of Line Of Reasoning in Qualification and also Security Danger Management,.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 also Wrap-Up, GUARANTEE 2015 Organizers.
Occasion.Due date.Sessions Documents Fee.June 3, 2015 Currently Closed.Notice of Approval.June 15, 2015.Camera-ready Copies As A Result Of.June 28, 2015 June 30, 2015.ASSURE 2015 Workshop.September 22, 2015.SAFECOMP 2015.September 22-- 25, 2015.
Software program plays a vital duty in risky devices, e.g., security-, and also security-critical devices. A number of certification standards/guidelines now highly recommend and/or mandate the growth of assurance cases for software-intensive systems, e.g., protection (UK MoD DS-0056), aeronautics (HAT 670. FAA working confirmation advice for unmanned plane units), automotive (ISO 26262), and also medical care (FDA mixture pumps complete item lifecycle direction). Hence, there is a need to build models, approaches and also devices that target the progression of affirmation arguments for software program.The targets of the 2015 Workshop on Assurance Scenarios for Software-intensive Systems (ASSURE 2015) are to:.discover approaches for creating/assessing guarantee cases for software-intensive devices.take a look at the part of guarantee cases in the design lifecycle of crucial devices.pinpoint the dimensions of successful practice in the growth and analysis of affirmation scenarios.examine the partnership between consistency techniques and also affirmation cases as well as,.recognize vital research study difficulties and describe a roadmap for future progression.We get high-quality contributions: study, technique, tools as well as position papers on the function of affirmation situation concepts and also techniques to ensure that the trustworthiness buildings of important software-intensive devices have been fulfilled.Papers ought to seek to attend to the sessions goals typically.Subject matters.Subjects of rate of interest feature, but are certainly not restricted to:.Requirements: Field suggestions and also requirements are actually progressively demanding the development of assurance scenarios, e.g., the automobile standard ISO 26262 as well as the FDA guidance on the overall product lifecycle for mixture pumps.Certification and also Rules: The duty as well as consumption of guarantee cases in the accreditation of important units, in addition to to show conformity to requirements.Professional styles: Exactly how carry out fault-tolerant architectures and also layout procedures like variety and also partitioning connect to guarantee cases?Reliability evaluation: What are actually the connections in between stability evaluation techniques and the affirmation scenario ideal?Resources: Using the result from software program design tools (screening, official verification, code electrical generators) as documentation in guarantee cases/ making use of tools for the choices in, analysis as well as administration of assurance cases.Request of professional techniques to develop as well as evaluate arguments.Exploration of relevant procedures for assurance instances for real-time, simultaneous, and dispersed devices.Affirmation issues in arising computational standards, e.g., cloud, mobile, digital, many-core styles, and also flexible as well as autonomous bodies.Modeling and also Metamodeling: Representation of structured disagreements via metamodels, like OMG's Structured Guarantee Scenario Metamodel (SACM).Affirmation of software high quality characteristics, e.g., safety, surveillance as well as maintainability, along with stability generally, consisting of tradeoffs, as well as discovering thoughts of the quality of affirmation situations on their own.Domain-specific assurance concerns, in domains like aerospace, motor vehicle, medical care, protection and also power.Reuse as well as Modularization: Deals and also designs for improving the reuse of guarantee scenario designs.Interaction in between the Target Structuring Symbols for guarantee scenarios, and also goal-orientation from the needs engineering area.Paper entry is actually now finalized.Documents will be actually peer-reviewed by at least three members of the plan board. Accepted documents are going to be released in the SAFECOMP 2015 Workshop Process, to become posted by Springer, in the Sermon Notes in Computer Technology (LNCS) Collection. Writers of the greatest papers might be invited to send an extended variation for publication in an exclusive publication concern (tentative).All documents must be original work certainly not released, or even in submitting, in other places.All documents need to be actually provided just in PDF. Please verify that papers can be accurately published and/or checked out on screen just before providing.Documents should comply with the LNCS study formatting tips.Frequent (research study, strategy, or even position) papers may be as much as 12 web pages long featuring figures, endorsements, and also any appendices.Devices documents can be approximately 10 webpages long featuring amounts, referrals and also any type of appendices.Take note: Writers of accepted resources documents will be assumed to give a demonstration of the device( s) at the sessions, i.e., no screenshots.Provide your newspaper electronically by means of EasyChair by May 22, 2015 May 29, 2015 June 3, 2015.Keep in mind: After logging right into EasyChair, choose New Article.Then, be sure to choose the track Affirmation Instances for Software-intensive Solutions to send a paper to this sessions.
Workshop Chairs.Ewen Denney, SGT/ NASA Ames, USA.Ibrahim Habli, College of York, UK.Ganesh Pai, SGT/ NASA Ames, U.S.A..Course Committee (Login).Robin Bloomfield, Urban Area University, UK.Ju00e9ru00e9mie Guiochet, LAAS-CNRS, France.Richard Hawkins, University of York, UK.David Higham, Delphi Diesel Systems, UK.Michael Holloway, NASA Langley Proving Ground, U.S.A..Paul Jones, United State Fda, United States.Tim Kelly, College of York, UK.Yoshiki Kinoshita, Kanagawa College, Japan.John Knight, College of Virginia, United States.Andrew Rae, Griffith University, Australia.Roger Rivett, Cat Land Rover, UK.Christel Seguin, ONERA, France.Mark-Alexander Sujan, University of Warwick, UK.Kenji Taguchi, AIST, Japan.Alan Wassyng, McMaster College, Canada.Sean White, Wellness and Social Care Information Facility, UK.
Get in touch with the Organizers.If you possess inquiries about newspaper subjects, submission and/or regarding ensure 2015 in general, satisfy speak to the Sessions Organizers.