.ASSURE 2015 has successfully wrapped up.UPDATES.2015-06-24: Pippa Moore of the UK Civil Aeronautics Authority will certainly offer a welcomed principle talk!2015-06-24: The ENSURE 2015 Plan has been actually revealed. The last system is actually contingent on enrollment. If you have not already accomplished this, please sign up for ensure 2015 using SAFECOMP 2015.2015-06-15: GUARANTEE 2015 will definitely be actually hung on Tuesday, Sep. 22, 2015. The approved papers and plan will definitely be posted listed below very soon.2015-06-15: Authors of accepted papers have actually been actually advised. Ultimate, camera-ready copies and the copyright form are due on June 28, 2015 June 30, 2015.2015-06-04: Paper article target dates have actually passed. Submission is currently finalized.2015-05-28: SAFECOMP 2015 has stretched all sessions target dates, consisting of for guarantee 2015, by one more full week to June 3, 2015.2015-05-19: guarantee due dates have actually been stretched through a week to May 29, 2015.2015-03-13: The ASSURE 2015 require papers, and also the report entry rules are now available.2015-03-12: The due date to send papers to ASSURE 2015 is May 22, 2015.2015-03-05: The guarantee 2015 website is online!Introduction.ENSURE 2015, collocated this year along with SAFECOMP 2015, targets to supply a global forum for high-quality contributions on the app of assurance case guidelines and procedures to guarantee that the trustworthiness residential or commercial properties of essential, software-intensive units have been actually met.The principal objectives of the shop are actually to:.Look into techniques for the creation and also assessment of assurance situations for software-intensive bodies.Check out the role of guarantee instances in the design lifecycle of critical devices.Determine the measurement of helpful technique in the advancement and evaluation of assurance cases.Investigate the partnership between trustworthiness methods as well as guarantee scenarios.Recognize critical investigation obstacles and also specify a roadmap for potential advancement.We invite authentic, high-quality research, method, resources as well as spot documents that have certainly not been actually published/submitted elsewhere. See the complete Ask for Documents, for even more details on subjects. Also look at the submission due date, and rules.08:00-- 09:00 Enrollment.09:00-- 11:00 Treatment 1. Keynote as well as Foundations.09:00-- 09:10 Welcome and also Overview, ENSURE 2015 Organizers.09:10 -10:00 Principle Discussion: Do Our Company Definitely Wished To Begin With Listed here? Pippa Moore, UK Civil Flying Authority.10:00 -10:30 Enlightening Assurance Suit Review by means of a Professional Analysis of GSN Primary Reasoning, Victor Bandur, as well as John McDermid.10:30-- 11:00 Exemplifying Confidence in Guarantee Claim Proof, Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, as well as Insup Lee.11:00-- 11:30 Morning Coffee/Tea Break.11:30 -1:00 Treatment 2. Approach and Design.11:30-- 12:00 Safe as well as Sec Case Patterns, Kenji Taguchi, Daisuke Souma, and Hideaki Nishihara.12:00-- 12:30 A Comprehensive Safety And Security Lifecycle, John Knight, Jonathan Rowanhill, Anthony Aiello, as well as Kimberly Wasson.12:30-- 13:00 A Strategy to Assure Consistency By Means Of ArchiMate, Shuichiro Yamamoto.13:00-- 14:00 Lunch Rest.14:00-- 15:30 Session 3. Tool Assistance and Resource Demonstrations.14:00-- 14:30 Tool Help for Assurance Case Property Blocks: Offering an Assisting Hand with CAE, Kateryna Netkachova, Oleksandr Netkachov, and Robin Bloomfield.14:30-- 15:00 Safety.Lab: Model-based Domain Name Specific Tooling for Security Argumentation, Daniel Ratiu, Marc Zeller, and also Lennart Kilian.15:00-- 15:30 A Safety Condition Tracking Device, John Knight, Jonathan Rowanhill, as well as Jian Xiang.15:30-- 16:00 Afternoon Coffee/Tea Rest.16:00-- 16:45 Session 4. Uses and also Task Reviews.16:00-- 16:30 Mistake Type Improvement for Assurance of Loved Ones of Platform-Based Equipments, Sam Procter, John Hatcliff, Sandy Weininger, and Anura Fernando.16:30-- 16:37 Security and also Safety And Security Guarantee in Railroad Requirements, Kenji Taguchi.16:37-- 16:45 Towards Guarantee Arguments of Disaster Management Plannings, Shuji Kinoshita.16:45-- 18:00 Session 5. Door as well as Final thought.16:45-- 18:00 DOOR: The Duty of Argumentation in Qualification and Protection Danger Control,.John Birch, JaguarLandRover/ AVL Robin Bloomfield, Adelard and also Urban Area Educational Institution Chris Johnson, College of Glasgow Yoshiki Kinoshita, Kanagawa University andPippa Moore, UK CAA.18:00 Verdict as well as Wrap-Up, GUARANTEE 2015 Organizers.
Event.Target date.Sessions Documents Fee.June 3, 2015 Currently Closed.Notification of Approval.June 15, 2015.Camera-ready Duplicates Due.June 28, 2015 June 30, 2015.ASSURE 2015 Shop.September 22, 2015.SAFECOMP 2015.September 22-- 25, 2015.
Software application participates in a key part in risky bodies, e.g., protection-, as well as security-critical systems. Many qualification standards/guidelines now highly recommend and/or mandate the advancement of assurance situations for software-intensive units, e.g., protection (UK MoD DS-0056), air travel (CAP 670. FAA functional authorization support for unmanned aircraft devices), vehicle (ISO 26262), as well as healthcare (FDA infusion pumps complete item lifecycle assistance). Therefore, there is a need to cultivate styles, techniques as well as devices that target the growth of guarantee debates for program.The targets of the 2015 Workshop on Guarantee Cases for Software-intensive Units (GUARANTEE 2015) are actually to:.discover approaches for creating/assessing affirmation situations for software-intensive units.examine the task of guarantee cases in the design lifecycle of vital bodies.determine the sizes of effective practice in the advancement and also assessment of assurance situations.look into the connection between stability techniques and affirmation situations as well as,.identify essential research study obstacles and also define a roadmap for future progression.We get high-grade payments: research, technique, resources and also setting documents on the app of affirmation scenario guidelines and approaches to ensure that the stability properties of vital software-intensive units have been actually fulfilled.Documents should attempt to deal with the shop objectives typically.Subjects.Subjects of rate of interest include, yet are not restricted to:.Requirements: Industry standards as well as standards are significantly needing the progression of guarantee cases, e.g., the vehicle regular ISO 26262 and also the FDA support on the complete item lifecycle for infusion pumps.Qualification as well as Rules: The function and consumption of guarantee instances in the qualification of essential bodies, in addition to to show conformity to policies.Competent styles: How carry out fault-tolerant styles and style solutions like range and also partitioning connect to guarantee situations?Consistency analysis: What are actually the relationships between consistency evaluation methods as well as the assurance instance paradigm?Tools: Utilizing the result from program engineering resources (screening, official verification, code power generators) as proof in affirmation cases/ utilizing resources for the modeling, analysis and monitoring of affirmation scenarios.Treatment of professional procedures to generate and also evaluate debates.Exploration of appropriate strategies for affirmation scenarios for real-time, concurrent, and dispersed systems.Guarantee concerns in arising computational standards, e.g., cloud, mobile phone, online, many-core architectures, and also flexible and independent units.Choices in and Metamodeling: Portrayal of organized arguments by means of metamodels, such as OMG's Structured Guarantee Situation Metamodel (SACM).Guarantee of software application high quality features, e.g., protection, safety and also maintainability, in addition to consistency as a whole, featuring tradeoffs, and looking into concepts of the quality of affirmation cases themselves.Domain-specific assurance concerns, in domain names like aerospace, automobile, healthcare, self defense as well as electrical power.Reuse as well as Modularization: Arrangements as well as designs for boosting the reuse of guarantee instance constructs.Network in between the Objective Structuring Notation for guarantee scenarios, and goal-orientation coming from the requirements design community.Study submitting is currently shut.Papers is going to be actually peer-reviewed through at the very least 3 participants of the system committee. Accepted papers will certainly be actually released in the SAFECOMP 2015 Study Group Procedures, to become released by Springer, in the Sermon Notes in Computer Technology (LNCS) Series. Writers of the very best papers might be welcomed to send an extended version for publication in an unique diary problem (tentative).All documents have to be actually authentic job certainly not posted, or in entry, somewhere else.All documents ought to be sent just in PDF. Satisfy validate that papers may be dependably published and/or watched on display screen before sending.Papers must comply with the LNCS study format suggestions.Regular (analysis, practice, or even opening) papers may be up to 12 web pages long consisting of designs, references, as well as any type of appendices.Tools papers may be around 10 webpages long featuring amounts, recommendations and also any sort of appendices.Keep in mind: Writers of accepted tools documents are going to be expected to give a presentation of the device( s) at the sessions, i.e., no screenshots.Submit your paper electronically via EasyChair through May 22, 2015 May 29, 2015 June 3, 2015.Take note: After logging into EasyChair, pick New Entry.After that, be sure to choose the keep track of Affirmation Situations for Software-intensive Solutions to send a newspaper to this shop.
Sessions Chairs.Ewen Denney, SGT/ NASA Ames, United States.Ibrahim Habli, Educational Institution of York, UK.Ganesh Pai, SGT/ NASA Ames, United States.Program Board (Login).Robin Bloomfield, Area University, UK.Ju00e9ru00e9mie Guiochet, LAAS-CNRS, France.Richard Hawkins, College of York, UK.David Higham, Delphi Diesel-powered Systems, UK.Michael Holloway, NASA Langley , United States.Paul Jones, USA Fda, USA.Tim Kelly, University of York, UK.Yoshiki Kinoshita, Kanagawa University, Japan.John Knight, Educational Institution of Virginia, U.S.A..Andrew Rae, Griffith Educational Institution, Australia.Roger Rivett, Cat Land Wanderer, UK.Christel Seguin, ONERA, France.Mark-Alexander Sujan, University of Warwick, UK.Kenji Taguchi, AIST, Japan.Alan Wassyng, McMaster Educational Institution, Canada.Sean White, Wellness and Social Treatment Info Centre, UK.
Contact the Organizers.If you possess concerns about paper subject matters, submission and/or concerning guarantee 2015 as a whole, feel free to talk to the Sessions Organizers.