Space

Assure 2015 - NASA

.GUARANTEE 2015 has actually effectively concluded.UPDATES.2015-06-24: Pippa Moore of the UK Civil Aviation Authority are going to give a welcomed keynote talk!2015-06-24: The GUARANTEE 2015 Program has been announced. The last plan is contingent on sign up. If you haven't already accomplished this, please sign up for ensure 2015 via SAFECOMP 2015.2015-06-15: PROMISE 2015 will definitely be actually hung on Tuesday, Sep. 22, 2015. The approved documents as well as program will certainly be posted here very soon.2015-06-15: Writers of taken documents have been alerted. Ultimate, camera-ready copies and also the copyright form schedule on June 28, 2015 June 30, 2015.2015-06-04: Study entry deadlines have passed. Submission is actually right now closed.2015-05-28: SAFECOMP 2015 has stretched all shop due dates, featuring for ASSURE 2015, by one more full week to June 3, 2015.2015-05-19: ASSURE due dates have actually been actually stretched through a full week to May 29, 2015.2015-03-13: The ASSURE 2015 require documents, and the study submitting suggestions are today available.2015-03-12: The target date to send documents to ASSURE 2015 is actually May 22, 2015.2015-03-05: The ensure 2015 site is real-time!Overview.GUARANTEE 2015, collocated this year along with SAFECOMP 2015, targets to deliver an international forum for high-quality additions on the application of affirmation scenario guidelines as well as techniques to assure that the consistency properties of vital, software-intensive devices have been actually met.The major targets of the shop are to:.Explore techniques for the production and assessment of guarantee instances for software-intensive devices.Examine the part of assurance instances in the design lifecycle of crucial bodies.Recognize the dimension of helpful strategy in the progression and also assessment of guarantee instances.Check out the connection between reliability procedures and affirmation instances.Pinpoint vital analysis obstacles and also describe a roadmap for potential development.Our company invite initial, top quality research, practice, devices and ranking documents that have actually certainly not been actually published/submitted somewhere else. See the full Call for Documents, for even more details on topics. Additionally look at the submitting due date, as well as tips.08:00-- 09:00 Registration.09:00-- 11:00 Session 1. Keynote as well as Foundations.09:00-- 09:10 Welcome and Overview, GUARANTEE 2015 Organizers.09:10 -10:00 Principle Talk: Perform We Truly Want To Begin With Listed below? Pippa Moore, UK Civil Air Travel Authority.10:00 -10:30 Informing Assurance Lawsuit Review by means of a Formal Interpretation of GSN Primary Reasoning, Victor Bandur, and also John McDermid.10:30-- 11:00 Exemplifying Confidence in Affirmation Lawsuit Proof, Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, and Insup Lee.11:00-- 11:30 Morning Coffee/Tea Breather.11:30 -1:00 Session 2. Approach as well as Design.11:30-- 12:00 Safe and also Sec Cover Design, Kenji Taguchi, Daisuke Souma, as well as Hideaki Nishihara.12:00-- 12:30 A Comprehensive Protection Lifecycle, John Knight, Jonathan Rowanhill, Anthony Aiello, and Kimberly Wasson.12:30-- 13:00 An Approach to Ensure Trustworthiness With ArchiMate, Shuichiro Yamamoto.13:00-- 14:00 Lunch Breather.14:00-- 15:30 Session 3. Device Support and also Tool Exhibitions.14:00-- 14:30 Device Support for Guarantee Situation Property Blocks: Delivering an Assisting Hand with CAE, Kateryna Netkachova, Oleksandr Netkachov, as well as Robin Bloomfield.14:30-- 15:00 Safety.Lab: Model-based Domain Name Certain Tooling for Safety Argumentation, Daniel Ratiu, Marc Zeller, and also Lennart Kilian.15:00-- 15:30 A Security Condition Tracking Body, John Knight, Jonathan Rowanhill, and Jian Xiang.15:30-- 16:00 Afternoon Coffee/Tea Rest.16:00-- 16:45 Session 4. Uses and Task Overviews.16:00-- 16:30 Negligence Type Refinement for Affirmation of Loved Ones of Platform-Based Units, Sam Procter, John Hatcliff, Sandy Weininger, and Anura Fernando.16:30-- 16:37 Protection as well as Security Affirmation in Train Specifications, Kenji Taguchi.16:37-- 16:45 In The Direction Of Affirmation Disagreements of Catastrophe Management Plans, Shuji Kinoshita.16:45-- 18:00 Session 5. Panel and Verdict.16:45-- 18:00 BOARD: The Job of Argumentation in Accreditation as well as Safety And Security Threat Management,.John Birch, JaguarLandRover/ AVL Robin Bloomfield, Adelard and Urban Area College Chris Johnson, Educational Institution of Glasgow Yoshiki Kinoshita, Kanagawa University andPippa Moore, UK CAA.18:00 Final thought as well as Wrap-Up, GUARANTEE 2015 Organizers.
Occasion.Target date.Shop Papers Due.June 3, 2015 Now Closed.Alert of Approval.June 15, 2015.Camera-ready Copies Due.June 28, 2015 June 30, 2015.ENSURE 2015 Shop.September 22, 2015.SAFECOMP 2015.September 22-- 25, 2015.
Software participates in a vital job in high-risk systems, e.g., safety and security-, and also security-critical systems. A number of accreditation standards/guidelines right now encourage and/or mandate the growth of guarantee instances for software-intensive devices, e.g., defense (UK MoD DS-0056), aviation (LIMIT 670. FAA functional authorization support for unmanned airplane devices), auto (ISO 26262), as well as healthcare (FDA mixture pumps complete item lifecycle advice). Therefore, there is actually a necessity to develop models, methods as well as resources that target the growth of guarantee arguments for program.The goals of the 2015 Shop on Assurance Cases for Software-intensive Systems (ENSURE 2015) are to:.discover approaches for creating/assessing affirmation scenarios for software-intensive bodies.examine the function of guarantee cases in the engineering lifecycle of critical units.identify the dimensions of efficient practice in the growth as well as evaluation of assurance cases.explore the relationship in between consistency techniques as well as affirmation scenarios as well as,.pinpoint important analysis problems and also describe a roadmap for future advancement.Our team request high-grade payments: investigation, practice, devices and also placement papers on the app of guarantee case concepts and also methods to ensure that the consistency homes of essential software-intensive devices have actually been met.Documents must attempt to address the sessions targets typically.Subjects.Subjects of enthusiasm feature, but are not restricted to:.Specifications: Industry rules and criteria are increasingly demanding the development of affirmation cases, e.g., the auto regular ISO 26262 and also the FDA guidance on the total product lifecycle for infusion pumps.Accreditation as well as Regulations: The job and consumption of guarantee situations in the certification of important systems, in addition to to show observance to policies.Professional designs: Exactly how carry out fault-tolerant designs as well as concept steps like variety and partitioning connect to guarantee cases?Dependability analysis: What are the partnerships in between stability analysis procedures and also the guarantee situation ideal?Resources: Using the outcome coming from software design tools (screening, formal confirmation, code power generators) as proof in assurance situations/ using devices for the choices in, evaluation and administration of guarantee instances.Request of official approaches to produce and examine disagreements.Exploration of appropriate techniques for affirmation situations for real-time, simultaneous, and also dispersed devices.Affirmation concerns in arising computational standards, e.g., cloud, mobile phone, virtual, many-core architectures, as well as adaptive and also autonomous units.Choices in and also Metamodeling: Representation of organized arguments by means of metamodels, like OMG's Structured Affirmation Situation Metamodel (SACM).Guarantee of software program high quality features, e.g., security, protection as well as maintainability, in addition to consistency generally, featuring tradeoffs, as well as discovering ideas of the quality of guarantee scenarios on their own.Domain-specific affirmation concerns, in domain names including aerospace, motor vehicle, medical care, self defense as well as energy.Reuse and also Modularization: Arrangements and also designs for improving the reuse of guarantee case designs.Network in between the Goal Structuring Symbols for assurance cases, and goal-orientation from the demands engineering area.Study article is actually right now closed.Documents will certainly be actually peer-reviewed by a minimum of 3 members of the plan board. Accepted documents will certainly be released in the SAFECOMP 2015 Seminar Process, to be released through Springer, in the Sermon Notes in Computer Technology (LNCS) Series. Authors of the most ideal papers may be actually welcomed to send an extended variation for magazine in an unique diary problem (tentative).All papers need to be actually original work not posted, or even in entry, somewhere else.All documents must be sent only in PDF. Please validate that documents could be reliably imprinted and/or viewed on display before providing.Papers needs to satisfy the LNCS study format standards.Routine (study, technique, or job) papers can be up to 12 webpages long including figures, endorsements, and also any appendices.Devices papers may be around 10 webpages long featuring numbers, referrals and any type of appendices.Note: Authors of taken resources documents are going to be actually assumed to give an exhibition of the resource( s) at the shop, i.e., no screenshots.Submit your paper online through EasyChair by May 22, 2015 May 29, 2015 June 3, 2015.Keep in mind: After logging right into EasyChair, choose New Entry.At that point, be sure to pick the monitor Affirmation Scenarios for Software-intensive Equipments to send a newspaper to this sessions.
Sessions Chairs.Ewen Denney, SGT/ NASA Ames, USA.Ibrahim Habli, University of York, UK.Ganesh Pai, SGT/ NASA Ames, United States.Plan Board (Login).Robin Bloomfield, City University, UK.Ju00e9ru00e9mie Guiochet, LAAS-CNRS, France.Richard Hawkins, College of York, UK.David Higham, Delphi Diesel Units, UK.Michael Holloway, NASA Langley Proving Ground, United States.Paul Jones, U.S. Food and Drug Administration, U.S.A..Tim Kelly, College of York, UK.Yoshiki Kinoshita, Kanagawa University, Japan.John Knight, College of Virginia, U.S.A..Andrew Rae, Griffith Educational Institution, Australia.Roger Rivett, Jaguar Property Wanderer, UK.Christel Seguin, ONERA, France.Mark-Alexander Sujan, Educational Institution of Warwick, UK.Kenji Taguchi, AIST, Asia.Alan Wassyng, McMaster College, Canada.Sean White, Health And Wellness and also Social Treatment Information Centre, UK.
Contact the Organizers.If you have questions concerning newspaper subjects, submitting and/or concerning ASSURE 2015 typically, please get in touch with the Sessions Organizers.