.ENSURE 2015 has actually effectively wrapped up.UPDATES.2015-06-24: Pippa Moore of the UK Civil Aeronautics Authority will certainly give an invited principle talk!2015-06-24: The ENSURE 2015 Program has been introduced. The ultimate system is actually dependent on sign up. If you have not actually done this, please register for guarantee 2015 by means of SAFECOMP 2015.2015-06-15: ASSURE 2015 will certainly be actually hung on Tuesday, Sep. 22, 2015. The allowed papers and also plan will be posted right here quickly.2015-06-15: Authors of allowed papers have been actually informed. Last, camera-ready copies as well as the copyright form schedule on June 28, 2015 June 30, 2015.2015-06-04: Report entry deadlines have actually passed. Submission is actually now finalized.2015-05-28: SAFECOMP 2015 has actually prolonged all shop due dates, consisting of for guarantee 2015, through one more week to June 3, 2015.2015-05-19: ASSURE deadlines have been extended by a week to May 29, 2015.2015-03-13: The ASSURE 2015 ask for papers, and also the study submitting suggestions are right now accessible.2015-03-12: The deadline to submit papers to ASSURE 2015 is actually May 22, 2015.2015-03-05: The guarantee 2015 internet site is live!Introduction.ENSURE 2015, collocated this year with SAFECOMP 2015, targets to supply a global discussion forum for top notch additions on the function of affirmation scenario concepts as well as techniques to guarantee that the consistency residential properties of important, software-intensive devices have actually been actually met.The main objectives of the shop are to:.Check out techniques for the creation as well as examination of affirmation scenarios for software-intensive bodies.Examine the job of guarantee situations in the design lifecycle of critical devices.Recognize the dimension of efficient technique in the growth as well as analysis of assurance scenarios.Check out the partnership in between trustworthiness methods and affirmation cases.Determine vital research challenges as well as define a roadmap for potential growth.Our team welcome authentic, top notch investigation, strategy, devices as well as ranking documents that have actually certainly not been actually published/submitted elsewhere. View the complete Ask for Papers, for additional particulars on subjects. Likewise look at the entry target date, and suggestions.08:00-- 09:00 Registration.09:00-- 11:00 Treatment 1. Principle and also Foundations.09:00-- 09:10 Welcome and also Introduction, GUARANTEE 2015 Organizers.09:10 -10:00 Principle Speak: Perform Our Team Actually Wished To Begin With Right here? Pippa Moore, UK Civil Aviation Authority.10:00 -10:30 Informing Affirmation Case Review by means of an Official Interpretation of GSN Core Logic, Winner Bandur, and also John McDermid.10:30-- 11:00 Exemplifying Confidence in Assurance Lawsuit Evidence, Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, and also Insup Lee.11:00-- 11:30 Morning Coffee/Tea Breather.11:30 -1:00 Treatment 2. Technique and also Patterns.11:30-- 12:00 Safe and also Sec Housing 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 Kimberly Wasson.12:30-- 13:00 An Approach to Guarantee Dependability Through ArchiMate, Shuichiro Yamamoto.13:00-- 14:00 Lunch Rest.14:00-- 15:30 Treatment 3. Resource Assistance and also Tool Demonstrations.14:00-- 14:30 Tool Assistance for Assurance Situation Property Blocks: Delivering 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, as well as Lennart Kilian.15:00-- 15:30 A Safety Condition Monitoring Device, John Knight, Jonathan Rowanhill, and Jian Xiang.15:30-- 16:00 Mid-day Coffee/Tea Rest.16:00-- 16:45 Treatment 4. Uses and also Task Summaries.16:00-- 16:30 Error Type Improvement for Assurance of Loved Ones of Platform-Based Systems, Sam Procter, John Hatcliff, Sandy Weininger, and Anura Fernando.16:30-- 16:37 Safety And Security and Security Affirmation in Railroad Specifications, Kenji Taguchi.16:37-- 16:45 Towards Affirmation Disagreements of Calamity Monitoring Plannings, Shuji Kinoshita.16:45-- 18:00 Session 5. Panel as well as Final thought.16:45-- 18:00 PANEL: The Duty of Line Of Reasoning in Accreditation and Safety Risk Administration,.John Birch, JaguarLandRover/ AVL Robin Bloomfield, Adelard and Area College Chris Johnson, Educational Institution of Glasgow Yoshiki Kinoshita, Kanagawa Educational institution andPippa Moore, UK CAA.18:00 Final thought as well as Wrap-Up, ASSURE 2015 Organizers.
Event.Deadline.Workshop Papers Charge.June 3, 2015 Now Closed.Alert of Recognition.June 15, 2015.Camera-ready Duplicates As A Result Of.June 28, 2015 June 30, 2015.ENSURE 2015 Shop.September 22, 2015.SAFECOMP 2015.September 22-- 25, 2015.
Software program participates in a vital task in high-risk bodies, e.g., safety-, as well as security-critical devices. A number of license standards/guidelines now advise and/or mandate the advancement of guarantee scenarios for software-intensive devices, e.g., defense (UK MoD DS-0056), aeronautics (LIMIT 670. FAA working authorization support for unmanned aircraft units), automotive (ISO 26262), as well as healthcare (FDA infusion pumps amount to product lifecycle guidance). Hence, there is a requirement to build versions, methods as well as tools that target the development of affirmation debates for software application.The targets of the 2015 Shop on Assurance Cases for Software-intensive Systems (GUARANTEE 2015) are actually to:.explore procedures for creating/assessing affirmation instances for software-intensive devices.review the part of affirmation instances in the design lifecycle of essential systems.identify the measurements of reliable strategy in the development and also assessment of assurance situations.check out the relationship in between trustworthiness methods and also affirmation instances as well as,.identify vital research study obstacles and also define a roadmap for potential advancement.We obtain top notch contributions: study, method, resources as well as setting documents on the application of guarantee scenario principles and also techniques to ensure that the stability residential or commercial properties of essential software-intensive bodies have been actually fulfilled.Papers needs to try to address the sessions objectives generally.Subject matters.Subject matters of passion include, but are not restricted to:.Criteria: Market guidelines and also specifications are more and more needing the progression of guarantee scenarios, e.g., the vehicle standard ISO 26262 as well as the FDA advice on the overall item lifecycle for mixture pumps.License and also Rules: The part as well as consumption of guarantee scenarios in the certification of crucial systems, in addition to to show conformity to laws.Competent designs: How do fault-tolerant designs as well as concept solutions such as variety and partitioning connect to affirmation cases?Trustworthiness evaluation: What are the connections between dependability evaluation strategies as well as the assurance scenario ideal?Tools: Utilizing the output from software engineering devices (testing, professional verification, code generators) as documentation in guarantee instances/ utilizing tools for the choices in, analysis and monitoring of affirmation instances.Application of formal procedures to develop and evaluate disagreements.Expedition of pertinent procedures for assurance instances for real-time, simultaneous, and circulated systems.Affirmation concerns in developing computational standards, e.g., cloud, mobile, online, many-core architectures, and flexible and autonomous bodies.Modeling and Metamodeling: Depiction of organized disagreements through metamodels, including OMG's Structured Affirmation Case Metamodel (SACM).Assurance of program premium characteristics, e.g., safety and security, safety and security and maintainability, in addition to consistency typically, including tradeoffs, and discovering thoughts of the quality of guarantee cases themselves.Domain-specific guarantee problems, in domains including aerospace, vehicle, medical care, self defense and power.Reuse and also Modularization: Contracts and also patterns for strengthening the reuse of guarantee scenario frameworks.Network in between the Target Structuring Notation for affirmation scenarios, as well as goal-orientation coming from the requirements design area.Report article is now closed.Papers will certainly be peer-reviewed through at least three participants of the program committee. Allowed papers will be actually released in the SAFECOMP 2015 Study Group Procedures, to become published by Springer, in the Sermon Notes in Computer Science (LNCS) Series. Authors of the very best documents may be actually welcomed to submit a presented version for magazine in a special diary issue (tentative).All papers have to be actually initial job not released, or even in entry, elsewhere.All documents ought to be actually submitted simply in PDF. Feel free to validate that papers can be accurately imprinted and/or checked out on display screen before providing.Documents should adapt the LNCS study formatting guidelines.Regular (study, method, or even position) papers could be approximately 12 pages long consisting of figures, referrals, and also any appendices.Devices documents can be as much as 10 pages long including figures, endorsements and any appendices.Keep in mind: Writers of taken devices papers will be anticipated to offer an exhibition of the tool( s) at the sessions, i.e., no screenshots.Submit your newspaper electronically through EasyChair by May 22, 2015 May 29, 2015 June 3, 2015.Keep in mind: After logging right into EasyChair, select New Entry.After that, be sure to pick the track Affirmation Situations for Software-intensive Systems to send a paper to this shop.
Workshop Chairs.Ewen Denney, SGT/ NASA Ames, United States.Ibrahim Habli, Educational Institution of York, UK.Ganesh Pai, SGT/ NASA Ames, U.S.A..Program Committee (Login).Robin Bloomfield, Area University, UK.Ju00e9ru00e9mie Guiochet, LAAS-CNRS, France.Richard Hawkins, Educational Institution of York, UK.David Higham, Delphi Diesel-powered Equipments, UK.Michael Holloway, NASA Langley Proving Ground, U.S.A..Paul Jones, USA Fda, U.S.A..Tim Kelly, University of York, UK.Yoshiki Kinoshita, Kanagawa Educational Institution, Japan.John Knight, College of Virginia, U.S.A..Andrew Rae, Griffith University, Australia.Roger Rivett, Cat Property Vagabond, UK.Christel Seguin, ONERA, France.Mark-Alexander Sujan, College of Warwick, UK.Kenji Taguchi, AIST, Asia.Alan Wassyng, McMaster Educational Institution, Canada.Sean White, Health as well as Social Care Details Centre, UK.
Contact the Organizers.If you possess questions concerning paper subject matters, article and/or regarding ASSURE 2015 in general, feel free to call the Shop Organizers.