.ENSURE 2015 has actually efficiently wrapped up.UPDATES.2015-06-24: Pippa Moore of the UK Civil Air Travel Authority will definitely provide a welcomed keynote talk!2015-06-24: The GUARANTEE 2015 Plan has been declared. The last plan is actually contingent on registration. If you haven't presently done so, please sign up for guarantee 2015 using SAFECOMP 2015.2015-06-15: ASSURE 2015 will certainly be hung on Tuesday, Sep. 22, 2015. The approved papers and also system will be posted listed below quickly.2015-06-15: Writers of allowed papers have actually been informed. Last, camera-ready duplicates and also the copyright form are due on June 28, 2015 June 30, 2015.2015-06-04: Paper submitting deadlines have actually passed. Article is now closed.2015-05-28: SAFECOMP 2015 has actually prolonged all workshop target dates, consisting of for guarantee 2015, through an additional week to June 3, 2015.2015-05-19: ASSURE due dates have been expanded by a week to May 29, 2015.2015-03-13: The ASSURE 2015 call for papers, and the report entry rules are actually today available.2015-03-12: The due date to submit documents to guarantee 2015 is actually May 22, 2015.2015-03-05: The guarantee 2015 site is actually real-time!Overview.ENSURE 2015, collocated this year with SAFECOMP 2015, targets to provide a global forum for top notch contributions on the application of assurance instance guidelines and techniques to guarantee that the reliability residential or commercial properties of essential, software-intensive units have actually been actually met.The principal objectives of the shop are actually to:.Look into procedures for the production as well as examination of guarantee scenarios for software-intensive bodies.Review the task of assurance scenarios in the engineering lifecycle of essential bodies.Determine the dimension of reliable practice in the advancement and also assessment of affirmation cases.Investigate the relationship in between dependability approaches as well as affirmation cases.Identify important research obstacles and also describe a roadmap for future progression.Our experts welcome authentic, top quality research, strategy, devices as well as spot documents that have actually not been published/submitted elsewhere. Find the full Require Papers, for more information on subjects. Likewise view the submission target date, and also rules.08:00-- 09:00 Registration.09:00-- 11:00 Session 1. Principle and Foundations.09:00-- 09:10 Welcome and Introduction, ENSURE 2015 Organizers.09:10 -10:00 Principle Discussion: Do Our Team Definitely Would Like To Start From Here? Pippa Moore, UK Civil Aviation Authorization.10:00 -10:30 Informing Guarantee Lawsuit Assessment with an Official Analysis of GSN Core Logic, Victor Bandur, and John McDermid.10:30-- 11:00 Exemplifying Confidence in Assurance Claim Documentation, Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, and Insup Lee.11:00-- 11:30 Morning Coffee/Tea Rest.11:30 -1:00 Session 2. Technique and Patterns.11:30-- 12:00 Safe and also Sec Casing Design, Kenji Taguchi, Daisuke Souma, and also Hideaki Nishihara.12:00-- 12:30 A Comprehensive Protection Lifecycle, John Knight, Jonathan Rowanhill, Anthony Aiello, and Kimberly Wasson.12:30-- 13:00 An Approach to Assure Dependability With ArchiMate, Shuichiro Yamamoto.13:00-- 14:00 Lunch Breather.14:00-- 15:30 Treatment 3. Resource Help as well as Device Presentations.14:00-- 14:30 Device Help for Affirmation Situation Structure Blocks: Providing an Aiding Hand along with CAE, Kateryna Netkachova, Oleksandr Netkachov, and also Robin Bloomfield.14:30-- 15:00 Safety.Lab: Model-based Domain Certain Tooling for Safety Line Of Reasoning, Daniel Ratiu, Marc Zeller, and also Lennart Kilian.15:00-- 15:30 A Safety Circumstances Tracking System, John Knight, Jonathan Rowanhill, and Jian Xiang.15:30-- 16:00 Afternoon Coffee/Tea Breather.16:00-- 16:45 Treatment 4. Treatments and also Venture Summaries.16:00-- 16:30 Error Kind Refinement for Affirmation of Loved Ones of Platform-Based Equipments, Sam Procter, John Hatcliff, Sandy Weininger, and also Anura Fernando.16:30-- 16:37 Security as well as Security Guarantee in Railway Criteria, Kenji Taguchi.16:37-- 16:45 Towards Affirmation Debates of Disaster Administration Plans, Shuji Kinoshita.16:45-- 18:00 Treatment 5. Panel and also Conclusion.16:45-- 18:00 BOARD: The Task of Argumentation in License and also Safety And Security Danger Monitoring,.John Birch, JaguarLandRover/ AVL Robin Bloomfield, Adelard as well as City University Chris Johnson, Educational Institution of Glasgow Yoshiki Kinoshita, Kanagawa Educational institution andPippa Moore, UK CAA.18:00 Conclusion as well as Wrap-Up, ASSURE 2015 Organizers.
Celebration.Deadline.Workshop Documents Fee.June 3, 2015 Now Closed.Notification of Approval.June 15, 2015.Camera-ready Copies Due.June 28, 2015 June 30, 2015.ASSURE 2015 Workshop.September 22, 2015.SAFECOMP 2015.September 22-- 25, 2015.
Software application participates in a key part in risky devices, e.g., security-, and also security-critical bodies. A number of qualification standards/guidelines currently highly recommend and/or mandate the development of guarantee instances for software-intensive systems, e.g., defense (UK MoD DS-0056), aeronautics (HAT 670. FAA functional permission direction for unmanned aircraft devices), auto (ISO 26262), and healthcare (FDA infusion pumps complete product lifecycle guidance). Hence, there is actually a necessity to cultivate styles, techniques and also resources that target the growth of guarantee disagreements for software.The goals of the 2015 Sessions on Affirmation Cases for Software-intensive Systems (ASSURE 2015) are to:.look into strategies for creating/assessing guarantee instances for software-intensive bodies.analyze the part of guarantee scenarios in the engineering lifecycle of important systems.determine the sizes of efficient practice in the growth and examination of guarantee instances.investigate the connection in between stability approaches as well as affirmation cases as well as,.pinpoint important investigation difficulties and specify a roadmap for future development.Our team solicit high quality payments: investigation, practice, devices and position documents on the app of affirmation scenario guidelines and methods to assure that the stability residential properties of important software-intensive devices have been satisfied.Papers needs to attempt to resolve the shop targets as a whole.Subject matters.Subject matters of interest consist of, however are certainly not confined to:.Criteria: Business suggestions as well as requirements are increasingly needing the progression of assurance cases, e.g., the auto basic ISO 26262 and the FDA assistance on the total item lifecycle for infusion pumps.Accreditation and Legislations: The duty as well as usage of assurance scenarios in the qualification of essential bodies, as well as to present observance to regulations.Reliable architectures: Exactly how perform fault-tolerant designs and also concept actions such as diversity as well as dividing associate with assurance cases?Dependability evaluation: What are the partnerships in between stability evaluation strategies and the guarantee case paradigm?Devices: Making use of the result from software engineering devices (screening, professional confirmation, code generators) as evidence in guarantee situations/ using devices for the choices in, evaluation and management of guarantee cases.Request of formal strategies to make and also evaluate arguments.Exploration of appropriate strategies for assurance cases for real-time, concurrent, as well as distributed bodies.Affirmation issues in developing computational paradigms, e.g., cloud, mobile, online, many-core architectures, and also adaptive and also autonomous bodies.Modeling and also Metamodeling: Representation of organized disagreements through metamodels, such as OMG's Structured Assurance Scenario Metamodel (SACM).Assurance of software premium attributes, e.g., security, surveillance as well as maintainability, and also trustworthiness in general, including tradeoffs, and also exploring ideas of the premium of affirmation scenarios on their own.Domain-specific affirmation concerns, in domains such as aerospace, vehicle, medical care, protection as well as power.Reuse and Modularization: Contracts and designs for enhancing the reuse of guarantee situation frameworks.Interaction in between the Target Structuring Notation for assurance instances, and also goal-orientation coming from the needs design community.Study article is actually currently shut.Papers is going to be peer-reviewed by a minimum of three participants of the course committee. Allowed documents will definitely be published in the SAFECOMP 2015 Seminar Proceedings, to be published through Springer, in the Sermon Commentary in Information Technology (LNCS) Collection. Writers of the best papers might be actually invited to send an extended version for publication in an exclusive journal issue (tentative).All papers have to be original job not posted, or in entry, elsewhere.All papers should be actually provided only in PDF. Feel free to confirm that papers can be accurately printed and/or viewed on display screen before sending.Documents needs to adapt the LNCS paper formatting suggestions.Routine (study, practice, or even job) papers could be around 12 web pages long featuring designs, references, and also any kind of appendices.Tools documents can be around 10 pages long including bodies, recommendations and any kind of appendices.Take note: Writers of allowed devices documents will be actually assumed to offer an exhibition of the device( s) at the sessions, i.e., no screenshots.Submit your newspaper online using EasyChair through May 22, 2015 May 29, 2015 June 3, 2015.Take note: After logging into EasyChair, pick New Submission.At that point, ensure to choose the keep track of Guarantee Cases for Software-intensive Solutions to provide a newspaper to this shop.
Shop Chairs.Ewen Denney, SGT/ NASA Ames, USA.Ibrahim Habli, University of York, UK.Ganesh Pai, SGT/ NASA Ames, U.S.A..Course Committee (Login).Robin Bloomfield, Area Educational Institution, UK.Ju00e9ru00e9mie Guiochet, LAAS-CNRS, France.Richard Hawkins, University of York, UK.David Higham, Delphi Diesel-powered Units, UK.Michael Holloway, NASA Langley Research Center, U.S.A..Paul Jones, USA Fda, USA.Tim Kelly, University of York, UK.Yoshiki Kinoshita, Kanagawa Educational Institution, Japan.John Knight, University 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 University, Canada.Sean White, Health as well as Social Care Relevant Information Center, UK.
Connect with the Organizers.If you have inquiries concerning paper topics, entry and/or concerning ensure 2015 typically, satisfy talk to the Workshop Organizers.