.ENSURE 2015 has successfully concluded.UPDATES.2015-06-24: Pippa Moore of the UK Civil Air Travel Authority will provide a welcomed keynote talk!2015-06-24: The GUARANTEE 2015 System has actually been actually introduced. The ultimate system is actually dependent on enrollment. If you have not presently done this, desire sign up for ensure 2015 via SAFECOMP 2015.2015-06-15: ASSURE 2015 will be actually hung on Tuesday, Sep. 22, 2015. The taken papers as well as program will be reported right here quickly.2015-06-15: Writers of accepted documents have been notified. Ultimate, camera-ready copies as well as the copyright type are due on June 28, 2015 June 30, 2015.2015-06-04: Report entry deadlines have actually passed. Submitting is actually now closed.2015-05-28: SAFECOMP 2015 has stretched all shop deadlines, including for ASSURE 2015, by one more full week to June 3, 2015.2015-05-19: ASSURE deadlines have actually been actually extended through a week to May 29, 2015.2015-03-13: The ASSURE 2015 require documents, and also the paper entry rules are actually now offered.2015-03-12: The due date to submit documents to guarantee 2015 is May 22, 2015.2015-03-05: The ASSURE 2015 website is actually live!Overview.ASSURE 2015, collocated this year along with SAFECOMP 2015, targets to provide a worldwide online forum for top notch additions on the app of assurance instance guidelines and methods to guarantee that the reliability homes of vital, software-intensive bodies have actually been complied with.The main objectives of the sessions are actually to:.Explore methods for the creation and also analysis of guarantee instances for software-intensive devices.Take a look at the function of assurance situations in the engineering lifecycle of vital bodies.Pinpoint the size of helpful method in the advancement as well as assessment of affirmation instances.Examine the connection in between dependability strategies and also assurance cases.Determine vital research challenges and specify a roadmap for future progression.We invite initial, high-quality analysis, strategy, tools and also position documents that have actually not been actually published/submitted in other places. See the complete Call for Papers, for more particulars on topics. Also view the entry target date, and also rules.08:00-- 09:00 Registration.09:00-- 11:00 Session 1. Keynote as well as Foundations.09:00-- 09:10 Welcome and Introduction, ASSURE 2015 Organizers.09:10 -10:00 Principle Talk: Perform Our Team Actually Wished To Begin With Here? Pippa Moore, UK Civil Flying Authority.10:00 -10:30 Enlightening Affirmation Case Evaluation through an Official Interpretation of GSN Center Reasoning, Victor Bandur, as well as John McDermid.10:30-- 11:00 Exemplifying Self-confidence in Affirmation Case Documentation, Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, and also Insup Lee.11:00-- 11:30 Early Morning Coffee/Tea Break.11:30 -1:00 Treatment 2. Approach as well as Design.11:30-- 12:00 Safe and Sec Holder Design, Kenji Taguchi, Daisuke Souma, as well as 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 Technique to Ensure Trustworthiness Through ArchiMate, Shuichiro Yamamoto.13:00-- 14:00 Lunch time Break.14:00-- 15:30 Treatment 3. Tool Support and also Device Presentations.14:00-- 14:30 Device Help for Guarantee Instance Property Blocks: Providing an Aiding Hand with CAE, Kateryna Netkachova, Oleksandr Netkachov, as well as Robin Bloomfield.14:30-- 15:00 Safety.Lab: Model-based Domain Details Tooling for Security Line Of Reasoning, Daniel Ratiu, Marc Zeller, as well as Lennart Kilian.15:00-- 15:30 A Safety Situation Tracking Body, John Knight, Jonathan Rowanhill, and also Jian Xiang.15:30-- 16:00 Mid-day Coffee/Tea Breather.16:00-- 16:45 Treatment 4. Applications and Project Summaries.16:00-- 16:30 Error Type Refinement for Assurance of Family Members of Platform-Based Solutions, Sam Procter, John Hatcliff, Sandy Weininger, as well as Anura Fernando.16:30-- 16:37 Protection as well as Safety And Security Assurance in Train Criteria, Kenji Taguchi.16:37-- 16:45 In The Direction Of Assurance Arguments of Catastrophe Administration Programs, Shuji Kinoshita.16:45-- 18:00 Session 5. Door and also Verdict.16:45-- 18:00 DOOR: The Duty of Argumentation in License as well as Safety And Security Danger Monitoring,.John Birch, JaguarLandRover/ AVL Robin Bloomfield, Adelard and City College Chris Johnson, Educational Institution of Glasgow Yoshiki Kinoshita, Kanagawa University andPippa Moore, UK CAA.18:00 Final thought and Wrap-Up, ASSURE 2015 Organizers.
Event.Due date.Shop Papers Charge.June 3, 2015 Now Closed.Alert 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 plays a crucial role in risky bodies, e.g., safety-, as well as security-critical devices. A number of license standards/guidelines now advise and/or mandate the advancement of affirmation cases for software-intensive devices, e.g., protection (UK MoD DS-0056), flying (CAP 670. FAA operational permission guidance for unmanned airplane systems), vehicle (ISO 26262), and also healthcare (FDA infusion pumps amount to item lifecycle guidance). As such, there is a necessity to establish designs, techniques and also devices that target the development of guarantee debates for software program.The objectives of the 2015 Workshop on Assurance Cases for Software-intensive Systems (GUARANTEE 2015) are actually to:.check out techniques for creating/assessing affirmation scenarios for software-intensive systems.examine the task of affirmation cases in the engineering lifecycle of vital devices.identify the measurements of reliable strategy in the development and evaluation of guarantee situations.examine the partnership in between reliability procedures and guarantee instances and also,.determine critical study obstacles and also describe a roadmap for future development.Our team request top quality contributions: research study, practice, devices and setting documents on the function of assurance scenario guidelines as well as approaches to ensure that the consistency buildings of important software-intensive systems have been actually met.Documents needs to seek to deal with the workshop goals generally.Subjects.Subjects of enthusiasm consist of, but are actually certainly not confined to:.Specifications: Industry guidelines and also requirements are increasingly demanding the development of assurance cases, e.g., the vehicle regular ISO 26262 as well as the FDA guidance on the overall item lifecycle for infusion pumps.License and also Regulations: The task and also utilization of affirmation scenarios in the certification of crucial units, as well as to show observance to rules.Competent architectures: Exactly how carry out fault-tolerant architectures and also layout procedures like diversity and also dividing associate with assurance instances?Dependability evaluation: What are the partnerships in between consistency analysis methods and also the assurance scenario paradigm?Resources: Utilizing the output coming from software program engineering devices (screening, formal confirmation, code electrical generators) as proof in affirmation scenarios/ using tools for the modeling, evaluation as well as control of guarantee situations.Application of official strategies to produce and also study arguments.Expedition of relevant methods for affirmation instances for real-time, concurrent, and also dispersed systems.Affirmation problems in developing computational paradigms, e.g., cloud, mobile, virtual, many-core architectures, as well as flexible as well as autonomous units.Choices in and also Metamodeling: Depiction of organized disagreements through metamodels, such as OMG's Structured Assurance Case Metamodel (SACM).Assurance of program high quality characteristics, e.g., security, security and also maintainability, in addition to dependability in general, including tradeoffs, as well as exploring ideas of the top quality of affirmation cases on their own.Domain-specific guarantee issues, in domain names like aerospace, automotive, health care, defense and also electrical power.Reuse as well as Modularization: Contracts and also designs for improving the reuse of affirmation scenario frameworks.Links between the Objective Structuring Symbols for affirmation cases, and also goal-orientation from the criteria design area.Paper article is actually currently closed.Papers will definitely be actually peer-reviewed through a minimum of 3 participants of the plan committee. Allowed documents will be posted in the SAFECOMP 2015 Study Group Procedures, to become posted through Springer, in the Lecture Notes in Computer Science (LNCS) Series. Writers of the greatest documents might be actually invited to submit a presented variation for publication in a special diary problem (tentative).All documents need to be actually initial work not posted, or even in article, elsewhere.All documents need to be submitted only in PDF. Satisfy confirm that papers could be accurately imprinted and/or looked at on monitor before sending.Documents ought to conform to the LNCS study formatting rules.Routine (research, practice, or position) documents can be as much as 12 webpages long featuring figures, referrals, as well as any kind of appendices.Resources documents may be around 10 webpages long featuring bodies, recommendations as well as any appendices.Take note: Writers of approved resources documents will definitely be actually anticipated to provide a presentation of the tool( s) at the sessions, i.e., no screenshots.Submit your paper digitally by means of EasyChair by May 22, 2015 May 29, 2015 June 3, 2015.Keep in mind: After logging into EasyChair, choose New Entry.At that point, ensure to select the monitor Guarantee Situations for Software-intensive Units to provide a paper to this sessions.
Shop Chairs.Ewen Denney, SGT/ NASA Ames, USA.Ibrahim Habli, Educational Institution of York, UK.Ganesh Pai, SGT/ NASA Ames, U.S.A..Program Committee (Login).Robin Bloomfield, City College, UK.Ju00e9ru00e9mie Guiochet, LAAS-CNRS, France.Richard Hawkins, University of York, UK.David Higham, Delphi Diesel Solutions, UK.Michael Holloway, NASA Langley Research Center, United States.Paul Jones, U.S. Food and Drug Administration, U.S.A..Tim Kelly, University of York, UK.Yoshiki Kinoshita, Kanagawa Educational Institution, Asia.John Knight, College of Virginia, USA.Andrew Rae, Griffith Educational Institution, Australia.Roger Rivett, Cat Land Vagabond, UK.Christel Seguin, ONERA, France.Mark-Alexander Sujan, College of Warwick, UK.Kenji Taguchi, AIST, Asia.Alan Wassyng, McMaster University, Canada.Sean White, Wellness and also Social Care Info Facility, UK.
Get in touch with the Organizers.If you have inquiries about newspaper topics, submission and/or regarding guarantee 2015 typically, please consult with the Sessions Organizers.