Members Can Post Anonymously On This Site
-
Similar Topics
-
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
Credit: NASA NASA has selected three additional companies to provide launch services for future agency missions through its VADR (Venture-Class Acquisition of Dedicated and Rideshare) contract.
The companies awarded are:
Arrow Science and Technology LLC of Webster, Texas Impulse Space Inc. of Redondo Beach, California Momentus Space LLC of San Jose, California The VADR contract is a firm-fixed-price, indefinite-delivery/indefinite-quantity instrument with an ordering period through Feb. 3, 2027 and a maximum total value of $300 million across all VADR contracts. NASA selected the new launch providers in accordance with VADR’s on-ramp provision, allowing the agency to add new capabilities not available or identified at the time of the initial award. NASA will issue firm-fixed-price task orders for launch services as needed for future agency and agency-sponsored missions.
The VADR contract builds on NASA’s previous procurement efforts, such as the VCLS (Venture Class Launch Services) and VCLS Demo 2, providing a broad range of Federal Aviation Administration-licensed commercial launch services capable of delivering Class D, CubeSats, and higher risk-tolerant payloads to a variety of orbits. By using a lower level of mission assurance and commercial best practices for launching rockets, these highly flexible contracts help broaden access to space through lower launch costs and serve as an ideal platform for contributing to NASA’s science research and technology development.
NASA’s Launch Services Program, based at the agency’s Kennedy Space Center in Florida, manages the VADR contracts. The program also works with private industry, spacecraft projects, and international partners to launch science payloads ranging from small satellites with colleges and universities to NASA’s highest priority missions.
For more information about NASA’s launch services, visit:
https://go.nasa.gov/46SorXk
-end-
Josh Finch / Julian Coltre
Headquarters, Washington
202-358-1100
joshua.a.finch@nasa.gov / julian.n.coltre@nasa.gov
Patti Bielling / Amanda Griffin
Kennedy Space Center, Florida
321-501-7575 / 321-593-6244
patricia.a.bielling@nasa.gov / amanda.griffin@nasa.gov
Share
Details
Last Updated Aug 22, 2024 LocationNASA Headquarters Related Terms
Space Operations Mission Directorate CubeSats Kennedy Space Center Launch Services Office Launch Services Program NASA Headquarters View the full article
-
By NASA
Earth as viewed from the International Space Station.Credit: NASA The NASA-funded Translational Research Institute for Space Health (TRISH) announced its selections for the institute’s 2024 postdoctoral fellowship, a space health program intended to launch the careers of a new generation of researchers tackling various challenges involved with human space exploration.
The program supports early-career scientists pursuing research with the potential to reduce the health risks associated with spaceflight. Selected fellows will participate in TRISH’s Academy of Bioastronautics, a mentorship community for space health professionals, and receive a two-year salary stipend. Fellows were selected based on the strengths of the various projects they proposed. Projects are expected to begin in September.
“Our TRISH program has always prioritized providing the next generation with the tools to further human health in space,” said Dr. Rihana Bokhari, acting TRISH chief scientific officer and assistant professor at Baylor College of Medicine in Houston. “As space becomes more accessible to more people, investing in these early-career scientists is necessary to develop solutions to mitigate the health risks that life in space may pose. We are eager to have this group join our postdoctoral fellowship program and enhance their research for spaceflight.”
The following fellows were selected:
Carolyn Chlebek, Ph.D.
MaineHealth
Mentor: Clifford Rosen, M.D.
Project: Bone Metabolism is Altered by Skeletal Unloading and Nutrient Limitation During Long-duration Spaceflight
Katharyn Flickinger, Ph.D.
University of Pittsburgh
Mentor: Clifton Callaway, M.D., Ph.D.
Project: Metabolic Measurement, Manipulation, and Countermeasure Strategies
Patrick Opdensteinen, M.Sc., Ph.D.
University of California, San Diego
Mentor: Nicole Steinmetz, Ph.D. Project: Streamlined Molecular Farming of Virus-Like Particle (VLP) Therapeutics in Space
The institute is supported by NASA’s Human Research Program to solve the challenges of human deep space exploration. Led by Baylor College of Medicine’s Center for Space Medicine, the consortium leverages partnerships with Caltech in Pasadena, California and Massachusetts Institute of Technology in Cambridge.
NASA’s Human Research Program pursues the best methods and technologies to support safe, productive human space travel. Through science conducted in laboratories, ground-based analogs, and missions to the International Space Station, the program scrutinizes how spaceflight affects human bodies and behaviors. Such research continues to drive NASA’s mission to innovate ways that keep astronauts healthy as space exploration expands to the Moon, Mars, and beyond.
-end-
Kelly Humphries / Laura Sorto
Johnson Space Center, Houston
281-483-5111
kelly.o.humphries@nasa.gov / laura.g.sorto@nasa.gov
View the full article
-
By European Space Agency
Video: 00:38:43 Australian Space Agency astronaut candidate Katherine Bennell-Pegg joined ESA’s astronaut candidates from the class of 2022 for basic training through a cooperation agreement with ESA. Tune in as she shares her experiences in astronaut training, her favourite lessons, and what keeps her inspired on her journey to the stars!
This is episode 7 of our ESA Explores podcast series introducing the ESA astronaut class of 2022, recorded in March 2024.
Find out more about the ESA astronaut class of 2022.
Access all ESA Explores podcasts.
View the full article
-
By European Space Agency
Video: 00:24:06 John McFall, a member of the European astronaut reserve from the ESA astronaut class of 2022, brings a diverse background to his role. With experience as an orthopaedic and trauma surgeon and a former Paralympic sprinter, John is participating in the groundbreaking "Fly!" feasibility study. This initiative seeks to enhance our comprehension of the challenges posed by space flight for astronauts with physical disabilities, aiming to overcome these barriers. Tune in to discover more about John and the "Fly!" project.
This is Episode 9 of our ESA Explores podcast series, delving into everything you want to know about the ESA astronaut class of 2022. Recorded in November 2023.
Find out more about John.
About the ESA astronaut class of 2022.
Hosted by Laura Zurmühlen, with audio editing and music by Denzel Lorge, and cover art by Gaël Nadaud.
Access all ESA Explores podcasts.
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.