Jump to content

Assure 2015


NASA

Recommended Posts

  • Publishers

Home

ASSURE 2015 has successfully concluded.

UPDATES

  • 2015-06-24Pippa Moore of the UK Civil Aviation Authority will give an invited keynote talk!
  • 2015-06-24: The ASSURE 2015 Program has been announced. The final program is contingent on registration. If you haven’t already done so, please register for ASSURE 2015 via SAFECOMP 2015.
  • 2015-06-15: ASSURE 2015 will be held on Tuesday, Sep. 22, 2015. The accepted papers and program will be posted here soon.
  • 2015-06-15: Authors of accepted papers have been notified. Final, camera-ready copies and the copyright form are due on June 28, 2015 June 30, 2015.
  • 2015-06-04: Paper submission deadlines have passed. Submission is now closed.
  • 2015-05-28: SAFECOMP 2015 has extended all workshop deadlines, including for ASSURE 2015, by another week to June 3, 2015.
  • 2015-05-19: ASSURE deadlines have been extended by a week to May 29, 2015.
  • 2015-03-13: The ASSURE 2015 call for papers, and the paper submission guidelines are now available.
  • 2015-03-12: The deadline to submit papers to ASSURE 2015 is May 22, 2015.
  • 2015-03-05: The ASSURE 2015 website is live!

Introduction

ASSURE 2015, collocated this year with SAFECOMP 2015, aims to provide an international forum for high-quality contributions on the application of assurance case principles and techniques to assure that the dependability properties of critical, software-intensive systems have been met.

The main goals of the workshop are to:

  • Explore techniques for the creation and assessment of assurance cases for software-intensive systems
  • Examine the role of assurance cases in the engineering lifecycle of critical systems
  • Identify the dimension of effective practice in the development and evaluation of assurance cases
  • Investigate the relationship between dependability techniques and assurance cases
  • Identify critical research challenges and define a roadmap for future development

We invite original, high-quality research, practice, tools and position papers that have not been published/submitted elsewhere. See the full Call for Papers, for more details on topics. Also view the submission deadline, and guidelines.

Program

08:00 – 09:00   Registration

09:00 – 11:00   Session 1. Keynote and Foundations

09:00 – 09:10 Welcome and Introduction, ASSURE 2015 Organizers

09:10-10:00 Keynote Talk: Do We Really Want To Start From Here? Pippa Moore, UK Civil Aviation Authority

10:00-10:30 Informing Assurance Case Review through a Formal Interpretation of GSN Core Logic, Victor Bandur, and John McDermid

10:30 – 11:00 Representing Confidence in Assurance Case Evidence, Lian Duan, Sanjai Rayadurgam, Mats Heimdahl, Oleg Sokolsky, and Insup Lee

11:00 – 11:30 Morning Coffee/Tea Break

11:30-1:00 Session 2. Methodology and Patterns

11:30 – 12:00 Safe and Sec Case Patterns, Kenji Taguchi, Daisuke Souma, and Hideaki Nishihara

12:00 – 12:30 A Comprehensive Safety Lifecycle, John Knight, Jonathan Rowanhill, Anthony Aiello, and Kimberly Wasson

12:30 – 13:00 An Approach to Assure Dependability Through ArchiMate, Shuichiro Yamamoto

13:00 – 14:00 Lunch Break

14:00 – 15:30 Session 3. Tool Support and Tool Demonstrations

14:00 – 14:30 Tool Support for Assurance Case Building Blocks: Providing a Helping Hand with CAE, Kateryna Netkachova, Oleksandr Netkachov, and Robin Bloomfield

14:30 – 15:00 Safety.Lab: Model-based Domain Specific Tooling for Safety Argumentation, Daniel Ratiu, Marc Zeller, and Lennart Kilian

15:00 – 15:30 A Safety Condition Monitoring System, John Knight, Jonathan Rowanhill, and Jian Xiang

15:30 – 16:00 Afternoon Coffee/Tea Break

16:00 – 16:45 Session 4. Applications and Project Overviews

16:00 – 16:30 Fault Type Refinement for Assurance of Families of Platform-Based Systems, Sam Procter, John Hatcliff, Sandy Weininger, and Anura Fernando

16:30 – 16:37 Safety and Security Assurance in Railway Standards, Kenji Taguchi

16:37 – 16:45 Towards Assurance Arguments of Disaster Management Plans, Shuji Kinoshita

16:45 – 18:00 Session 5. Panel and Conclusion

16:45 – 18:00 PANEL: The Role of Argumentation in Certification and Safety Risk Management,

John Birch, JaguarLandRover / AVL;
Robin Bloomfield, Adelard and City University;
Chris Johnson, University of Glasgow;
Yoshiki Kinoshita, Kanagawa University; and
Pippa Moore, UK CAA.

18:00 Conclusion and Wrap-Up, ASSURE 2015 Organizers

Important Dates

EventDeadline
Workshop Papers DueJune 3, 2015 Now Closed
Notification of AcceptanceJune 15, 2015
Camera-ready Copies DueJune 28, 2015 June 30, 2015
ASSURE 2015 WorkshopSeptember 22, 2015
SAFECOMP 2015September 22 – 25, 2015

Call For Papers

Software plays a key role in high-risk systems, e.g., safety-, and security-critical systems. Several certification standards/guidelines now recommend and/or mandate the development of assurance cases for software-intensive systems, e.g., defense (UK MoD DS-0056), aviation (CAP 670. FAA operational approval guidance for unmanned aircraft systems), automotive (ISO 26262), and healthcare (FDA infusion pumps total product lifecycle guidance). As such, there is a need to develop models, techniques and tools that target the development of assurance arguments for software.

The goals of the 2015 Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2015) are to:

  • explore techniques for creating/assessing assurance cases for software-intensive systems;
  • examine the role of assurance cases in the engineering lifecycle of critical systems;
  • identify the dimensions of effective practice in the development and evaluation of assurance cases;
  • investigate the relationship between dependability techniques and assurance cases; and,
  • identify critical research challenges and define a roadmap for future development.

