Members Can Post Anonymously On This Site
-
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 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
Home
ASSURE 2015 has successfully concluded.
UPDATES
2015-10-05: ASSURE 2015 concluded successfully. The accepted papers appear in the SAFECOMP 2015 Workshop Proceedings. Thank you for attending! See you in 2016. 2015-06-24: Pippa 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
EventDeadlineWorkshop Papers DueJune 3, 2015 Now ClosedNotification of AcceptanceJune 15, 2015Camera-ready Copies DueJune 28, 2015 June 30, 2015ASSURE 2015 WorkshopSeptember 22, 2015SAFECOMP 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: 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:
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).
All papers must be original work not published, or in submission, elsewhere. All papers should be submitted only in PDF. Please verify that papers can be reliably printed and/or viewed on screen before submitting. Papers should conform to the LNCS paper formatting guidelines. Regular (research, practice, or position) papers can be up to 12 pages long including figures, references, and any appendices. 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. 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
ASSURE 2013, San Francisco, USA ASSURE 2014, Naples, Italy 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
-
By NASA
5 min read
How is the 2024 Total Solar Eclipse Different than the 2017 Eclipse?
On April 8, the Moon’s shadow will sweep across the United States, as millions will view a total solar eclipse. For many, preparing for this event brings memories of the magnificent total solar eclipse on Aug. 21, 2017.
The total solar eclipse on Aug. 21, 2017, was photographed from Madras, Oregon. The black circle in the middle is the Moon. Surrounding it are white streams of light belonging to the Sun’s outer atmosphere, called the corona. NASA/Aubrey Gemignani In 2017, an estimated 215 million U.S. adults (88% of U.S. adults) viewed the solar eclipse, either directly or electronically. They experienced the Moon pass in front of the Sun, blocking part or all of our closest star’s bright face. The eclipse in 2024 could be even more exciting due to differences in the path, timing, and scientific research.
Wider, More Populated Path
The path of totality – where viewers can see the Moon totally block the Sun, revealing the star’s outer atmosphere, called the corona – is much wider during the upcoming total solar eclipse than it was during the eclipse in 2017. As the Moon orbits Earth, its distance from our planet varies. During the 2017 total solar eclipse, the Moon was a little bit farther away from Earth than it will be during upcoming total solar eclipse, causing the path of that eclipse to be a little skinnier. In 2017, the path ranged from about 62 to 71 miles wide. During the April eclipse, the path over North America will range between 108 and 122 miles wide – meaning at any given moment, this eclipse covers more ground.
The 2024 eclipse path will also pass over more cities and densely populated areas than the 2017 path did. This will make it easier for more people to see totality. An estimated 31.6 million people live in the path of totality this year, compared to 12 million in 2017. An additional 150 million people live within 200 miles of the path of totality.
This map shows the path of the 2017 total solar eclipse, crossing from Oregon to South Carolina, and the 2024 total solar eclipse, crossing from Mexico into Texas, up to Maine, and exiting over Canada. To see a map showing which areas will experience the partial solar eclipse and which areas will experience the total solar eclipse on April 8, 2024, click the arrows.
Ernest Wright/NASA’s Scientific Visualization Studio This map illustrates the paths of the Moon’s shadow across the U.S. during the 2024 total solar eclipse. On April 8, 2024, a total solar eclipse will cross North and Central America creating a path of totality. During a total solar eclipse, the Moon completely blocks the Sun while it passes between the Sun and Earth. The sky will darken as if it were dawn or dusk and those standing in the path of totality may see the Sun’s outer atmosphere (the corona) if weather permits. To see a map comparing the 2024 eclipse and the 2017 eclipse paths, click the arrows.
NASA/Scientific Visualization Studio/Michala Garrison; Eclipse Calculations By Ernie Wright, NASA Goddard Space Flight Center
You don’t need to live within the path of totality to see the eclipse – in April, 99% of people who reside in the United States will be able to see the partial or total eclipse from where they live. Every contiguous U.S. state, plus parts of Alaska and Hawaii, will experience at least a partial solar eclipse.
Longer Time in Totality
In April, totality will last longer than it did in 2017. Seven years ago, the longest period of totality was experienced near Carbondale, Illinois, at 2 minutes, 42 seconds.
For the upcoming eclipse, totality will last up to 4 minutes, 28 seconds, in an area about 25 minutes northwest of Torreón, Mexico. As the eclipse enters Texas, totality will last about 4 minutes, 26 seconds at the center of the eclipse’s path. Durations longer than 4 minutes stretch as far north as Economy, Indiana. Even as the eclipse exits the U.S. and enters Canada, the eclipse will last up to 3 minutes, 21 seconds.
During any total solar eclipse, totality lasts the longest near the center of the path, widthwise, and decreases toward the edge. But those seeking totality shouldn’t worry that they need to be exactly at the center. The time in totality falls off pretty slowly until you get close to the edge.
Heightened Solar Activity
NASA/ESA’s Solar and Heliospheric Observatory (SOHO) captured this video of a coronal mass ejection on March 13, 2023. NASA/Aubrey Gemignani
Every 11 years or so, the Sun’s magnetic field flips, causing a cycle of increasing then decreasing solar activity. During solar minimum, there are fewer giant eruptions from the Sun, such as solar flares and coronal mass ejections. But during solar maximum, the Sun becomes more active.
In 2017, the Sun was nearing solar minimum. Viewers of the total eclipse could see the breathtaking corona – but since the Sun was quiet, streamers flowing into the solar atmosphere were restricted to just the equatorial regions of the star. The Sun is more magnetically symmetrical during solar minimum, causing this simpler appearance. During the 2024 eclipse, the Sun will be in or near solar maximum, when the magnetic field is more like a tangled hairball. Streamers will likely be visible throughout the corona. In addition to that, viewers will have a better chance to see prominences – which appear as bright, pink curls or loops coming off the Sun.
With lucky timing, there could even be a chance to see a coronal mass ejection – a large eruption of solar material – during the eclipse.
Expanded Scientific Research
The third rocket launched on Oct. 14, 2023, during the annular solar eclipse leaves the launch pad. WSMR Army Photo During the total eclipse in 2024, NASA is funding several research initiatives that build on research done during the 2017 eclipse. The projects, which are led by researchers at different academic institutions, will study the Sun and its influence on Earth with a variety of instruments, including cameras aboard high-altitude research planes, ham radios, and more. In addition to those projects, instruments that were launched during the 2023 annular solar eclipse on three sounding rockets will again be launched during the upcoming total solar eclipse.
Two spacecraft designed to study the Sun’s corona – NASA’s Parker Solar Probe and ESA (European Space Agency) and NASA’s Solar Orbiter – have also launched since the 2017 solar eclipse. These missions will provide insights from the corona itself, while viewers on Earth see it with their own eyes, providing an exciting opportunity to combine and compare viewpoints.
To learn more about the 2024 total solar eclipse and how you can safely watch it, visit NASA’s eclipse website.
By Abbey Interrante
NASA’s Goddard Space Flight Center, Greenbelt, Md.
Special thanks to Michael Zeiler for his calculations on the populations in the eclipse path.
The 2017 total solar eclipse viewing analysis was conducted by Professor Jon D. Miller of the University of Michigan. This study was supported by a collaborative agreement between the University of Michigan and the National Aeronautics and Space Administration (award NNX16AC66A).
View the full article
-
By NASA
7 min read
ASSURE 2023
/wp-content/plugins/nasa-blocks/assets/images/article-a-example-01.jpgSpaceX Falcon 9 rocket lifts off from Space Launch Complex 40 at Cape Canaveral Air Force Station in Florida at 11:50 p.m. EST on March 6, 2020, carrying the uncrewed cargo Dragon spacecraft on its journey to the International Space Station for NASA and SpaceXs 20th Commercial Resupply Services (CRS-20) mission.NASA/Tony Gray and Tim Terry ASSURE 2023
8th International Workshop on Assurance Cases for Software-intensive Systems
Toulouse, France
September 19, 2023
ASSURE 2023 is live
UPDATES
2023-05-30: Notifications sent to authors 2023-05-01: Submission deadline extended to May 15 2023-04-20: The ASSURE 2023 website is live! Introduction
The 8th International Workshop on Assurance Cases for Software-intensive Systems (ASSURE 2023) is being collocated this year with SafeComp 2023, and aims to provide an international forum for high-quality contributions on the application of assurance case principles and techniques to provide confidence that the dependability properties of critical software-intensive systems have been met. ASSURE 2023 will be hybrid and run on Central European Time (CET).
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 high-quality research, practice, tools, and position papers, as well as papers containing new, forward-looking ideas and emerging results, works-in-progress, and reflections on current research examined through new perspectives, calling for future research directions. See the full Call for Papers, for more details on topics. Also view the submission deadlines, and guidelines.
2023 ASSURE – SASSUR Joint Workshop Program
8:00 9:00
Registration
9:00 9:05
Welcome
9:05 10:00
Welcome Keynote – Safety Cases: in Theory and Reality
Philippa Ryan Conmy
10:00 10:30
Coffee Break
10:30 11:00
Invited Talk – Driving the Development Process from the Safety Case
Christopher Hobbs, Simon Diemert, and Jeff Joyce
11:00 11:30
Computer-Aided Generation of Assurance Cases
T.E. Wang, C. Oh, M. Low, I. Amundson, Z. Daw, A. Pinto, M.L. Chiodo, G. Wang, S. Hasan, R. Melville, P. Nuzzo
11:30 12:00
RACK: A Semantic Model and Triplestore for Curation of Assurance Case Evidence
A. Moitra, P. Cuddihy, K. Siu, D. Archer, E. Mertens, D. Russell, K. Quick, V. Robert, B. Meng
12:00 13:00
Lunch
13:00 13:30
Using Assurance Cases to Prevent Malicious Behaviour from Targeting Safety Vulnerabilities
V. Bandur, M. Lawford, S. Mosser, R. Paige, V. Pantelic, A. Wassyng
13:30 14:00
Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy
M. Zeroual, B. Hamid, M. Adedjouma, J. Jaskolka
14:00 14:30
Assurance Cases for Timing Properties of Automotive TSN Networks
R. Kapinski, V. Pantelic, V. Bandur, A. Wassyng, M. Lawford
14:30 15:00
A Methodology for the Qualification of Operating Systems and Hypervisors for the deployment in IoT devices
I. Bicchierai, E. Schiavone, M.L. Itria, L. Falai, A. Bondavalli
15:00 15:30
Coffee Break
15:30 16:00
Toward Dependability Assurance Framework for Autonomous Systems
Y. Matsuno, T. Takai, M. Okada, T. Tsuchiya
16:00 16:45
Concluding Keynote – NASA’s Office of Safety and Mission Assurance (OSMA) Vision for an Objectives-Driven,
Risk-Informed, and Case-Assured Framework
A. Diventi
16:45
Conclusion
Important Dates
Paper submission: 15 May 2023 2 May 2023
Author notification: 25 May 2023
Camera-ready papers: 5 June 2023
Workshop: 19 September 2023
Call for Papers
Software plays a key role in high-risk systems, e.g., safety and security-critical systems. Assurance cases have been recommended or mandated for software-intensive systems in a number of domains, and are a promising way forward for assurance of autonomous systems. The goals of the 2023 Workshop on Assurance Cases for Softwareintensive Systems (ASSURE 2023) are to:
explore techniques for creating and assessing assurance cases for software-intensive systems, especially those enabling autonomy, including structured argumentation, graphical notations, narrative forms, etc. 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 directions, define a roadmap for future development, and formulate challenge problems. The workshop will be hybrid, and run on Central European Time (CET).
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. ASSURE 2023 additionally solicits papers that contain new, forward-looking, ideas with emerging results and concrete plans for comprehensive empirical validation, works-in-progress, as well as reflections that examine current research under a new lens, calling for future research directions. Papers should attempt to address the workshop goals in general.
Topics of interest include, but are not limited to:
Assurance issues in emerging paradigms, e.g., autonomous and AI-based 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, the FDA guidance on the total product life cycle for infusion pumps and the OMG standard on argumentation (Structured Assurance Case Metamodel, SACM). 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 J3062 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. More generally, the role of formal verification in the wider context of assurance. 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. Submission
Submission Guidelines
Papers will be peer-reviewed by at least 3 program committee members, and accepted papers will be published in the SAFECOMP 2023 Workshop proceedings, to be published by Springer in the Lecture Notes in Computer Science (LNCS) series.
All papers must be original work not published, or in submission, elsewhere. Submission will be via EasyChair.
Papers should be submitted in PDF only. Please verify that papers can be reliably printed and viewed on screen before submission.
Papers should conform to the LNCS paper formatting guidelines.
Regular (research, or practice), Tools, and Experience papers can be up to 10 pages, including figures, references, and any appendices. Note that authors of accepted tools papers will be expected to give a demonstration of the tool(s) at the workshop. Papers describing the experience of an organization in developing assurance cases are particularly welcome.
Position papers, and papers presenting new ideas, works-in-progress, and emerging results can be 6 pages, including figures, references, and any appendices. Committees
Workshop Chairs
Ewen Denney, KBR / NASA Ames, USA Ibrahim Habli, University of York, UK Ganesh Pai, KBR / NASA Ames, USA Program Committee
Chih-Hong Cheng, Fraunhofer IKS and TU Munchen, Germany Alan Wassyng, McMaster University, Canada Philippa Ryan Conmy, University of York, England Irfan Sljivo, KBR/NASA Ames Research Center, USA Martin Feather, JPL, USA Yoshiki Kinoshita, Kanagawa University, Japan Kenji Taguchi, National Institute of Informatics, Japan Daniel Schneider, Fraunhofer, Germany Simon Burton, Fraunhofer Institute for Cognitive Systems, Germany Sean White, NHS, England Contact Us
8th International Workshop on Assurance Cases for Software-intensive Systems
Toulouse, France
September 19, 2023
If you have questions about paper topics, submission and/or about ASSURE 2023 in general, please contact the Workshop Organizers.
Facebook logo @NASA@NASAKennedy@NASASocial@Space_Station@ISS_Research @NASA@NASAKennedy@ISS@ISSNational Lab Instagram logo @NASA@NASAKennedy@ISS@ISSNational Lab@SpaceX Linkedin logo @NASA@Space_Station Read More Share
Details
Last Updated Oct 03, 2023 Related Terms
General Explore More
5 min read Clues to Psyche Asteroid’s Metallic Nature Found in SOFIA Data
Article 1 day ago 1 min read Near-Earth Asteroids as of September 2023
September 2023 Each month, NASA’s Planetary Defense Coordination Office releases a monthly update featuring the most recent figures on NASA’s planetary defense efforts, near-Earth object…
Article 4 days ago 1 min read Huntsville Symphony String Quartet Performs at Marshall
Article 4 days ago Keep Exploring Discover Related Topics
Missions
Humans in Space
Climate Change
Solar System
View the full article
-
-
Check out these Videos
Recommended Posts
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.