.ENSURE 2015 has effectively concluded.UPDATES.2015-06-24: Pippa Moore of the UK Civil Air Travel Authorization will provide a welcomed keynote talk!2015-06-24: The GUARANTEE 2015 System has been actually announced. The final course is dependent on registration. If you haven't actually done so, desire sign up for guarantee 2015 through SAFECOMP 2015.2015-06-15: PROMISE 2015 will definitely be actually held on Tuesday, Sep. 22, 2015. The approved documents and also course are going to be posted below soon.2015-06-15: Writers of accepted documents have been advised. Last, camera-ready duplicates and the copyright kind schedule on June 28, 2015 June 30, 2015.2015-06-04: Report article deadlines have actually passed. Submission is actually currently closed.2015-05-28: SAFECOMP 2015 has actually extended all shop target dates, featuring for ASSURE 2015, through one more week to June 3, 2015.2015-05-19: ASSURE deadlines have actually been prolonged through a week to May 29, 2015.2015-03-13: The ASSURE 2015 ask for documents, and also the study submitting rules are now readily available.2015-03-12: The due date to submit papers to guarantee 2015 is actually May 22, 2015.2015-03-05: The ASSURE 2015 web site is actually online!Intro.ENSURE 2015, collocated this year along with SAFECOMP 2015, aims to supply a worldwide online forum for high-quality contributions on the application of affirmation scenario concepts and also techniques to ensure that the consistency properties of important, software-intensive bodies have been actually satisfied.The primary targets of the workshop are actually to:.Explore strategies for the production and also evaluation of affirmation cases for software-intensive bodies.Take a look at the function of assurance cases in the engineering lifecycle of crucial systems.Identify the size of effective method in the advancement and analysis of guarantee cases.Explore the connection in between dependability procedures and also affirmation cases.Pinpoint essential investigation difficulties and define a roadmap for future development.We invite original, high-quality research, technique, devices and also spot papers that have certainly not been published/submitted somewhere else. See the total Ask for Papers, for additional information on subjects. Additionally see the entry deadline, and also suggestions.08:00-- 09:00 Sign up.09:00-- 11:00 Treatment 1. Principle and also Foundations.09:00-- 09:10 Welcome as well as Intro, ASSURE 2015 Organizers.09:10 -10:00 Principle Discussion: Perform We Actually Would Like To Begin With Listed below? Pippa Moore, UK Civil Flying Authority.10:00 -10:30 Informing Affirmation Claim Review with a Professional Interpretation of GSN Center Reasoning, Winner Bandur, and John McDermid.10:30-- 11:00 Representing Self-confidence in Guarantee Suit Documentation, Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, as well as Insup Lee.11:00-- 11:30 Morning Coffee/Tea Breather.11:30 -1:00 Session 2. Methodology and also Patterns.11:30-- 12:00 Safe and Sec Casing Patterns, Kenji Taguchi, Daisuke Souma, and Hideaki Nishihara.12:00-- 12:30 A Comprehensive Security Lifecycle, John Knight, Jonathan Rowanhill, Anthony Aiello, as well as Kimberly Wasson.12:30-- 13:00 A Strategy to Guarantee Reliability Via ArchiMate, Shuichiro Yamamoto.13:00-- 14:00 Lunch time Rest.14:00-- 15:30 Session 3. Tool Assistance and Resource Exhibitions.14:00-- 14:30 Tool Support for Guarantee Situation Structure Blocks: Giving an Assisting Hand with CAE, Kateryna Netkachova, Oleksandr Netkachov, as well as Robin Bloomfield.14:30-- 15:00 Safety.Lab: Model-based Domain Name Particular Tooling for Safety Argumentation, Daniel Ratiu, Marc Zeller, and Lennart Kilian.15:00-- 15:30 A Security Condition Monitoring Unit, John Knight, Jonathan Rowanhill, and Jian Xiang.15:30-- 16:00 Afternoon Coffee/Tea Rest.16:00-- 16:45 Treatment 4. Treatments and Venture Overviews.16:00-- 16:30 Negligence Kind Refinement for Guarantee of Loved Ones of Platform-Based Equipments, Sam Procter, John Hatcliff, Sandy Weininger, and Anura Fernando.16:30-- 16:37 Protection as well as Safety And Security Guarantee in Train Criteria, Kenji Taguchi.16:37-- 16:45 Towards Assurance Debates of Catastrophe Control Programs, Shuji Kinoshita.16:45-- 18:00 Treatment 5. Panel and Conclusion.16:45-- 18:00 DOOR: The Job of Line Of Reasoning in License and Protection Danger Management,.John Birch, JaguarLandRover/ AVL Robin Bloomfield, Adelard and Urban Area University 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.Workshop Papers Charge.June 3, 2015 Now Closed.Notice of Recognition.June 15, 2015.Camera-ready Duplicates As A Result Of.June 28, 2015 June 30, 2015.GUARANTEE 2015 Shop.September 22, 2015.SAFECOMP 2015.September 22-- 25, 2015.
Software program plays a crucial job in high-risk bodies, e.g., security-, and security-critical systems. Numerous license standards/guidelines currently highly recommend and/or mandate the progression of assurance instances for software-intensive devices, e.g., self defense (UK MoD DS-0056), air travel (CAP 670. FAA functional permission guidance for unmanned aircraft bodies), auto (ISO 26262), and also healthcare (FDA mixture pumps amount to item lifecycle guidance). Because of this, there is a need to cultivate versions, methods as well as tools that target the growth of assurance arguments for software application.The objectives of the 2015 Sessions on Assurance Instances for Software-intensive Equipments (ENSURE 2015) are actually to:.discover methods for creating/assessing affirmation scenarios for software-intensive bodies.check out the function of assurance cases in the engineering lifecycle of essential systems.determine the measurements of reliable practice in the development as well as assessment of affirmation situations.examine the partnership between trustworthiness methods as well as guarantee scenarios and,.identify crucial investigation difficulties and specify a roadmap for future development.Our team request high-quality additions: investigation, technique, devices and also placement documents on the function of assurance scenario guidelines and procedures to assure that the trustworthiness properties of crucial software-intensive devices have actually been actually fulfilled.Documents needs to seek to attend to the shop targets in general.Subject matters.Subjects of passion feature, but are not limited to:.Standards: Sector rules as well as criteria are significantly requiring the development of affirmation scenarios, e.g., the motor vehicle typical ISO 26262 and the FDA advice on the total product lifecycle for mixture pumps.Certification and also Legislations: The job and also utilization of guarantee cases in the license of critical devices, in addition to to present compliance to rules.Reputable styles: Exactly how carry out fault-tolerant architectures and concept measures like diversity as well as dividing associate with assurance situations?Consistency analysis: What are the connections in between dependability evaluation techniques and the affirmation situation paradigm?Devices: Using the result from program design resources (testing, formal proof, code power generators) as documentation in assurance cases/ utilizing tools for the modeling, analysis as well as control of affirmation cases.Application of official procedures to create and also evaluate arguments.Exploration of applicable approaches for guarantee instances for real-time, concurrent, and also distributed units.Guarantee concerns in arising computational ideals, e.g., cloud, mobile phone, online, many-core architectures, as well as flexible as well as self-governing units.Choices in and also Metamodeling: Portrayal of structured arguments by means of metamodels, including OMG's Structured Assurance Situation Metamodel (SACM).Guarantee of software application quality characteristics, e.g., security, protection and also maintainability, and also dependability as a whole, consisting of tradeoffs, and also checking out ideas of the top quality of assurance instances themselves.Domain-specific assurance issues, in domain names including aerospace, automotive, medical care, protection as well as electrical power.Reuse and also Modularization: Arrangements and patterns for boosting the reuse of affirmation scenario constructs.Connections in between the Goal Structuring Notation for affirmation scenarios, and goal-orientation coming from the needs design neighborhood.Study article is actually now closed.Documents will be actually peer-reviewed by a minimum of three members of the plan committee. Accepted documents are going to be actually published in the SAFECOMP 2015 Seminar Process, to be posted by Springer, in the Sermon Notes in Computer Technology (LNCS) Series. Writers of the most effective documents may be actually welcomed to send a presented variation for magazine in an exclusive journal issue (tentative).All documents should be actually authentic job not released, or in submission, elsewhere.All documents ought to be actually sent just in PDF. Satisfy confirm that documents may be accurately published and/or watched on display before providing.Papers needs to satisfy the LNCS report format suggestions.Normal (study, strategy, or even role) papers can be up to 12 webpages long featuring figures, recommendations, and any sort of appendices.Devices documents may be around 10 web pages long featuring numbers, referrals and any type of appendices.Keep in mind: Writers of taken resources papers are going to be anticipated to give an exhibition of the resource( s) at the sessions, i.e., no screenshots.Send your paper electronically via EasyChair by May 22, 2015 May 29, 2015 June 3, 2015.Keep in mind: After logging right into EasyChair, pick New Submission.Then, be sure to decide on the keep track of Assurance Instances for Software-intensive Equipments to send a newspaper to this sessions.
Sessions Chairs.Ewen Denney, SGT/ NASA Ames, United States.Ibrahim Habli, University of York, UK.Ganesh Pai, SGT/ NASA Ames, USA.Plan Board (Login).Robin Bloomfield, City College, UK.Ju00e9ru00e9mie Guiochet, LAAS-CNRS, France.Richard Hawkins, College of York, UK.David Higham, Delphi Diesel-powered Solutions, UK.Michael Holloway, NASA Langley Research Center, United States.Paul Jones, USA Fda, United States.Tim Kelly, University of York, UK.Yoshiki Kinoshita, Kanagawa University, Japan.John Knight, University of Virginia, U.S.A..Andrew Rae, Griffith Educational Institution, Australia.Roger Rivett, Jaguar Property 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 Treatment Details Centre, UK.
Get in touch with the Organizers.If you have questions about newspaper topics, entry and/or concerning ensure 2015 as a whole, feel free to speak to the Sessions Organizers.