We solicit high-quality contributions: researchpracticetools and position papers on the application of assurance case principles and techniques to assure that the dependability properties of critical software-intensive systems have been met.

Papers should attempt to address the workshop goals in general.

Topics

Topics of interest include, but are not limited to:

  • Standards: Industry guidelines and standards are increasingly requiring the development of assurance cases, e.g., the automotive standard ISO 26262 and the FDA guidance on the total product lifecycle for infusion pumps.
  • Certification and Regulations: The role and usage of assurance cases in the certification of critical systems, as well as to show compliance to regulations.
  • Dependable architectures: How do fault-tolerant architectures and design measures such as diversity and partitioning relate to assurance cases?
  • Dependability analysis: What are the relationships between dependability analysis techniques and the assurance case paradigm?
  • Tools: Using the output from software engineering tools (testing, formal verification, code generators) as evidence in assurance cases / using tools for the modeling, analysis and management of assurance cases.
  • Application of formal techniques to create and analyze arguments.
  • Exploration of relevant techniques for assurance cases for real-time, concurrent, and distributed systems.
  • Assurance issues in emerging computational paradigms, e.g., cloud, mobile, virtual, many-core architectures, and adaptive and autonomous systems.
  • Modeling and Metamodeling: Representation of structured arguments through metamodels, such as OMG’s Structured Assurance Case Metamodel (SACM).
  • Assurance of software quality attributes, e.g., safety, security and maintainability, as well as dependability in general, including tradeoffs, and exploring notions of the quality of assurance cases themselves.
  • Domain-specific assurance issues, in domains such as aerospace, automotive, healthcare, defense and power.
  • Reuse and Modularization: Contracts and patterns for improving the reuse of assurance case structures.
  • Connections between the Goal Structuring Notation for assurance cases, and goal-orientation from the requirements engineering community.

Submit

Paper submission is now closed.

Papers will be peer-reviewed by at least three members of the program committee. Accepted papers will be published in the SAFECOMP 2015 Workshop Proceedings, to be published by Springer, in the Lecture Notes in Computer Science (LNCS) Series. Authors of the best papers may be invited to submit an extended version for publication in a special journal issue (tentative).

  1. All papers must be original work not published, or in submission, elsewhere.
  2. All papers should be submitted only in PDF. Please verify that papers can be reliably printed and/or viewed on screen before submitting.
  3. Papers should conform to the LNCS paper formatting guidelines.
  4. Regular (research, practice, or position) papers can be up to 12 pages long including figures, references, and any appendices.
  5. Tools papers can be up to 10 pages long including figures, references and any appendices.
    • Note: Authors of accepted tools papers will be expected to give a demonstration of the tool(s) at the workshop, i.e., no screenshots.
  6. Submit your paper electronically via EasyChair by May 22, 2015 May 29, 2015 June 3, 2015.
    • Note: After logging into EasyChair, select New Submission .
    • Then, be sure to select the track Assurance Cases for Software-intensive Systems to submit a paper to this workshop.

Committees

Workshop Chairs

  • Ewen Denney, SGT / NASA Ames, USA
  • Ibrahim Habli, University of York, UK
  • Ganesh Pai, SGT / NASA Ames, USA

Program Committee (Login)

  • Robin Bloomfield, City University, UK
  • Jérémie Guiochet, LAAS-CNRS, France
  • Richard Hawkins, University of York, UK
  • David Higham, Delphi Diesel Systems, UK
  • Michael Holloway, NASA Langley Research Center, USA
  • Paul Jones, U.S. Food and Drug Administration, USA
  • Tim Kelly, University of York, UK
  • Yoshiki Kinoshita, Kanagawa University, Japan
  • John Knight, University of Virginia, USA
  • Andrew Rae, Griffith University, Australia
  • Roger Rivett, Jaguar Land Rover, UK
  • Christel Seguin, ONERA, France
  • Mark-Alexander Sujan, University of Warwick, UK
  • Kenji Taguchi, AIST, Japan
  • Alan Wassyng, McMaster University, Canada
  • Sean White, Health and Social Care Information Centre, UK

Past Workshop

Contact Us

Contact the Organizers

If you have questions about paper topics, submission and/or about ASSURE 2015 in general, please contact the Workshop Organizers.

View the full article

Link to comment
Share on other sites

Join the conversation

You can post now and register later. If you have an account, sign in now to post with your account.
Note: Your post will require moderator approval before it will be visible.

Guest
Reply to this topic...

×   Pasted as rich text.   Paste as plain text instead

  Only 75 emoji are allowed.

×   Your link has been automatically embedded.   Display as a link instead

×   Your previous content has been restored.   Clear editor

