Members Can Post Anonymously On This Site
-
Similar Topics
-
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
-
By NASA
2 min read
Preparations for Next Moonwalk Simulations Underway (and Underwater)
NASA logo In fiscal year 2023, NASA investments supported 66,208 jobs in the state of California, generated $18.5 billion in economic output and $1 billion in tax revenue to the state’s economy.
Overall, NASA generated an estimated $9.5 billion in federal, state, and local taxes throughout the United States.
NASA’s Armstrong Flight Research Center in Edwards, California is one of three NASA centers in the state that contributes to this economic achievement. The center supports critical research in sustainable flight, air mobility, and airborne science, reinforcing the region as a hub of aerospace innovation.
Most notably, NASA Armstrong plays a unique role in the Quesst mission and X-59 project, aimed at reducing the sonic booms into quieter “sonic thumps,” to change regulations impeding supersonic flight over land. Additionally, maturing key airframe technologies with the X-66 aircraft in the Sustainable Flight Demonstrator project which may influence the next generation single-aisle seat class airliner. The Center also supports the research of electric air taxis and drones to operate safely in the national airspace as well as supporting science aircraft for NASA’s Earth Science Mission.
NASA’s Moon to Mars campaign generated 16,129 jobs and $4.7 billion in economic output in California. Collaborations with contractors like Boeing and Lockheed Martin further extended these benefits by creating thousands of high-skilled jobs in the Antelope Valley and across the state.
NASA also fosters partnerships with educational institutions across the state, investing $39.5 million in universities to cultivate the next generation of aerospace innovators. These investments bring STEM opportunities to local communities and prepare students for careers in cutting-edge industries – adding to the agency’s most valuable asset, its workforce.
NASA embraces the challenges of exploring the unknown and making the impossible possible as we continue our global leadership in science, human spaceflight, aerospace innovation, and technology development, and support the U.S. economy and benefit all.
Read the full Economic Impact Report for Fiscal Year 2023.
-end-
Nicolas Cholula / Sarah Mann
NASA’s Armstrong Flight Research Center
661-714-3853 / 661-233-2758
nicolas.h.cholula@nasa.gov /sarah.mann@nasa.gov
Share
Details
Last Updated Oct 24, 2024 EditorDede DiniusContactNicolas Cholulanicolas.h.cholula@nasa.govSarah Mannsarah.mann@nasa.govLocationArmstrong Flight Research Center Related Terms
Armstrong Flight Research Center Explore More
4 min read NASA Pilots Add Perspective to Research
Article 1 week ago 3 min read Sacrifice and Success: NASA Engineer Honors Family Roots
Article 1 week ago 4 min read Sacrificio y Éxito: Ingeniero de la NASA honra sus orígenes familiares
Article 1 week ago Keep Exploring Discover More Topics From NASA
Armstrong Flight Research Center
Armstrong People
Armstrong Capabilities & Facilities
Aircraft Flown at Armstrong
View the full article
-
By European Space Agency
Video: 00:00:23 From 7 until 13 October 2024, ESA/NASA’s SOHO spacecraft recorded Comet C/2023 A3 (Tsuchinshan–ATLAS), the second brightest comet it has ever seen. Meanwhile, large amounts of material were being spewed out by the Sun (covered in the centre), and planet Mercury is visible to the left.
The comet’s nucleus is clearly visible, surrounded by a dusty coma and trailing an impressively long tail. SOHO sees the large dust tail edge-on, curving in on itself as it is pushed outward by solar wind.
At the end of the video you can also see a rare phenomenon known as an ‘anti-tail’: a long, thin line that points towards the Sun. This tail is an optical illusion coming from SOHO getting an edge-on view of the larger cometary dust particles that accumulate in the comet’s orbital plane.
Comet C/2023 A3 was seen for the first time early last year. It most likely came from the distant Oort cloud, and the last time this comet flew through the inner Solar System (if ever) was at least 80 000 years ago.
The comet reached an estimated peak brightness just beyond –4 magnitude. (The more negative the visual magnitude value, the brighter the object.) Of the more than 5000 comets SOHO has seen flying past the Sun, only Comet C/2006 P1 (McNaught) was brighter, with a visual magnitude of –5.5.
SOHO’s location between the Sun and Earth gave it a front-row seat, but the same comet has been visible from Earth every evening since 12 October 2024. Throughout October, as the comet moves farther away from the Sun, it will gradually grow fainter and rise higher up in the western sky.
The week that SOHO watched Comet Tsuchinshan–ATLAS was also a wild one in terms of space weather. The Sun unleashed no less than 4 X-class flares (the highest intensity type of flare), 28 medium-intensity M-class flares, and 31 coronal mass ejections – the latter being visible as white clouds of material in the video. All this activity led to two geomagnetic storms on Earth, resulting in beautiful auroras lighting up the night sky.
SOHO, short for Solar and Heliospheric Observatory, is a joint ESA-NASA mission to study the Sun. For almost 29 years now, it has been watching the Sun itself as well as the much fainter light coming from the Sun’s outer atmosphere, called the solar corona. The data shown in this video were taken by the LASCO C3 coronagraph instrument.
Special thanks to Simeon Schmauß, who processed the raw data to create this impressive video. For comparison, here is a video of the comet with more standard data processing – the comet is so bright that it partially saturated SOHO’s sensor.
What types of comets are there?
How are comets named?
View the full article
-
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
-
-
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.