Members Can Post Anonymously On This Site
-
Similar Topics
-
By NASA
Credit: NASA Two proposals for missions to observe X-ray and far-infrared wavelengths of light from space were selected by NASA for additional review, the agency announced Thursday. Each proposal team will receive $5 million to conduct a 12-month mission concept study. After detailed evaluation of those studies, NASA expects to select one concept in 2026 to proceed with construction, for a launch in 2032.
The resulting mission will become the first in a new class of NASA astrophysics missions within the agency’s longstanding Explorers Program. The new mission class, Probe Explorers, will fill a gap between flagship and smaller-scale missions in NASA’s exploration of the secrets of the universe.
“NASA’s Explorers Program brings out some of the most creative ideas for missions that help us reveal the unknown about our universe. Establishing this new line of missions – the largest our Astrophysics program has ever competed – has taken that creativity to new heights,” said Nicola Fox, associate administrator, Science Mission Directorate at NASA Headquarters in Washington. “Both of the selected concepts could enable ground-breaking science responsive to the top astrophysics priorities of the decade, develop key technologies for future flagship missions, and offer opportunities for the entire community to use the new observatory, for the benefit of all.”
The National Academies of Sciences, Engineering, and Medicine’s 2020 Decadal Survey, Pathways to Discovery in Astronomy and Astrophysics for the 2020s, recommended NASA establish this new mission class, with the first mission observing either X-ray or far-infrared wavelengths of light. Mission costs for the new Probe Explorers are capped at $1 billion each, not including the cost of the rocket, launch services, or any contributions.
NASA evaluated Probe Explorers proposals based on their scientific merit in alignment with the Decadal Survey’s recommendations, feasibility of development plans, and use of technologies that could support the development of future large missions.
The selected proposals are:
Advanced X-ray Imaging Satellite
This mission would be an X-ray imaging observatory with a large, flat field-of-view and high spatial resolution. It would study the seeds of supermassive black holes; investigate the process of stellar feedback, which influences how galaxies evolve; and help determine the power sources of a variety of explosive phenomena in the cosmos. The observatory would build on the successes of previous X-ray observatories, capturing new capabilities for X-ray imaging and imaging spectroscopy. Principal investigator: Christopher Reynolds, University of Maryland, College Park Project management: NASA’s Goddard Space Flight Center in Greenbelt, Maryland Probe far-Infrared Mission for Astrophysics
This observatory would be a 5.9-foot (1.8-meter) telescope studying far-infrared wavelengths, helping bridge the gap between existing infrared observatories, such as NASA’s James Webb Space Telescope, and radio telescopes. By studying radiant energy that only emerges in the far-infrared, the mission would address questions about the origins and growth of planets, supermassive black holes, stars, and cosmic dust. Principal investigator: Jason Glenn, NASA Goddard Project management: NASA’s Jet Propulsion Laboratory in Southern California The Explorers Program is the oldest continuous NASA program designed to provide frequent, low-cost access to space using principal investigator-led space science investigations relevant to the Science Mission Directorate’s astrophysics and heliophysics programs. Since the Explorer 1 launch in 1958, which discovered Earth’s radiation belts, the Explorers Program has launched more than 90 missions, including the Uhuru and Cosmic Background Explorer missions that led to Nobel prizes for their investigators.
The Explorers Program is managed by NASA Goddard for the Science Mission Directorate, which conducts a wide variety of research and scientific exploration programs for Earth studies, space weather, the solar system and universe.
For more information about the Explorers Program, visit:
https://explorers.gsfc.nasa.gov
-end-
Alise Fisher
Headquarters, Washington
202-617-4977
alise.m.fisher@nasa.gov
Share
Details
Last Updated Oct 03, 2024 EditorJessica TaveauLocationNASA Headquarters Related Terms
Science Mission Directorate Astrophysics Division Astrophysics Explorers Program 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
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
-
-
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.