×   You cannot paste images directly. Upload or insert images from URL.

  • Similar Topics

    • By NASA
      Home
      ASSURE 2018 has successfully concluded.
      UPDATES
      New! 2018-07-30: The ASSURE 2018 program has been announced. The final program is contingent on registration. If you haven’t already done so, please register for ASSURE 2018 via SAFECOMP 2018. 2018-06-21: ASSURE 2018 will be held on Tuesday, Sep. 18, 2018. The accepted papers and program will be posted here soon. 2018-06-12: Authors of accepted papers have been notified. The final, camera-ready version and a signed copyright release form are due on June 21, 2018. Instructions on submitting both the final version and the copyright form also have been posted. 2018-05-30: Paper submission deadlines have passed. Submission is now closed. 2018-05-18: ASSURE deadlines have been extended by a week, to May 29, 2018. 2018-04-09: The deadline to submit papers to ASSURE 2018 is May 22, 2018. Submit a paper now! 2018-03-28: See the call for papers or download the PDF call for papers. 2018-03-26: The ASSURE 2018 website is live!
      Introduction
      The 6th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018) is being collocated this year with SAFECOMP 2018, and aims to provide an international forum for high-quality contributions on the application of assurance case principles and techniques to provide assurance that the dependability properties of critical, software-intensive systems have been met.
      The main goals of the workshop are to:
      Explore techniques for the creation and assessment of assurance cases for software-intensive systems Examine the role of assurance cases in the engineering lifecycle of critical systems Identify the dimension of effective practice in the development and evaluation of assurance cases Investigate the relationship between dependability techniques and assurance cases Identify critical research challenges and define a roadmap for future development We invite original, high-quality research, practice, tools and position papers that have not been published/submitted elsewhere. See the full Call for Papers, for more details on topics. Also view the submission deadlines, and guidelines.
      Program
      September 18, 2017, from 08:00 – 17:30
      08:00 – 09:00 Registration
      09:00 – 11:00 Session 1. Welcome, Introduction, Keynote and Confidence Assessment
      09:00 – 09:05 Welcome and Introduction, ASSURE 2018 Organizers
      09:05 – 10:00 Keynote Talk. Assurance Cases: Mindsets, Methodologies and Convergence, Robin Bloomfield
      10:00 – 10:30 Research on the Classification of the Relationships Among the Same Layer Elements in Assurance Case Structure for Evaluation, B. Xu, M. Lu, T. Gu, and D. Zhang
      10:30 – 11:00 Morning Coffee/Tea Break
      11:00 – 12:30 Session 2. Patterns and Processes
      11:00 – 11:30 The Assurance Recipe: Facilitating Assurance Patterns, J. Firestone and M. Cohen
      11:30 – 12:00 Incorporating Attacks Modeling into Safety Process, A. Surkovic, D. Hanic, E. Lisova, A. Causevic, K. Lundqvist, D. Wenslandt, and C. Falk
      12:00 – 12:30 Assurance Case Considerations for Interoperable Medical Systems, Y. Zhang, B. Larson, and J. Hatcliff
      12:30 – 13:30 Lunch Break
      13:30 – 15:30 Session 3. Tools and Automation
      13:30 – 14:00 Two Decades of Assurance Case Tools: A Survey, M. Maksimov, N. Fung, S. Kokaly, and M. Chechik
      14:00 – 14:30 MMINT–A: A Tool for Automated Change Impact Assessment on Assurance Cases, N. Fung, S. Kokaly, A. Di Sandro, R. Salay, and M. Chechik
      14:30 – 15:00 D–Case Steps: New Steps for Writing Assurance Cases, Y. Onuma, T. Takai, T. Koshiyama, and Y. Matsuno
      15:00 – 15:30 Continuous Argument Engineering: Tackling Uncertainty in Machine Learning based Systems,
      F. Ishikawa, and Y. Matsuno
      15:30 – 16:00 Afternoon Coffee/Tea Break
      16:00 – 17:20 Session 4. Panel Session. What are Assurance Case Tools For?
      17:20 – 17:30 ASSURE 2018 Conclusion and Wrap-Up
      Important Dates
      EVENTDEADLINEWorkshop Papers Due29 May 2018Notification of Acceptance11 June 2018Camera-ready Copies Due21 June 2018ASSURE 2018 WorkshopSeptember 18, 2018SAFECOMP 2018September 19 – 21, 2018
      Call for Papers
      Software plays a key role in high-risk systems, e.g., safety-, and security-critical systems. Several certification standards/guidelines now recommend and/or mandate the development of assurance cases for software-intensive systems, e.g., defense (UK MoD DS-0056), aviation (CAP 670, FAA’s operational approval guidance for unmanned aircraft systems), automotive (ISO 26262), and healthcare (FDA infusion pumps total product lifecycle guidance). As such, there is a need to develop models, techniques and tools that target the development of assurance arguments for software.
      The goals of the 2018 Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2018) are to:
      explore techniques for creating/assessing assurance cases for software-intensive systems; examine the role of assurance cases in the engineering lifecycle of critical systems; identify the dimensions of effective practice in the development and evaluation of assurance cases; investigate the relationship between dependability techniques and assurance cases; and, identify critical research challenges and define a roadmap for future development. We solicit high-quality contributions: research, practice, tools and position papers on the application of assurance case principles and techniques to assure that the dependability properties of critical software-intensive systems have been met.
      Papers should attempt to address the workshop goals in general.
      Topics
      Topics of interest include, but are not limited to:
      Assurance issues in emerging paradigms, e.g., adaptive and autonomous systems, including self-driving cars, unmanned aircraft systems, complex health care and decision making systems, etc. Standards: Industry guidelines and standards are increasingly requiring the development of assurance cases, e.g., the automotive standard ISO 26262 and the FDA guidance on the total product lifecycle for infusion pumps. Certification and Regulations: The role and usage of assurance cases in the certification of critical systems, as well as to show compliance to regulations. Empiricism: Empirical assessment of the applicability of assurance cases in different domains and certification regimes. Dependable architectures: How do fault-tolerant architectures and design measures such as diversity and partitioning relate to assurance cases? Dependability analysis: What are the relationships between dependability analysis techniques and the assurance case paradigm? Safety and security co-engineering: What are the impacts of security on safety, particularly safety cases, and how can safety and security cases (e.g., as proposed in ISO 26262 and SAE J 3061 respectively) be reconciled? Tools: Using the output from software engineering tools (testing, formal verification, code generators) as evidence in assurance cases / using tools for the modeling, analysis and management of assurance cases. Application of formal techniques for the creation, analysis, reuse, and modularization of arguments. Exploration of relevant techniques for assurance cases for real-time, concurrent, and distributed systems. Assurance of software quality attributes, e.g., safety, security and maintainability, as well as dependability in general, including tradeoffs, and exploring notions of the quality of assurance cases themselves. Domain-specific assurance issues, in domains such as aerospace, automotive, healthcare, defense and power. Reuse and Modularization: Contracts and patterns for improving the reuse of assurance case structures. Relations between different formalisms and paradigms of assurance and argumentation, such as Goal Structuring Notation, STAMP, IBIS, and goal-oriented formalisms such as KAOS. Submit
      Submission Instructions for Accepted Papers
      If your paper has been accepted for the ASSURE 2018 Program, please follow ALL the instructions below, when preparing your final, camera-ready paper for the proceedings.
      Deadline
      The final paper and the signed copyright form are due on June 21, 2018. This is a firm deadline for the production of the proceedings.
      Acknowledgements
      Include acknowledgements of the support your work/project has received, as appropriate and if applicable, at the end of the paper.
      Final Paper Submission
      Submit your final, camera-ready paper using your EasyChair author account, for inclusion into the Workshop Proceedings. After you have logged in, select the Proceedings Author role to be directed to the submission page. Springer reserves the right to reformat your paper to meet their print and digital publication requirements. Consequently, you will need to submit all the source files associated with your paper. Follow the instructions after logging in, to upload two files:
      either a zipped file containing all your LaTeX sources or a Word file in the RTF format, and a PDF version of your camera-ready paper. Plagiarism, self-plagiarism, and publication in multiple venues are not permitted.
      Copyright Release
      Your paper will not be published in the proceedings unless a completed and signed copyright transfer form has been received.
      Authors must fill and sign the Springer “Consent to Publish” copyright release form using the following information: Title of the Book or Conference Name: Computer Safety, Reliability and Security – SAFECOMP 2018 Workshops – ASSURE, DECSoS, SASSUR, STRIVE, and WAISE. Volume Editor(s): Barbara Gallina, Amund Skavhaug, Erwin Schoitsch, and Friedemann Bitsch. One author may sign on behalf of all authors. Springer does not accept digital signatures. Please physically sign the form, scan, and email it in PDF or any standard acceptable image format, to the SAFECOMP 2018 Publication Chair by the deadline above. Alternatively, upload the signed, and completed form via EasyChair using your author account. Corresponding Authors
      Please nominate a corresponding author, whose name and email address must be included in the copyright release form. If sending the copyright release form by email, please include the corresponding author’s name and email address in the email. This author will be responsible for checking the pre-print proof of the final version of your paper that Springer will prepare.
      Pre-print Checking
      The publisher has recently introduced an extra control loop: once data processing is finished, they will contact all corresponding authors and ask them to check their papers within 72 hours. We expect this to happen shortly before the printing of the proceedings. At that time your quick interaction with Springer-Verlag will be greatly appreciated.
      Formatting and Page Limits
      Papers should strictly conform to the LNCS paper formatting guidelines. Please do not change the spacing and dimensions associated with the paper template files. Please ensure that your paper meets the page limits for your paper type. Page limits are strict.
      Regular research/practice papers: Up to 10 pages including figures, references, and appendices. Tools papers: Up to 10 pages, including figures, references, and appendices. Position papers: 6 pages including figures, references, and any appendices. Committees
      Workshop Chairs
      Ewen Denney, SGT / NASA Ames, USA Ibrahim Habli, University of York, UK Richard Hawkins ,University of York, UK Ganesh, Pai, SGT / NASA Ames, USA
      Program Committee
      Simon Burton, Bosch Research, Germany Isabelle Conway, ESA/ESTEC, Netherlands Martin Feather, NASA Jet Propulsion Laboratory, USA Alwyn Goodloe, NASA Langley Research Center, USA Jérémie Guiochet, LAAS-CNRS, France Joshua Kaizer, Nuclear Regulatory Commission, USA Tim Kelly, University of York, UK Yoshiki Kinoshita, Kanagawa University, Japan Andrew Rae, Griffith University, Australia Philippa Ryan, Adelard, UK Mark-Alexander Sujan, University of Warwick, UK Kenji Taguchi, CAV Technologies Co. Ltd., Japan Sean White, NHS Digital, UK Past Workshops
      Previous ASSURE Workshops
      ASSURE 2017, Trento, Italy ASSURE 2016, Trondheim, Norway ASSURE 2015, Delft, The Netherlands ASSURE 2014, Naples, Italy ASSURE 2013, San Francisco, USA Contact Us
      Contact the Organizers
      If you have questions about paper topics, submission and/or about ASSURE 2018 in general, please contact the Workshop Organizers.
      View the full article
    • By NASA
      Home
      ASSURE 2017 has successfully concluded.
      UPDATES
      2017-10-01: ASSURE 2017 concluded successfully. The accepted papers appear in the SAFECOMP 2017 Workshop Proceedings. Thank you for attending! See you in 2018. 2017-08-28: The ASSURE 2017 Program has been announced. The final program is contingent on registration. If you haven’t already done so, please register for ASSURE 2017 via SAFECOMP 2017. 2017-08-27: ASSURE 2017 will be held on Tuesday, Sep. 12, 2017. The accepted papers and program will be posted here soon. 2017-06-02: Authors of accepted papers have been notified. The final, camera-ready version and a signed copyright release form are due on June 12, 2017. Instructions on submitting both the final version and the copyright form also have been posted. 2017-05-24: Paper submission deadlines have passed. Submission is now closed. 2016-05-16: ASSURE deadlines have been extended by a week, to May 24, 2017. 2017-03-27: Dr. Simon Burton, Chief Expert Safety, Reliability and Availability at Robert Bosch GmbH Central Research Division, Germany, has generously accepted to give an invited keynote talk! Watch this space for the topic and abstract for the talk. 2017-03-22: The deadline to submit papers to ASSURE 2017 is May 17, 2017. Submit a paper now! 2017-03-01: The ASSURE 2017 website is live!
      Introduction
      The 5th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2017) is being collocated this year with SAFECOMP 2017, and aims to provide an international forum for high-quality contributions on the application of assurance case principles and techniques to provide assurance that the dependability properties of critical, software-intensive systems have been met.
      The main goals of the workshop are to:
      Explore techniques for the creation and assessment of assurance cases for software-intensive systems Examine the role of assurance cases in the engineering lifecycle of critical systems Identify the dimension of effective practice in the development and evaluation of assurance cases Investigate the relationship between dependability techniques and assurance cases Identify critical research challenges and define a roadmap for future development We invite original, high-quality research, practice, tools and position papers that have not been published/submitted elsewhere. See the full Call for Papers, for more details on topics. Also view the submission deadlines, and guidelines.
      Program
      ASSURE 2017 Program
      September 12, 2017, from 08:00 – 17:30
      08:00 – 09:00   Registration
      09:00 – 11:00   Session 1. Welcome, Introduction, Keynote and Assurance Case Frameworks
      09:00 – 09:05 Welcome and Introduction, ASSURE 2017 Organizers
      09:05 – 10:00 Keynote Talk: Making the Case for Safety of Machine Learning in Highly Automated Driving, Simon Burton (with Lydia Gauerhof and Christian Heinzemann) 
      10:00 – 10:30 A Thought Experiment on Evolution of Assurance Cases – from a Logical Aspect, Y. Kinoshita and S. Kinoshita
      10:30 – 11:00   Morning Coffee/Tea Break
      11:00 – 12:30   Session 2. Assurance Case Tool Support
      11:00 – 11:30 Uniform Model Interface for Assurance Case Integration with System Models, A. Wardziński and P. Jones
      11:30 – 12:00 ExplicitCase: Integrated Model-based Development of System and Safety Cases, C. Cârlan, S. Barner, A. Diewald, A. Tsalidis and S. Voss
      12:00 – 12:30 D-Case Communicator: A Web-Based GSN Editor for Multiple Stakeholders, Y. Matsuno
      12:30 – 13:30   Lunch Break
      13:30 – 15:30   Session 3. Assurance Cases for Security
      13:30 – 14:00 Reconciling Systems-Theoretic and Component-Centric Methods for Safety and Security Co-Analysis, W. Temple, Y. Wu, B. Chen and Z. Kalbarczyk
      14:00 – 14:30 Towards combined safety and security constraints analysis, D. Pereira, C. Hirata, R. Pagliares and S. Nadjm-Tehrani
      14:30 – 15:00 Attack Modeling for System Security Analysis and Assurance Case, A. Altawairqi and M. Maarek
      15:00 – 15:30 Using an Assurance Case Framework to Develop Security Strategy and Policies, R. Bloomfield, P. Bishop, E. Butler and K. Netkachova
      15:30 – 16:00   Afternoon Coffee/Tea Break
      16:00 – 17:25   Session 4. Guided Discussion
      17:25 – 17:30   ASSURE 2017 Conclusion and Wrap-Up
      Important Dates
      EVENTDEADLINEWorkshop Papers Due24 May 2017Notification of Acceptance31 May 2017Camera-ready Copies Due12 June 2017ASSURE 2017 WorkshopSeptember 12, 2017SAFECOMP 2017September 13 – 15, 2017 Call for Papers
      Software plays a key role in high-risk systems, e.g., safety-, and security-critical systems. Several certification standards/guidelines now recommend and/or mandate the development of assurance cases for software-intensive systems, e.g., defense (UK MoD DS-0056), aviation (CAP 670, FAA’s operational approval guidance for unmanned aircraft systems), automotive (ISO 26262), and healthcare (FDA infusion pumps total product lifecycle guidance). As such, there is a need to develop models, techniques and tools that target the development of assurance arguments for software.
      The goals of the 2017 Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2017) are to:
      explore techniques for creating/assessing assurance cases for software-intensive systems; examine the role of assurance cases in the engineering lifecycle of critical systems; identify the dimensions of effective practice in the development and evaluation of assurance cases; investigate the relationship between dependability techniques and assurance cases; and, identify critical research challenges and define a roadmap for future development. We solicit high-quality contributions: research, practice, tools and position papers on the application of assurance case principles and techniques to assure that the dependability properties of critical software-intensive systems have been met.
      Papers should attempt to address the workshop goals in general.
      Topics
      Topics of interest include, but are not limited to:
      Assurance issues in emerging paradigms, e.g., adaptive and autonomous systems, including self-driving cars, unmanned aircraft systems, complex health care and decision making systems, etc. Standards: Industry guidelines and standards are increasingly requiring the development of assurance cases, e.g., the automotive standard ISO 26262 and the FDA guidance on the total product lifecycle for infusion pumps. Certification and Regulations: The role and usage of assurance cases in the certification of critical systems, as well as to show compliance to regulations. Empiricism: Empirical assessment of the applicability of assurance cases in different domains and certification regimes. Dependable architectures: How do fault-tolerant architectures and design measures such as diversity and partitioning relate to assurance cases? Dependability analysis: What are the relationships between dependability analysis techniques and the assurance case paradigm? Safety and security co-engineering: What are the impacts of security on safety, particularly safety cases, and how can safety and security cases (e.g., as proposed in ISO 26262 and SAE J 3061 respectively) be reconciled? Tools: Using the output from software engineering tools (testing, formal verification, code generators) as evidence in assurance cases / using tools for the modeling, analysis and management of assurance cases. Application of formal techniques for the creation, analysis, reuse, and modularization of arguments. Exploration of relevant techniques for assurance cases for real-time, concurrent, and distributed systems. Assurance of software quality attributes, e.g., safety, security and maintainability, as well as dependability in general, including tradeoffs, and exploring notions of the quality of assurance cases themselves. Domain-specific assurance issues, in domains such as aerospace, automotive, healthcare, defense and power. Reuse and Modularization: Contracts and patterns for improving the reuse of assurance case structures. Relations between different formalisms and paradigms of assurance and argumentation, such as Goal Structuring Notation, STAMP, IBIS, and goal-oriented formalisms such as KAOS. Submit
      Submission Instructions for Accepted Papers
      If your paper has been accepted for the ASSURE 2017 Program, please follow the instructions below, when preparing your final, camera-ready paper for the proceedings.
      1. Deadline
      The final paper and the signed copyright form are due on June 12, 2017. This is a firm deadline for the production of the proceedings.
      2. Copyright Release
      Authors must fill and sign the Springer “Consent to Publish” copyright release form using the following information: Title of the Book or Conference Name: Computer Safety, Reliability, and Security – SAFECOMP 2017 Workshops – ASSURE, DECSoS, SASSUR, TELERISE, and TIPS Volume Editor(s): Stefano Tonetta, Erwin Schoitsch, Friedemann Bitsch One author may sign on behalf of all authors. Springer does not accept digital signatures, unfortunately. Please physically sign the form, scan, and email it in PDF or any acceptable image format, to the SAFECOMP 2017 Publication Chair by the deadline above. Alternatively, upload the signed, and completed form via EasyChair using your author account. 3. Corresponding Authors
      Please nominate a corresponding author, whose name and email address must be included in the email containing the copyright release form. This author will be responsible for checking the pre-print proof of your paper prepared by Springer.
      4. Pre-print Checking
      The publisher has recently introduced an extra control loop: once data processing is finished, they will contact all corresponding authors and ask them to check their papers. We expect this to happen shortly before the printing of the proceedings. At that time your quick interaction with Springer-Verlag will be greatly appreciated.
      5. Formatting and Page Limits
      Please do not change the spacing and dimensions associated with the paper template files. Please ensure that your paper meets the page limits for your paper type. Page limits are strict.
      Regular research/practice papers: 12 pages including figures, references, and appendices. Tools papers: 10 pages, including figures, references, and appendices. Position papers: 4 – 6 pages including figures, references, and any appendices. 6. Final Paper Submission
      Submit your camera ready paper using your EasyChair author account, for inclusion into the Workshop Proceedings. After you have logged in, select the Proceedings Author role to be directed to the submission page.
      Springer reserves the right to reformat your paper to meet their print and digital publication requirements. Consequently, you will need to submit all the source files associated with your paper. Follow the instructions after the login for uploading two files:
      either a zipped file containing all your LaTeX sources or a Word file in the RTF format, and a PDF version of your camera-ready paper. Please follow the LNCS paper formatting guidelines when preparing the final version.
      Committees
      Workshop Chairs
      Ewen Denney, SGT / NASA Ames, USA Ibrahim Habli, University of York, UK Ganesh Pai, SGT / NASA Ames, USA Kenji Taguchi, AIST, Japan
      Program Committee
      Robin Bloomfield, City University, and Adelard, UK Simon Burton, Bosch Research, Germany Isabelle Conway, ESA/ESTEC, Netherlands Martin Feather, NASA Jet Propulsion Laboratory, USA Jérémie Guiochet, LAAS-CNRS, France Richard Hawkins, University of York, UK Joshua Kaizer, Nuclear Regulatory Commission, USA Tim Kelly, University of York, UK Yoshiki Kinoshita, Kanagawa University, Japan Terrence Martin, Queensland University of Technology, Australia Andrew Rae, Griffith University, Australia Philippa Ryan, Adelard, UK Roger Rivett, Jaguar Land Rover, UK Mark-Alexander Sujan, University of Warwick, UK Sean White, NHS Digital, UK Previous ASSURE Workshops
      ASSURE 2016, Trondheim, Norway ASSURE 2015, Delft, The Netherlands ASSURE 2014, Naples, Italy ASSURE 2013, San Francisco, USA Contact the Organizers
      If you have questions about paper topics, submission and/or about ASSURE 2016 in general, please contact the Workshop Organizers.
      View the full article
    • By NASA
      Home
      ASSURE 2016 has successfully concluded.
      UPDATES
      New! 2016-09-30: ASSURE 2016 concluded successfully. The accepted papers appear in the SAFECOMP 2016 Workshop Proceedings. Thank you for attending! See you in 2017. 2016-07-18: Clive Tomsett, Clinical Strategist at the Cerner Corporation, will give an invited keynote talk! 2016-07-18: The ASSURE 2016 Program has been announced. The final program is contingent on registration. If you haven’t already done so, please register for ASSURE 2016 via SAFECOMP 2016. 2016-06-08: ASSURE 2016 will be held on Tuesday, Sep. 20, 2016. The accepted papers and program will be posted here soon. 2016-06-07: Authors of accepted papers have been notified. The final, camera-ready version and a signed copyright release form are due on June 20, 2016. Instructions on submitting both the final version and the copyright form have been posted. 2016-05-26: Paper submission deadlines have passed. Submission is now closed. 2016-05-16: ASSURE deadlines have been extended by to May 26, 2016. Submit a paper now! 2016-03-28: The deadline to submit papers to ASSURE 2016 is May 17, 2016. 2016-03-28: The ASSURE 2016 call for papers, and the paper submission guidelines are now available. 2016-03-07: The ASSURE 2016 website is live!
      Introduction
      The 4th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2016) is being collocated this year with SAFECOMP 2016, and aims to provide an international forum for high-quality contributions on the application of assurance case principles and techniques to provide assurance that the dependability properties of critical, software-intensive systems have been met.
      The main goals of the workshop are to:
      Explore techniques for the creation and assessment of assurance cases for software-intensive systems Examine the role of assurance cases in the engineering lifecycle of critical systems Identify the dimension of effective practice in the development and evaluation of assurance cases Investigate the relationship between dependability techniques and assurance cases Identify critical research challenges and define a roadmap for future development We invite original, high-quality research, practice, tools and position papers that have not been published/submitted elsewhere. See the full Call for Papers, for more details on topics. Also view the submission deadlines, and guidelines.
      Program
      08:00 – 09:00 Registration
      09:00 – 11:00 Session 1. Introduction, Keynote, and Lifecycles
      09:00 – 09:10 Welcome and Introduction, ASSURE 2016 Organizers
      09:10 – 10:00 Keynote Talk: Rhetoric or Rigor: The Development and Use of Safety Cases in Health IT Clive Tomsett, Cerner Corporation
      10:00 – 10:30 The Agile Safety Case, Tor Stålhane and Thor Myklebust
      10:30 – 11:00 Towards Faster Maintenance of Safety Cases, Omar Jaradat and Iain Bate
      11:00 – 11:30 Morning Coffee/Tea Break
      11:30 – 13:00 Session 2. Formal Evidence and Tool Support
      11:30 – 12:00 On Using Results of Code­-level Bounded Model Checking in Assurance Cases, Carmen Cârlan, Daniel Ratiu, and Bernhard Schätz
      12:00 – 12:30 Configuration­-aware Contracts, Irfan Šljivo, Barbara Gallina, Jan Carlson, and Hans Hansson
      12:30 – 13:00 Developing SNS tool for Consensus Building on Environmental Safety using Assurance Cases, Yutaka Matsuno, Yang Ishigaki, Koichi Bando, Hiroyuki Kido, and Kenji Tanaka
      13:00 – 14:00 Lunch Break
      14:00 – 15:30 Session 3. Applications
      14:00 – 14:30 The 6W1H Model as a Basis for Systems Assurance Argument, Shuji Kinoshita and Yoshiki Kinoshita
      14:30 – 15:00 The Assurance Timeline: Building Assurance Cases for Synthetic Biology, Myra Cohen, Justin Firestone, and Massimiliano Pierobon
      15:00 – 15:30 Towards Safety Case Integration with Hazard Analysis for Medical Devices, Andrzej Wardziński and Aleksander Jarzębowicz
      15:30 – 16:00 Afternoon Coffee/Tea Break
      16:00 – 17:30 Session 4. Panel and Conclusion
      16:00 – 17:15 PANEL: Assurance Challenges for Safety-critical Autonomous Systems
      Panelists:
      – Håkon Olsen, Principal Consultant at Lloyd’s Register, Norway
      – Jérémie Guiochet, Professor at University of Toulouse, France
      – Marialena Vagia, Research Scientist at SINTEF, Norway
      – Ovidiu Drugan, Senior Researcher at DNV GL, Norway
      17:15 – 17:30 Conclusion and Wrap-Up, ASSURE 2016 Organizers
      Important Dates
      Important Dates
      EVENTDEADLINEWorkshop Papers DueMay 26, 2016Notification of AcceptanceJune 7, 2016Camera-ready Copies DueJune 20, 2016ASSURE 2016 WorkshopSeptember 20, 2016SAFECOMP 2016September 20 – 23, 2016 ASSURE 2016 Call for Papers
      Software plays a key role in high-risk systems, e.g., safety-, and security-critical systems. Several certification standards/guidelines now recommend and/or mandate the development of assurance cases for software-intensive systems, e.g., defense (UK MoD DS-0056), aviation (CAP 760, FAA’s operational approval guidance for unmanned aircraft systems), automotive (ISO 26262), and healthcare (FDA infusion pumps total product lifecycle guidance). As such, there is a need to develop models, techniques and tools that target the development of assurance arguments for software.
      The goals of the 2016 Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2016) are to:
      explore techniques for creating/assessing assurance cases for software-intensive systems; examine the role of assurance cases in the engineering lifecycle of critical systems; identify the dimensions of effective practice in the development and evaluation of assurance cases; investigate the relationship between dependability techniques and assurance cases; and, identify critical research challenges and define a roadmap for future development. We solicit high-quality contributions: research, practice, tools and position papers on the application of assurance case principles and techniques to assure that the dependability properties of critical software-intensive systems have been met.
      Papers should attempt to address the workshop goals in general.
      Topics
      Topics of interest include, but are not limited to:
      Assurance issues in emerging paradigms, e.g., adaptive and autonomous systems, including self-driving cars, unmanned aircraft systems, complex health care and decision making systems, etc. Standards: Industry guidelines and standards are increasingly requiring the development of assurance cases, e.g., the automotive standard ISO 26262 and the FDA guidance on the total product lifecycle for infusion pumps. Certification and Regulations: The role and usage of assurance cases in the certification of critical systems, as well as to show compliance to regulations. Dependable architectures: How do fault-tolerant architectures and design measures such as diversity and partitioning relate to assurance cases? Dependability analysis: What are the relationships between dependability analysis techniques and the assurance case paradigm? Tools: Using the output from software engineering tools (testing, formal verification, code generators) as evidence in assurance cases / using tools for the modeling, analysis and management of assurance cases. Application of formal techniques to create and analyze arguments. Exploration of relevant techniques for assurance cases for real-time, concurrent, and distributed systems. Modeling and Metamodeling: Representation of structured arguments through meta models, such as OMG’s Structured Assurance Case Metamodel (SACM). Assurance of software quality attributes, e.g., safety, security and maintainability, as well as dependability in general, including tradeoffs, and exploring notions of the quality of assurance cases themselves. Domain-specific assurance issues, in domains such as aerospace, automotive, healthcare, defense and power. Reuse and Modularization: Contracts and patterns for improving the reuse of assurance case structures. Connections between the Goal Structuring Notation for assurance cases, and goal-orientation from the requirements engineering community. Submit
      Submission Instructions for Accepted Papers
      If your paper has been accepted for the ASSURE 2016 Program, please follow the instructions below, when preparing your final, camera-ready paper for the proceedings.
      1. Deadline
      The final paper and the signed copyright form are due on June 20, 2016. This is a firm deadline for the production of the proceedings.
      2. Copyright Release
      Authors must fill and sign the Springer “Consent to Publish” copyright release form using the following information: Title of the Book or Conference Name: Computer Safety, Reliability, and Security – SAFECOMP 2016 Workshops – ASSURE, CYBERSUP, DECSoS, SASSUR, and TIPS Volume Editor(s): Amund Skavhaug, Jérémie Guiochet, Erwin Schoitsch, Friedemann Bitsch One author may sign on behalf of all authors. Springer does not accept digital signatures, unfortunately. Please physically sign the form, scan, and email it in PDF or any acceptable image format, to the SAFECOMP 2016 Publication Chair by the deadline above. Alternatively, upload the signed, and completed form via EasyChair using your author account. 3. Corresponding Authors
      Please nominate a corresponding author, whose name and email address must be included in the email containing the copyright release form. This author will be responsible for checking the pre-print proof of your paper prepared by Springer.
      4. Pre-print Checking
      The publisher has recently introduced an extra control loop: once data processing is finished, they will contact all corresponding authors and ask them to check their papers. We expect this to happen shortly before the printing of the proceedings. At that time your quick interaction with Springer-Verlag will be greatly appreciated.
      5. Formatting and Page Limits
      Please do not change the spacing and dimensions associated with the paper template files. Please ensure that your paper meets the page limits for your paper type.
      Regular research/practice papers: 12 pages including figures, references, and appendices. Tools papers: 10 pages, including figures, references, and appendices. Position papers: 4 – 6 pages including figures, references, and any appendices. 6. Final Paper Submission
      Submit your camera ready paper using your EasyChair author account, for inclusion into the Workshop Proceedings. After you have logged in, follow the “Proceedings” tab in the top panel.
      Springer reserves the right to reformat your paper to meet their print and digital publication requirements. Consequently, you will need to submit all the source files associated with your paper. Follow the instructions after the login for uploading two files:
      either a zipped file containing all your LaTeX sources or a Word file in the RTF format, and a PDF version of your camera-ready paper. Please strictly follow the LNCS paper formatting guidelines when preparing the final version.
      Committees
      Workshop Chairs
      Ewen Denney, SGT / NASA Ames, USA Ibrahim Habli, University of York, UK Ganesh Pai, SGT / NASA Ames, USA
      Program Committee (Login)
      Ersin Ancel, NASA Langley Research Center, USA Robin Bloomfield, City University, UK Reece Clothier, RMIT, Australia Martin Feather, NASA Jet Propulsion Laboratory, USA Jérémie Guiochet, LAAS-CNRS, France Richard Hawkins, University of York, UK Tim Kelly, University of York, UK Yoshiki Kinoshita, Kanagawa University, Japan John Knight, University of Virginia, USA Helen Monkhouse, Protean Electric Ltd., UK Andrew Rae, Griffith University, Australia Roger Rivett, Jaguar Land Rover, UK John Rushby, SRI, USA Mark-Alexander Sujan, University of Warwick, UK Kenji Taguchi, AIST, Japan Alan Wassyng, McMaster University, Canada Sean White, Health and Social Care Information Centre, UK Previous ASSURE Workshops
      ASSURE 2015, Delft, The Netherlands ASSURE 2014, Naples, Italy ASSURE 2013, San Francisco, USA Contact Us
      If you have questions about paper topics, submission and/or about ASSURE 2016 in general, please contact the Workshop Organizers.
      View the full article
    • By NASA
      2 Min Read Class of 2015
      Glenn Research Center 2015 Hall of Fame honorees and representatives at the induction ceremony in September 2015. Credits: NASA NASA Glenn Research Center Hall of Fame
      2015 Induction Class
      The inaugural class of the NASA Glenn Research Center’s Hall of Fame was inducted to celebrate the 100th anniversary of NASA’s predecessor organization, the National Advisory Committee for Aeronautics (NACA). All nine of the inductees were employed during the center’s NACA period from 1941 to 1958. Glenn hosted a reunion of former NACA employees earlier in the day. The class covers a broad swath of activities from center directors to graphic artists to computing, aircraft safety, and thermodynamics.
      The induction ceremony was held on September 25, 2015 in the Mission Integration Center (MIC). Center Director Jim Free and NASA Chief History Bill Barry gave inspirational introductory remarks, and the ceremony was led by local media personality, Greg Dee.  Simon Ostrach and Robert Siegel were present to receive their honors, while family members and former colleagues accepted for the others.
      Event Information
      Hall of Fame Class of 2015 Press Release Hall of Fame Announcement (2015) Induction Ceremony Program (2015) Inductees Plaques (2015) Center Establishes Hall of Fame article (2015) 2015 Inductees
      Robert Deissler – World-renowned researcher and author whose theories transformed the body of knowledge of heat transfer. Annie Easley – Computer programmer and equal opportunity pioneer. Bruce Lundin – Former center director and advocate for NACA’s evolution into a space agency. James Modarelli – Designer of NASA’s seal and insignia and creator of the agency’s outreach program. Simon Ostrach – World-renowned researcher whose theories transformed the body of knowledge of heat transfer, particuarly buoyancy-driven flows and microgravity science. I. Irving Pinkel – Leader in aerospace safety research, including icing, fires, and crashes. E. Raymond Sharp – First center director who led the center’s establishment and growth for nearly two decades. Robert Siegel – World-renowned researcher and author whose theories transformed the body of knowledge of heat transfer. Abe Silverstein – Former center director, advocate of high-energy propellants, and architect of the early space program. Event Photographs
      Additional 2015 Ceremony Photographs
      Inductees and inductee representatives at the Glenn Hall of Fame ceremony in September 2015. Seated: Irene Geye; Dr. Robert Siegel; Dr. Simon Ostrach; June Bahan-Szucs; Standing: Dan Pinkel; James Modarelli III; David Silverstein; Robert Deissler; Larry Ross.NASA Glenn Historian Anne Mills addresses the crowd at the induction ceremony (9/25/2015).NASA Si Ostrach, Elaine Siegel, and Robert Siegel listen to speakers at the 2015 Induction Ceremony. NASA Erwin Zaretsky and other applaud during Hall of Fame Induction Ceremony (9/25/2015). NASA Larry Ross (center) receives Bruce Lundin’s Hall of Fame plaque from Glenn Director Jim Free (left) and NASA Historian Bill Barry. NASA Barbara Salzman, David Silverstein, and Rebecca Silverstein with Abe Silverstein’s Hall of Fame plaque. NASA Inductee Simon Ostrach following the ceremony. NASA Irene Geye (right) talks with Scott Graham and Jenise Veris following the 2015 Induction Ceremony. NASA June Szuch, who accepted Annie Easley’s plaque, talks with Bill Barry after the event (9/25/2015). NASAView the full article
    • By NASA
      SSE-Cassini Home Cassini Top 10 Images – 2015 Cassini Overview Mission About the Mission The Grand Finale The Team Top 10s Saturn Tour FAQ Science Overview Rings Titan Enceladus Moons Magnetosphere Multimedia All Multimedia Audio Featured Raw Images Graphics Hall of Fame Images Videos   1 min read
      Cassini Top 10 Images – 2015
      As the Cassini science team members look forward to a great 2016 and beyond, here’s a look back at their top 10 images of 2015.
      Enceladus North Pole Montage
      Peering Through Titan’s Haze
      Water World
      Created with GIMP Enceladus Up-Close
      Saturnian Snowman
      A Fractured Pole
      Imminent Approach to Dione
      Red Arcs on Tethys
      Spongy Surface
      Serene Saturn
      Simulations of the Tendrils
      Keep Exploring Discover More Topics From NASA
      Science Missions



      Solar System Exploration



      Skywatching



      Eclipses


      View the full article
  • Check out these Videos

×
×
  • Create New...