.ENSURE 2015 has successfully wrapped up.UPDATES.2015-06-24: Pippa Moore of the UK Civil Flying Authority will offer a welcomed principle talk!2015-06-24: The ASSURE 2015 Program has been introduced. The last course is contingent on registration. If you haven't already done this, please register for ensure 2015 using SAFECOMP 2015.2015-06-15: GUARANTEE 2015 are going to be actually held on Tuesday, Sep. 22, 2015. The allowed documents and also system will definitely be posted listed here soon.2015-06-15: Authors of allowed papers have been actually notified. Ultimate, camera-ready duplicates as well as the copyright kind schedule on June 28, 2015 June 30, 2015.2015-06-04: Paper submission deadlines have passed. Entry is actually right now finalized.2015-05-28: SAFECOMP 2015 has actually extended all sessions due dates, consisting of for ASSURE 2015, through one more full week to June 3, 2015.2015-05-19: guarantee target dates have been actually prolonged through a full week to May 29, 2015.2015-03-13: The ASSURE 2015 require documents, and the paper submission suggestions are actually today accessible.2015-03-12: The deadline to provide documents to ASSURE 2015 is May 22, 2015.2015-03-05: The ASSURE 2015 web site is actually live!Overview.ENSURE 2015, collocated this year along with SAFECOMP 2015, targets to supply a worldwide online forum for premium payments on the function of guarantee situation concepts and also methods to guarantee that the stability residential or commercial properties of critical, software-intensive bodies have been complied with.The primary objectives of the workshop are to:.Explore techniques for the creation and examination of assurance situations for software-intensive systems.Take a look at the job of assurance cases in the engineering lifecycle of vital units.Identify the size of effective practice in the development and also analysis of guarantee instances.Check out the connection between stability techniques as well as affirmation cases.Pinpoint critical investigation problems and define a roadmap for future development.We invite initial, top quality research, practice, devices as well as ranking papers that have actually certainly not been published/submitted in other places. See the total Require Papers, for even more details on subjects. Likewise watch the submitting due date, and also suggestions.08:00-- 09:00 Sign up.09:00-- 11:00 Session 1. Keynote and also Foundations.09:00-- 09:10 Welcome as well as Intro, GUARANTEE 2015 Organizers.09:10 -10:00 Principle Talk: Do Our Company Truly Want To Begin With Below? Pippa Moore, UK Civil Air Travel Authorization.10:00 -10:30 Enlightening Affirmation Lawsuit Assessment by means of a Professional Interpretation of GSN Center Logic, Winner Bandur, as well as John McDermid.10:30-- 11:00 Representing Confidence in Affirmation Lawsuit Evidence, Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, and also Insup Lee.11:00-- 11:30 Morning Coffee/Tea Rest.11:30 -1:00 Session 2. Process and Patterns.11:30-- 12:00 Safe and Sec Holder Patterns, Kenji Taguchi, Daisuke Souma, as well as Hideaki Nishihara.12:00-- 12:30 A Comprehensive Security Lifecycle, John Knight, Jonathan Rowanhill, Anthony Aiello, and also Kimberly Wasson.12:30-- 13:00 A Method to Assure Consistency By Means Of ArchiMate, Shuichiro Yamamoto.13:00-- 14:00 Lunch time Rest.14:00-- 15:30 Session 3. Resource Help and also Tool Demos.14:00-- 14:30 Tool Help for Guarantee Scenario Structure Blocks: Giving a Helping Hand with CAE, Kateryna Netkachova, Oleksandr Netkachov, and also Robin Bloomfield.14:30-- 15:00 Safety.Lab: Model-based Domain Name Specific Tooling for Security Argumentation, Daniel Ratiu, Marc Zeller, as well as Lennart Kilian.15:00-- 15:30 A Safety Situation Monitoring Device, John Knight, Jonathan Rowanhill, and Jian Xiang.15:30-- 16:00 Afternoon Coffee/Tea Rest.16:00-- 16:45 Session 4. Treatments as well as Job Overviews.16:00-- 16:30 Mistake Style Improvement for Assurance of Loved Ones of Platform-Based Systems, Sam Procter, John Hatcliff, Sandy Weininger, as well as Anura Fernando.16:30-- 16:37 Safety as well as Security Guarantee in Railway Standards, Kenji Taguchi.16:37-- 16:45 Towards Assurance Arguments of Catastrophe Management Programs, Shuji Kinoshita.16:45-- 18:00 Session 5. Board and also Conclusion.16:45-- 18:00 BOARD: The Function of Line Of Reasoning in Qualification and also Safety And Security Danger Monitoring,.John Birch, JaguarLandRover/ AVL Robin Bloomfield, Adelard as well as City University Chris Johnson, University of Glasgow Yoshiki Kinoshita, Kanagawa Educational institution andPippa Moore, UK CAA.18:00 Verdict as well as Wrap-Up, ENSURE 2015 Organizers.
Celebration.Target date.Shop Documents Charge.June 3, 2015 Right now Closed.Alert of Approval.June 15, 2015.Camera-ready Copies As A Result Of.June 28, 2015 June 30, 2015.GUARANTEE 2015 Sessions.September 22, 2015.SAFECOMP 2015.September 22-- 25, 2015.
Software application participates in a key duty in high-risk systems, e.g., protection-, as well as security-critical devices. A number of certification standards/guidelines now encourage and/or mandate the development of guarantee instances for software-intensive units, e.g., defense (UK MoD DS-0056), flying (LIMIT 670. FAA working approval support for unmanned aircraft bodies), auto (ISO 26262), and health care (FDA infusion pumps tot item lifecycle direction). As such, there is actually a necessity to create styles, methods as well as devices that target the growth of guarantee disagreements for software application.The goals of the 2015 Sessions on Affirmation Cases for Software-intensive Systems (ENSURE 2015) are actually to:.look into strategies for creating/assessing assurance situations for software-intensive systems.examine the job of affirmation situations in the design lifecycle of crucial systems.pinpoint the dimensions of successful technique in the progression and analysis of guarantee cases.examine the relationship in between dependability techniques and also guarantee instances and also,.pinpoint critical investigation problems and also define a roadmap for future progression.Our team solicit high-grade contributions: investigation, technique, tools and placement documents on the application of guarantee instance guidelines and also methods to assure that the reliability properties of critical software-intensive systems have actually been complied with.Documents ought to try to take care of the shop objectives typically.Subjects.Subject matters of passion include, however are certainly not limited to:.Criteria: Sector rules and criteria are increasingly demanding the growth of affirmation situations, e.g., the vehicle basic ISO 26262 and also the FDA guidance on the complete product lifecycle for mixture pumps.Qualification and Laws: The job and consumption of affirmation instances in the accreditation of critical units, in addition to to show conformity to guidelines.Professional designs: Exactly how carry out fault-tolerant architectures and style procedures such as range and also partitioning connect to guarantee cases?Consistency evaluation: What are actually the connections in between dependability analysis methods and the affirmation case standard?Devices: Utilizing the result coming from software application design resources (screening, formal verification, code electrical generators) as documentation in guarantee scenarios/ utilizing tools for the choices in, evaluation and control of affirmation scenarios.Application of professional strategies to develop as well as analyze arguments.Expedition of relevant techniques for affirmation situations for real-time, simultaneous, as well as circulated bodies.Assurance issues in surfacing computational paradigms, e.g., cloud, mobile phone, virtual, many-core styles, as well as flexible as well as self-governing systems.Modeling and also Metamodeling: Representation of organized arguments via metamodels, such as OMG's Structured Affirmation Situation Metamodel (SACM).Guarantee of program top quality characteristics, e.g., protection, surveillance and maintainability, along with consistency typically, consisting of tradeoffs, and also exploring ideas of the premium of assurance situations on their own.Domain-specific affirmation problems, in domain names like aerospace, motor vehicle, health care, self defense as well as electrical power.Reuse as well as Modularization: Arrangements and also designs for improving the reuse of affirmation scenario frameworks.Connections in between the Objective Structuring Symbols for affirmation situations, as well as goal-orientation coming from the demands design area.Study article is currently shut.Documents will be peer-reviewed by at the very least 3 participants of the course committee. Allowed papers will definitely be actually posted in the SAFECOMP 2015 Workshop Process, to become published by Springer, in the Lecture Commentary in Information Technology (LNCS) Collection. Writers of the greatest papers may be actually welcomed to submit a presented version for publication in a special publication concern (tentative).All papers should be original work certainly not published, or in article, in other places.All documents need to be provided merely in PDF. Satisfy confirm that papers could be dependably published and/or looked at on screen just before submitting.Papers ought to satisfy the LNCS report format standards.Regular (investigation, practice, or position) papers could be as much as 12 web pages long consisting of figures, referrals, and also any appendices.Tools papers could be around 10 webpages long consisting of amounts, recommendations and any appendices.Note: Authors of accepted resources papers will be actually expected to give a demonstration of the device( s) at the shop, i.e., no screenshots.Provide your paper digitally via EasyChair through May 22, 2015 May 29, 2015 June 3, 2015.Keep in mind: After logging in to EasyChair, pick New Submission.Then, ensure to pick the keep track of Guarantee Situations for Software-intensive Equipments to send a newspaper to this sessions.
Shop Chairs.Ewen Denney, SGT/ NASA Ames, U.S.A..Ibrahim Habli, Educational Institution of York, UK.Ganesh Pai, SGT/ NASA Ames, United States.Plan Board (Login).Robin Bloomfield, Urban Area Educational Institution, UK.Ju00e9ru00e9mie Guiochet, LAAS-CNRS, France.Richard Hawkins, University of York, UK.David Higham, Delphi Diesel Equipments, UK.Michael Holloway, NASA Langley Research Center, U.S.A..Paul Jones, United State Fda, USA.Tim Kelly, University of York, UK.Yoshiki Kinoshita, Kanagawa University, Asia.John Knight, College of Virginia, USA.Andrew Rae, Griffith University, Australia.Roger Rivett, Jaguar Property Wanderer, UK.Christel Seguin, ONERA, France.Mark-Alexander Sujan, Educational Institution of Warwick, UK.Kenji Taguchi, AIST, Japan.Alan Wassyng, McMaster Educational Institution, Canada.Sean White, Health And Wellness as well as Social Treatment Info Facility, UK.
Call the Organizers.If you possess questions concerning paper topics, article and/or concerning ASSURE 2015 generally, please get in touch with the Sessions Organizers.