.ASSURE 2015 has properly ended.UPDATES.2015-06-24: Pippa Moore of the UK Civil Aviation Authority will certainly give a welcomed principle talk!2015-06-24: The ASSURE 2015 Plan has actually been revealed. The last program is dependent on enrollment. If you haven't currently done this, desire sign up for guarantee 2015 via SAFECOMP 2015.2015-06-15: ASSURE 2015 are going to be actually held on Tuesday, Sep. 22, 2015. The taken papers and also program will definitely be posted right here soon.2015-06-15: Writers of approved papers have been actually advised. Ultimate, camera-ready duplicates and also the copyright kind are due on June 28, 2015 June 30, 2015.2015-06-04: Report article target dates have actually passed. Entry is right now shut.2015-05-28: SAFECOMP 2015 has stretched all shop deadlines, featuring for guarantee 2015, by one more full week to June 3, 2015.2015-05-19: ensure deadlines have actually been prolonged by a week to May 29, 2015.2015-03-13: The ASSURE 2015 require documents, and also the report article tips are now accessible.2015-03-12: The deadline to submit papers to guarantee 2015 is actually May 22, 2015.2015-03-05: The ASSURE 2015 website is actually online!Overview.ASSURE 2015, collocated this year along with SAFECOMP 2015, targets to provide a global forum for premium additions on the app of guarantee instance concepts and also strategies to assure that the dependability residential or commercial properties of crucial, software-intensive systems have been satisfied.The major goals of the sessions are actually to:.Discover strategies for the production as well as examination of affirmation instances for software-intensive bodies.Take a look at the duty of guarantee situations in the design lifecycle of critical systems.Recognize the measurement of efficient technique in the advancement and examination of assurance situations.Explore the connection between trustworthiness techniques and also affirmation instances.Determine vital research study obstacles and also describe a roadmap for future growth.Our experts invite authentic, top notch study, technique, tools and also position documents that have certainly not been published/submitted in other places. Observe the total Call for Papers, for even more particulars on topics. Also view the submitting deadline, as well as rules.08:00-- 09:00 Registration.09:00-- 11:00 Session 1. Keynote as well as Foundations.09:00-- 09:10 Welcome as well as Overview, ENSURE 2015 Organizers.09:10 -10:00 Keynote Speak: Perform We Actually Would Like To Start From Below? Pippa Moore, UK Civil Aeronautics Authority.10:00 -10:30 Informing Guarantee Case Evaluation via a Formal Interpretation of GSN Core Logic, Victor Bandur, and John McDermid.10:30-- 11:00 Representing Self-confidence in Affirmation Suit Documentation, Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, as well as Insup Lee.11:00-- 11:30 Early Morning Coffee/Tea Rest.11:30 -1:00 Treatment 2. Strategy as well as Design.11:30-- 12:00 Safe and Sec Casing 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, as well as Kimberly Wasson.12:30-- 13:00 A Method to Guarantee Reliability With ArchiMate, Shuichiro Yamamoto.13:00-- 14:00 Lunch Break.14:00-- 15:30 Session 3. Tool Support and Resource Exhibitions.14:00-- 14:30 Tool Support for Guarantee Situation Property Blocks: Supplying an Assisting Hand with CAE, Kateryna Netkachova, Oleksandr Netkachov, as well as Robin Bloomfield.14:30-- 15:00 Safety.Lab: Model-based Domain Name Specific Tooling for Safety Line Of Reasoning, Daniel Ratiu, Marc Zeller, as well as Lennart Kilian.15:00-- 15:30 A Security Situation Surveillance Unit, John Knight, Jonathan Rowanhill, as well as Jian Xiang.15:30-- 16:00 Afternoon Coffee/Tea Break.16:00-- 16:45 Treatment 4. Requests and Task Introductions.16:00-- 16:30 Fault Type Refinement for Guarantee of Families of Platform-Based Solutions, Sam Procter, John Hatcliff, Sandy Weininger, and also Anura Fernando.16:30-- 16:37 Security as well as Surveillance Affirmation in Train Line Standards, Kenji Taguchi.16:37-- 16:45 In The Direction Of Assurance Disagreements of Catastrophe Administration Plans, Shuji Kinoshita.16:45-- 18:00 Treatment 5. Board and also Verdict.16:45-- 18:00 DOOR: The Task of Argumentation in Certification as well as Security Risk Monitoring,.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.Deadline.Shop Documents Due.June 3, 2015 Now Closed.Alert of Approval.June 15, 2015.Camera-ready Copies As A Result Of.June 28, 2015 June 30, 2015.GUARANTEE 2015 Shop.September 22, 2015.SAFECOMP 2015.September 22-- 25, 2015.
Software program participates in an essential part in high-risk systems, e.g., safety-, and security-critical units. Many certification standards/guidelines right now highly recommend and/or mandate the development of guarantee scenarios for software-intensive units, e.g., self defense (UK MoD DS-0056), flying (HAT 670. FAA functional confirmation advice for unmanned airplane bodies), auto (ISO 26262), as well as healthcare (FDA mixture pumps complete item lifecycle guidance). Hence, there is a demand to develop versions, methods as well as devices that target the development of assurance disagreements for software.The targets of the 2015 Workshop on Guarantee Instances for Software-intensive Solutions (ENSURE 2015) are actually to:.check out approaches for creating/assessing guarantee cases for software-intensive devices.review the job of assurance cases in the engineering lifecycle of important bodies.recognize the dimensions of helpful technique in the growth and evaluation of affirmation scenarios.look into the relationship between consistency procedures as well as guarantee scenarios and,.recognize vital study problems and also define a roadmap for future growth.Our experts request high-grade contributions: research, technique, tools and also posture documents on the function of assurance instance principles and procedures to guarantee that the reliability homes of essential software-intensive systems have actually been complied with.Documents needs to seek to take care of the sessions objectives typically.Subjects.Topics of enthusiasm consist of, yet are actually certainly not restricted to:.Standards: Field rules and also requirements are actually significantly requiring the development of assurance instances, e.g., the automotive basic ISO 26262 and the FDA direction on the total item lifecycle for mixture pumps.Qualification and also Legislations: The job and also usage of affirmation situations in the certification of important units, along with to present conformity to laws.Trustworthy architectures: Exactly how do fault-tolerant styles as well as design measures like variety as well as dividing relate to guarantee scenarios?Trustworthiness analysis: What are actually the relationships between reliability analysis techniques and also the guarantee situation ideal?Tools: Utilizing the outcome from software design tools (screening, professional verification, code power generators) as proof in affirmation cases/ making use of tools for the modeling, analysis and monitoring of affirmation scenarios.Request of professional procedures to develop and also analyze debates.Expedition of pertinent methods for affirmation situations for real-time, simultaneous, and circulated devices.Assurance issues in developing computational standards, e.g., cloud, mobile phone, digital, many-core architectures, and also flexible as well as autonomous devices.Choices in as well as Metamodeling: Representation of organized debates by means of metamodels, including OMG's Structured Assurance Case Metamodel (SACM).Guarantee of software program top quality characteristics, e.g., safety and security, safety and security and maintainability, in addition to reliability generally, including tradeoffs, and looking into ideas of the top quality of guarantee scenarios on their own.Domain-specific guarantee problems, in domain names such as aerospace, automotive, health care, self defense and also electrical power.Reuse and Modularization: Contracts and patterns for improving the reuse of guarantee situation frameworks.Links in between the Target Structuring Notation for assurance instances, and goal-orientation from the criteria design neighborhood.Report entry is right now finalized.Documents will be peer-reviewed by at the very least three participants of the system committee. Accepted documents will be actually posted in the SAFECOMP 2015 Study Group Procedures, to be posted by Springer, in the Lecture Commentary in Computer Technology (LNCS) Series. Writers of the most effective documents might be actually welcomed to submit an extended model for magazine in a special journal concern (tentative).All documents must be authentic job certainly not released, or even in submitting, in other places.All papers need to be actually provided only in PDF. Please validate that papers could be accurately imprinted and/or watched on display just before submitting.Papers ought to satisfy the LNCS study format suggestions.Normal (research, technique, or opening) papers can be approximately 12 web pages long featuring figures, referrals, as well as any appendices.Devices papers may be around 10 web pages long consisting of amounts, references and any sort of appendices.Take note: Authors of accepted tools papers will certainly be anticipated to provide a demo of the tool( s) at the sessions, i.e., no screenshots.Provide your newspaper online 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 track Assurance Cases for Software-intensive Equipments to submit a paper to this workshop.
Workshop Chairs.Ewen Denney, SGT/ NASA Ames, United States.Ibrahim Habli, College of York, UK.Ganesh Pai, SGT/ NASA Ames, U.S.A..Program Board (Login).Robin Bloomfield, Area Educational Institution, UK.Ju00e9ru00e9mie Guiochet, LAAS-CNRS, France.Richard Hawkins, Educational Institution of York, UK.David Higham, Delphi Diesel Systems, UK.Michael Holloway, NASA Langley Research Center, U.S.A..Paul Jones, USA Fda, USA.Tim Kelly, Educational Institution of York, UK.Yoshiki Kinoshita, Kanagawa Educational Institution, Asia.John Knight, Educational Institution of Virginia, USA.Andrew Rae, Griffith University, Australia.Roger Rivett, Cat Land Wanderer, UK.Christel Seguin, ONERA, France.Mark-Alexander Sujan, College of Warwick, UK.Kenji Taguchi, AIST, Japan.Alan Wassyng, McMaster College, Canada.Sean White, Wellness and Social Treatment Info Centre, UK.
Get in touch with the Organizers.If you possess concerns about paper subjects, entry and/or regarding ASSURE 2015 as a whole, feel free to talk to the Workshop Organizers.