Jump to content

Recommended Posts

  • Publishers
Posted

7 min read

ASSURE 2023

/wp-content/plugins/nasa-blocks/assets/images/article-a-example-01.jpg
SpaceX 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.

Share

Details

Last Updated
Oct 03, 2023

Related Terms

View the full article

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
      Jonathan Gardner of NASA’s Goddard Space Flight Center in Greenbelt, Maryland, was selected as a 2023 Fellow of the American Astronomical Society (AAS) for extraordinary achievement and service. He is being recognized for exceptional community service and scientific leadership of NASA’s James Webb Space Telescope science teams, leading to Webb’s flight hardware exceeding all of its requirements.  
      Dr. Jonathan Gardner is the Deputy Senior Project Scientist for the James Webb Space Telescope at NASA’s Goddard Space Flight Center in Greenbelt, Maryland.Credits: Courtesy of Jonathan Gardner Gardner is the deputy senior project scientist for the Webb telescope in Goddard’s Astrophysics Science Division. Webb, which launched Dec. 25, 2021, is the  largest, most powerful, and most complex space science telescope ever built. Webb is solving mysteries in our solar system, looking beyond to distant worlds around other stars, and probing the mysterious structures and origins of our universe and our place in it. Webb is an international program led by NASA with its partners, ESA (European Space Agency) and the Canadian Space Agency.
      John Mather, senior project scientist on Webb and a senior astrophysicist at Goddard, nominated Gardner for the fellowship. In his nomination, Mather wrote:
      “Jonathan Gardner is a quiet superstar, well known to the Webb community. As deputy senior project scientist for Webb, Gardner represents the senior project scientist in all aspects of the mission, with responsibility for ensuring Webb’s scientific performance. Gardner is a tireless advocate for the scientific vision and its accurate implementation. He is the main spokesperson for Webb science throughout NASA and in the wider astronomy community. He is the person most responsible for keeping the science teams working well together and for communicating with other astronomers.”
      Gardner began working on Webb as a member of the Ad-Hoc Science Working Group in the late 1990s, joining the project as the deputy senior project scientist in 2002. 
      Beginning in 2002, Gardner organized all the meetings and communications of the Science Working Group, which included people from the U.S., Europe, and Canada, including instrument teams and other partners. He recruited Goddard scientists for the mission’s Project Science Team, and ensured a scientist was assigned to every engineering topic. Gardner also wrote and published the scientific requirements in a dedicated issue of Space Science Reviews. He set up the Science Requirements Analysis Board to review any potential threats to the scientific goals of the mission and worked with engineering teams to avoid any failures. He represented scientific interests throughout the engineering project and throughout NASA, by ensuring regular communication between scientists, managers, and engineers.   
      The 2023 AAS Fellows are recognized for enhancing and sharing humanity’s scientific understanding of the universe through personal achievement and extraordinary service to the astronomical sciences and to the AAS.
      AAS, established in 1899, is a major international organization of professional astronomers, astronomy educators, and amateur astronomers. Its membership of approximately 8,000 also includes physicists, geologists, engineers, and others whose interests lie within the broad spectrum of subjects now comprising the astronomical sciences. The mission of the AAS is to enhance and share humanity’s scientific understanding of the universe as a diverse and inclusive astronomical community, which it achieves through publishing, meetings, science advocacy, education and outreach, and training and professional development.
      For information about NASA and agency programs, visit: https://www.nasa.gov
      By Robert Gutro
      NASA’s Goddard Space Flight Center, Greenbelt, Md.
      View the full article
    • By NASA
      In 2023, NASA Langley’s workforce brought imagination to reality with innovative technological development and a continued commitment to tackling some of the tough challenges that both NASA and the nation face.

      NASA At NASA, we aspire to know more, dig deeper, climb higher and along the way we are asking, ‘What if?’,” said NASA Langley Center Director Clayton P. Turner in an introductory message to Langley’s 2023 Annual Report. “Our inquisitive nature propels us on our mission to reach for new heights and reveal the unknown for the benefit of humankind.”

      All year, the Langley workforce pondered and planned for a future alongside self-flying drones, aircraft with reduced emissions, air travel that benefits from greater fuel efficiency and space exploration assisted by inflatable heat shields that could give us the ability to carry greater payloads than ever before.

      “We invite you to explore all that NASA’s Langley Research Center has to offer — our amazing people, unique capabilities, and legacy of success,” Turner said in his introduction.
      Use this link to explore the 2023 Annual Report for NASA’s Langley Research Center.
      View the full article
    • By NASA
      3 min read
      2023 Entrepreneurs Challenge Winner Skyline Nav AI: Revolutionizing GPS-Independent Navigation with Computer Vision
      NASA sponsored Entrepreneurs Challenge events in 2020, 2021, and 2023 to identify innovative ideas and technologies from small business start-ups with the potential to advance the agency’s science goals. To help leverage external funding sources for the development of innovative technologies of interest to NASA, SMD involved the venture capital community in Entrepreneurs Challenge events. Challenge winners were awarded prize money, and in 2023 the total Entrepreneurs Challenge prize value was $1M. Numerous challenge winners have subsequently received funding from both NASA and external sources (e.g., other government agencies or the venture capital community) to further develop their technologies.
      Skyline Nav AI, a winner of the 2023 NASA Entrepreneurs Challenge, is pioneering GPS-independent navigation by leveraging cutting-edge computer vision models, artificial intelligence (AI), and edge computing.
      Skyline Nav AI’s flagship technology offers precise, real-time geolocation without the need for GPS, Wi-Fi, or cellular networks. The system utilizes machine learning algorithms to analyze terrain and skyline features and match them with preloaded reference datasets, providing up to centimeter-level accuracy in GPS-denied environments. This capability could enable operations in areas where GPS signals are absent, blocked, degraded, spoofed, or jammed, including urban canyons, mountainous regions, and the Moon.
      Skyline Nav AI’s flagship technology at work in New York to provide precise location by matching the detected skyline with a reference data set. The red line shows detection by Skyline Nav AI technology, the green line marks the true location in the reference satellite dataset, and the orange line represents the matched location (i.e., the location extracted from the satellite dataset using Skyline Nav AI algorithms). Skyline Nav’s visual navigation technology can deliver accuracy up to five meters, 95% of the time. The AI-powered visual positioning models continuously improve geolocation precision through pixel-level analysis and semantic segmentation of real-time images, offering high reliability without the need for GPS.
      In addition to its visual-based AI, Skyline Nav AI’s software is optimized for edge computing, ensuring that all processing occurs locally on the user’s device. This design enables low-latency, real-time decision-making without constant satellite or cloud-based connectivity, making it ideal for disconnected environments such as combat zones or space missions.
      Furthermore, Skyline Nav AI’s technology can be integrated with various sensors, including inertial measurement units (IMUs), lidar, and radar, to further enhance positioning accuracy. The combination of visual navigation and sensor fusion can enable centimeter-level accuracy, making the technology potentially useful for autonomous vehicles, drones, and robotics operating in environments where GPS is unreliable.
      “Skyline Nav AI aims to provide the world with an accurate, resilient alternative to GPS,” says Kanwar Singh, CEO of Skyline Nav AI. “Our technology empowers users to navigate confidently in even the most challenging environments, and our recent recognition by NASA and other partners demonstrates the value of our innovative approach to autonomous navigation.”
      Skyline Nav AI continues to expand its influence through partnerships with organizations such as NASA, the U.S. Department of Defense, and the commercial market. Recent collaborations include projects with MIT, Draper Labs, and AFRL (Air Force Research Laboratory), as well as winning the MOVE America 2024 Pitch competition and being a finalist in SXSW 2024.
      Sponsoring Organization: The NASA Science Mission Directorate sponsored the Entrepreneurs Challenge events.
      Project Leads: Kanwar Singh, Founder & CEO of Skyline Nav AI
      Share








      Details
      Last Updated Jan 07, 2025 Related Terms
      Artificial Intelligence (AI) Science-enabling Technology Technology Highlights Explore More
      7 min read Very Cold Detectors Reveal the Very Hot Universe and Kick Off a New Era in X-ray Astronomy


      Article


      3 weeks ago
      9 min read Towards Autonomous Surface Missions on Ocean Worlds


      Article


      1 month ago
      4 min read NASA-developed Technology Supports Ocean Wind Speed Measurements from Commercial Satellite


      Article


      2 months ago
      View the full article
    • By NASA
      1 Min Read Oral History with Stephen G. Jurczyk, 1962 – 2023
      NASA Acting Administrator Stephen G. Jurczyk Credits: NASA Steve Jurczyk’s NASA career began in 1988 at Langley Research Center as an engineer in the Electronic Systems Branch. During his time at Langley, he served in other roles, including director of engineering and director of research and technology.  Jurczyk was named as director of Langley in 2014, then in 2015 he left Langley to serve as the associate administrator for the Space Technology Mission Directorate at NASA Headquarters.  He quickly rose to the rank of associate administrator in 2018, and in January 2021 was named the agency’s acting administrator
      Read more about Steve Jurczyk
      NASA Oral History, September 22, 1921 NASA Honors Steve Jurczyk The transcripts available on this site are created from audio-recorded oral history interviews. To preserve the integrity of the audio record, the transcripts are presented with limited revisions and thus reflect the candid conversational style of the oral history format. Brackets and ellipses indicate where the text has been annotated or edited for clarity. Any personal opinions expressed in the interviews should not be considered the official views or opinions of NASA, the NASA History Office, NASA historians, or staff members.
      View the full article
    • By NASA
      1 Min Read Oral History with Mary L. Cleave, 1947 – 2023
      61B-21-008 (26 Nov-1 Dec 1985) —The STS 61-B crew on the flight deck of the earth-orbiting Atlantis. Left to right, back row, are astronauts Jerry L. Ross, Brewster Shaw Jr., Mary L. Cleave, and Bryan D. O'Connor; and payload specialist Rodolfo Neri. Front row, left to right, payload specialist Charles D. Walker and astronaut Sherwood C. Spring. A veteran of two space flights, Dr. Cleave served as a mission specialist on STS-61B and STS-30.  She went on to join NASA’s Goddard Space Flight Center and worked in the Laboratory for Hydrospheric Processes as the Project Manager for SeaWiFS, an ocean color sensor which is monitoring vegetation globally.  Dr. Cleave next served as Deputy Associate Administrator, Office of Earth Science, NASA Headquarters, until her retirement in 2007.
      Read more about Dr. Mary L. Cleave
      NASA Oral History, March 5, 2002 NASA Biography NASA Remembers Trailblazing Astronaut, Scientist Mary Cleave In Memoriam: Mary Cleave The transcripts available on this site are created from audio-recorded oral history interviews. To preserve the integrity of the audio record, the transcripts are presented with limited revisions and thus reflect the candid conversational style of the oral history format. Brackets and ellipses indicate where the text has been annotated or edited for clarity. Any personal opinions expressed in the interviews should not be considered the official views or opinions of NASA, the NASA History Office, NASA historians, or staff members.
      View the full article
  • Check out these Videos

×
×
  • Create New...