.ENSURE 2015 has efficiently concluded.UPDATES.2015-06-24: Pippa Moore of the UK Civil Air Travel Authorization will offer an invited keynote talk!2015-06-24: The GUARANTEE 2015 System has actually been declared. The last system is actually dependent on enrollment. If you have not actually done so, please register for guarantee 2015 using SAFECOMP 2015.2015-06-15: ASSURE 2015 will definitely be actually hung on Tuesday, Sep. 22, 2015. The taken papers and also program will be posted here soon.2015-06-15: Writers of accepted papers have actually been actually alerted. Last, camera-ready copies as well as the copyright kind schedule on June 28, 2015 June 30, 2015.2015-06-04: Paper article target dates have actually passed. Article is actually now finalized.2015-05-28: SAFECOMP 2015 has actually expanded all shop target dates, featuring for guarantee 2015, through another full week to June 3, 2015.2015-05-19: ensure due dates have been expanded through a week to May 29, 2015.2015-03-13: The ASSURE 2015 require papers, as well as the study entry tips are now offered.2015-03-12: The target date to submit papers to ensure 2015 is actually May 22, 2015.2015-03-05: The ensure 2015 website is actually live!Introduction.ASSURE 2015, collocated this year along with SAFECOMP 2015, targets to deliver a global forum for top quality payments on the application of affirmation instance principles as well as techniques to assure that the trustworthiness residential or commercial properties of critical, software-intensive systems have been actually met.The primary goals of the shop are actually to:.Discover approaches for the development as well as assessment of assurance cases for software-intensive systems.Examine the function of guarantee cases in the engineering lifecycle of vital devices.Recognize the measurement of efficient method in the growth as well as evaluation of guarantee instances.Examine the partnership between consistency approaches and also assurance situations.Pinpoint important research problems and also specify a roadmap for future advancement.Our company invite authentic, high-grade research, strategy, devices and position papers that have certainly not been actually published/submitted in other places. See the full Call for Documents, for additional details on topics. Also look at the article target date, and also guidelines.08:00-- 09:00 Registration.09:00-- 11:00 Session 1. Principle as well as Foundations.09:00-- 09:10 Welcome and also Overview, ENSURE 2015 Organizers.09:10 -10:00 Principle Talk: Do Our Team Really Want To Start From Listed below? Pippa Moore, UK Civil Air Travel Authorization.10:00 -10:30 Informing Assurance Claim Assessment with an Official Interpretation of GSN Primary Logic, Winner Bandur, and also John McDermid.10:30-- 11:00 Standing For Self-confidence in Guarantee Lawsuit Evidence, Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, as well as Insup Lee.11:00-- 11:30 Morning Coffee/Tea Rest.11:30 -1:00 Session 2. Method and Design.11:30-- 12:00 Safe as well as Sec Housing Design, Kenji Taguchi, Daisuke Souma, and also Hideaki Nishihara.12:00-- 12:30 A Comprehensive Safety And Security Lifecycle, John Knight, Jonathan Rowanhill, Anthony Aiello, and Kimberly Wasson.12:30-- 13:00 A Method to Ensure Reliability Via ArchiMate, Shuichiro Yamamoto.13:00-- 14:00 Lunch Breather.14:00-- 15:30 Session 3. Tool Support as well as Tool Exhibitions.14:00-- 14:30 Tool Support for Guarantee Scenario Property Blocks: Providing an Assisting 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 And Security Line Of Reasoning, Daniel Ratiu, Marc Zeller, and also Lennart Kilian.15:00-- 15:30 A Protection Condition Surveillance Body, John Knight, Jonathan Rowanhill, as well as Jian Xiang.15:30-- 16:00 Mid-day Coffee/Tea Breather.16:00-- 16:45 Treatment 4. Uses and also Project Reviews.16:00-- 16:30 Negligence Style Refinement for Affirmation of Families of Platform-Based Systems, Sam Procter, John Hatcliff, Sandy Weininger, as well as Anura Fernando.16:30-- 16:37 Safety and also Safety Assurance in Railway Specifications, Kenji Taguchi.16:37-- 16:45 Towards Affirmation Debates of Calamity Control Plannings, Shuji Kinoshita.16:45-- 18:00 Session 5. Board and also Conclusion.16:45-- 18:00 DOOR: The Task of Argumentation in License and Safety Danger Monitoring,.John Birch, JaguarLandRover/ AVL Robin Bloomfield, Adelard and Urban Area University Chris Johnson, University of Glasgow Yoshiki Kinoshita, Kanagawa College andPippa Moore, UK CAA.18:00 Conclusion and also Wrap-Up, ENSURE 2015 Organizers.
Occasion.Target date.Sessions Documents Due.June 3, 2015 Right now Closed.Notice of Approval.June 15, 2015.Camera-ready Duplicates Due.June 28, 2015 June 30, 2015.GUARANTEE 2015 Workshop.September 22, 2015.SAFECOMP 2015.September 22-- 25, 2015.
Software application participates in a crucial task in high-risk systems, e.g., safety-, and also security-critical units. Many certification standards/guidelines currently recommend and/or mandate the growth of guarantee situations for software-intensive bodies, e.g., self defense (UK MoD DS-0056), flying (HAT 670. FAA operational confirmation assistance for unmanned airplane units), auto (ISO 26262), and also medical care (FDA infusion pumps complete item lifecycle support). Therefore, there is actually a necessity to develop versions, approaches as well as tools that target the progression of affirmation arguments for software.The objectives of the 2015 Sessions on Guarantee Cases for Software-intensive Units (ENSURE 2015) are actually to:.discover methods for creating/assessing affirmation cases for software-intensive units.analyze the task of affirmation situations in the engineering lifecycle of essential bodies.recognize the sizes of efficient strategy in the development as well as evaluation of guarantee cases.investigate the connection between trustworthiness techniques and also affirmation scenarios and,.recognize vital research difficulties and determine a roadmap for potential advancement.We get premium additions: investigation, strategy, devices and position papers on the function of guarantee case principles as well as approaches to guarantee that the reliability residential or commercial properties of critical software-intensive devices have been complied with.Documents should attempt to address the shop goals generally.Subject matters.Topics of rate of interest consist of, however are actually not confined to:.Criteria: Sector tips as well as requirements are actually increasingly demanding the development of affirmation scenarios, e.g., the auto common ISO 26262 as well as the FDA guidance on the overall item lifecycle for mixture pumps.Accreditation and also Rules: The duty and consumption of affirmation instances in the qualification of critical bodies, along with to present observance to regulations.Professional designs: Exactly how carry out fault-tolerant architectures as well as design steps including range and also dividing relate to guarantee situations?Consistency evaluation: What are the relationships between dependability analysis approaches and also the assurance situation standard?Devices: Making use of the output from program design tools (testing, official confirmation, code generators) as evidence in assurance scenarios/ using tools for the modeling, evaluation and also administration of affirmation scenarios.Application of official procedures to create as well as assess disagreements.Expedition of relevant methods for guarantee instances for real-time, concurrent, as well as dispersed systems.Affirmation concerns in surfacing computational ideals, e.g., cloud, mobile phone, digital, many-core architectures, and flexible and also independent units.Modeling as well as Metamodeling: Representation of organized disagreements with metamodels, such as OMG's Structured Guarantee Situation Metamodel (SACM).Guarantee of program quality characteristics, e.g., safety and security, security as well as maintainability, in addition to dependability generally, consisting of tradeoffs, as well as exploring thoughts of the top quality of guarantee scenarios themselves.Domain-specific affirmation issues, in domains including aerospace, automobile, medical care, protection and power.Reuse and also Modularization: Agreements and designs for strengthening the reuse of affirmation situation frameworks.Network between the Target Structuring Symbols for guarantee situations, as well as goal-orientation coming from the requirements design area.Study submitting is right now closed.Papers will be peer-reviewed through at least three members of the system committee. Accepted papers will definitely be actually posted in the SAFECOMP 2015 Seminar Proceedings, to be published through Springer, in the Lecture Commentary in Computer Science (LNCS) Series. Authors of the most ideal papers might be actually welcomed to provide an extended variation for publication in an unique journal problem (tentative).All documents should be actually original job certainly not published, or even in article, somewhere else.All documents should be submitted just in PDF. Please confirm that papers may be dependably published and/or seen on display screen just before submitting.Papers needs to conform to the LNCS study format guidelines.Frequent (research, technique, or role) papers can be up to 12 webpages long consisting of designs, recommendations, and also any appendices.Tools papers can be as much as 10 pages long featuring amounts, recommendations and any kind of appendices.Note: Authors of allowed resources papers will definitely be actually assumed to offer a demonstration of the device( s) at the shop, i.e., no screenshots.Submit your paper digitally by means of EasyChair by May 22, 2015 May 29, 2015 June 3, 2015.Note: After logging in to EasyChair, pick New Entry.After that, make certain to choose the monitor Affirmation Instances for Software-intensive Solutions to send a paper to this workshop.
Workshop Chairs.Ewen Denney, SGT/ NASA Ames, U.S.A..Ibrahim Habli, Educational Institution of York, UK.Ganesh Pai, SGT/ NASA Ames, USA.Plan Committee (Login).Robin Bloomfield, Metropolitan Area College, UK.Ju00e9ru00e9mie Guiochet, LAAS-CNRS, France.Richard Hawkins, Educational Institution of York, UK.David Higham, Delphi Diesel-powered Units, UK.Michael Holloway, NASA Langley Research Center, U.S.A..Paul Jones, United State Food and Drug Administration, United States.Tim Kelly, University of York, UK.Yoshiki Kinoshita, Kanagawa College, Japan.John Knight, College of Virginia, USA.Andrew Rae, Griffith University, Australia.Roger Rivett, Jaguar Property Rover, UK.Christel Seguin, ONERA, France.Mark-Alexander Sujan, College of Warwick, UK.Kenji Taguchi, AIST, Japan.Alan Wassyng, McMaster Educational Institution, Canada.Sean White, Health And Wellness and also Social Care Information Centre, UK.
Get in touch with the Organizers.If you possess inquiries about paper topics, entry and/or concerning ASSURE 2015 as a whole, satisfy get in touch with the Workshop Organizers.