DOCSLIB.ORG

A Formal Approach to Specifying and Verifying Spacecraft Behavior

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A Formal Approach to Specifying and Verifying Spacecraft Behavior Utah State University DigitalCommons@USU All Graduate Theses and Dissertations Graduate Studies 5-2007 A Formal Approach to Specifying and Verifying Spacecraft Behavior Allan I.S. McInnes Utah State University Follow this and additional works at: https://digitalcommons.usu.edu/etd Part of the Electrical and Computer Engineering Commons Recommended Citation McInnes, Allan I.S., "A Formal Approach to Specifying and Verifying Spacecraft Behavior" (2007). All Graduate Theses and Dissertations. 268. https://digitalcommons.usu.edu/etd/268 This Dissertation is brought to you for free and open access by the Graduate Studies at DigitalCommons@USU. It has been accepted for inclusion in All Graduate Theses and Dissertations by an authorized administrator of DigitalCommons@USU. For more information, please contact [email protected]. A FORMAL APPROACH TO SPECIFYING AND VERIFYING SPACECRAFT BEHAVIOR by Allan I. S. McInnes A dissertation submitted in partial fulfillment of the requirements for the degree of DOCTOR OF PHILOSOPHY in Electrical Engineering Approved: Dr. Charles M. Swenson Dr. Gardiner S. Stiles Major Professor Committee Member Dr. YangQuan Chen Dr. Rees R. Fullmer Committee Member Committee Member Dr. Brandom Eames Dr. Byron R. Burnham Committee Member Dean of Graduate Studies UTAH STATE UNIVERSITY Logan, Utah 2007 ii Copyright c Allan I. S. McInnes 2007 All Rights Reserved iii Abstract A Formal Approach to Specifying and Verifying Spacecraft Behavior by Allan I. S. McInnes, Doctor of Philosophy Utah State University, 2007 Major Professor: Dr. Charles M. Swenson Department: Electrical and Computer Engineering Process algebra can provide spacecraft designers with a mathematical formalism for specifying, understanding, analyzing, and verifying spacecraft system behavior. Although it is standard practice to mathematically model and analyze the subsystems of a spacecraft to ensure that they will function correctly when built, the system-level behavior of the spacecraft is generally understood in much less rigorous terms. This leaves the spacecraft system vulnerable to design errors which may not become apparent until the integration and test phase, when design changes are most expensive. In this dissertation, we develop a formal approach to engineering spacecraft behavior, based on mathematical models of behavior expressed using the process algebra Communicating Sequential Processes. This new approach to spacecraft behavior is intended to help spacecraft systems engineers to model and analyze proposed spacecraft system designs in a rigorous manner, and to detect subtle specification and design errors earlier in the design process than the errors would otherwise be found. (309 pages) iv To Mum and Dad. They've always believed I could do it, whatever the it was. v Acknowledgments Completing this dissertation has been a far more difficult, and yet rewarding, experience than I ever imagined it would be when I first set out to obtain a Ph.D. It's safe to say that I wouldn't have even come close to reaching that goal without the support and encouragement of a lot of different people (and several coffee-houses). First and foremost, I'd like to thank my advisor, Dr. Charles Swenson, for getting me started on this path in the first place, and for keeping me on it once I was there. Chuck has been willing to let me pursue my own wild ideas on spacecraft systems engineering (giving me enough rope to hang myself with?), for which I'm very grateful. The other members of my committee have also been an invaluable part of my graduate experience. Dr. Dyke Stiles introduced me to CSP, fielded my many questions on the finer points of CSP semantics, proof-read early drafts of some of the chapters contained herein, and helped to introduce me to the wider CSP community. This dissertation obviously could not exist without him. Dr. Brandon Eames has been a great collaborator (co-conspirator?), over the past year or so. I've enjoyed our wide-ranging discussions on modeling languages, embedded systems, and the joys of programming in Mozart/Oz. Dr. Rees Fullmer has been as much a friend as a committee member, and always good for an interesting conversation, or a discussion of the importance of coffee. Dr. YangQuan Chen has provided ongoing encouragement for me to finish my degree: I can't count the number of times I've run into Dr. Chen in the corridor, and had him express surprise that I was still there. I'd also like to thank Dr. Kevin Moore and Dr. Annette Bunker, both former members of my committee, for their influence on my graduate career. My Ph.D. studies from August 2003 through August 2006 were generously supported through a Space Dynamics Laboratory Tomorrow Ph.D. Fellowship. I am extremely grateful to SDL for awarding me the fellowship, and wish to extend special thanks to Dr. Steve Hansen and Dr. Pat Patterson for taking a continuing interest in my work and personal well-being. vi My friends around USU, Aroh, Dave, Todd, Mike, Mary, Justin, Laurie, Cynthia, Megan, and Jeff K, somehow managed to make Logan a fun place to be. I wish more of you could have stayed in Logan the whole 3 years I was there. But I'm thankful for every moment that you were around. Erin gave me endless moral support and encouragement through the majority of my work on this dissertation. I'm sorry that she wasn't able to see this through to the end with me, but grateful for the support she gave me. In Logan, Caffe Ibis was my home away from home. In Boulder, the cast and crew of the Folsom St. Coffee Co. have probably started to wonder if I'm bolted to the floor. Thanks to the staff and regulars at both coffee-houses. It's funny how Leland and I always seem to end up working on graduate degrees at the same time. I'm not sure why that happens. The important thing was that we both went through this at the same time, and could lean on each other when we needed to. Or just have a long-winded conversation about some esoteric aspect of software engineering, if that was more what we needed. Last, but by no means least, I want to thank Mum and Dad. For everything. You brought me into this world, made me who I am, and have supported me through everything I've ever done, or tried to do. I know just how lucky I am, and I'm eternally grateful that you are my parents. Thank you. Allan McInnes vii Contents Page Abstract ::::::::::::::::::::::::::::::::::::::::::::::::::::::: iii Acknowledgments ::::::::::::::::::::::::::::::::::::::::::::::: v List of Tables ::::::::::::::::::::::::::::::::::::::::::::::::::: x List of Figures :::::::::::::::::::::::::::::::::::::::::::::::::: xi Notation ::::::::::::::::::::::::::::::::::::::::::::::::::::::: xiv Acronyms ::::::::::::::::::::::::::::::::::::::::::::::::::::::xviii 1 Introduction ::::::::::::::::::::::::::::::::::::::::::::::::: 1 1.1 Motivation....................................2 1.2 State of the Art..................................3 1.3 Approach.....................................5 1.4 Plan of the Dissertation.............................7 2 Related Work :::::::::::::::::::::::::::::::::::::::::::::::: 9 2.1 Formal Methods.................................9 2.2 CSP........................................ 10 2.2.1 Recent Research............................. 11 2.2.2 Practical Applications.......................... 13 2.3 Formalizing Aspects of Spacecraft Behavior.................. 14 2.3.1 CSP.................................... 15 2.3.2 Promela/Spin ............................... 16 2.3.3 Other Formalisms............................ 17 2.4 Summary..................................... 18 3 The Process Algebra CSP :::::::::::::::::::::::::::::::::::::: 19 3.1 CSP Notation................................... 20 3.1.1 Events................................... 21 3.1.2 Prefixing and Recursion......................... 21 3.1.3 Parallel Composition........................... 22 3.1.4 Alternative Composition......................... 25 3.1.5 Channels................................. 26 3.1.6 Sequential Composition......................... 28 3.1.7 Hiding................................... 29 3.1.8 Scoping.................................. 30 3.2 CSP Theory.................................... 31 3.2.1 Denotational Models........................... 31 viii 3.2.2 Algebraic Laws.............................. 38 3.2.3 Operational Semantics.......................... 41 3.3 Specification and Verification with CSP.................... 43 3.3.1 Predicate Satisfaction.......................... 44 3.3.2 Process Refinement............................ 45 4 Specifying Spacecraft System Behavior ::::::::::::::::::::::::::: 47 4.1 Required Functions................................ 48 4.1.1 Defining Function............................ 48 4.1.2 Function vs. Behavior.......................... 50 4.1.3 Lifting Function to Behavior...................... 51 4.2 Components of Spacecraft Behavior...................... 56 4.2.1 Event Sequences............................. 56 4.2.2 State Transition Systems........................ 57 4.2.3 Event-Triggered Behaviors........................ 60 4.2.4 Defining Other Types of Behavior................... 61 4.3 Specifying Composite Spacecraft Behavior................... 63 4.3.1 Shared States............................... 64 4.3.2 Constraints................................ 70 4.3.3 Composite Behavior Specifications................... 81 4.3.4 Checking Composite Behavior...................... 86 4.4 Summary..................................... 89 5 Modeling Spacecraft Subsystem Interactions ::::::::::::::::::::::: 90 5.1 A Motivating Example.............................
Load more

Recommended publications
  • The X-Ray Imaging Polarimetry Explorer
    Call for a Medium-size mission opportunity in ESA‟s Science Programme for a launch in 2025 (M4) XXIIPPEE The X-ray Imaging Polarimetry Explorer Lead Proposer: Paolo Soffitta (INAF-IAPS, Italy) Contents 1. Executive summary ................................................................................................................................................ 3 2. Science case ........................................................................................................................................................... 5 3. Scientific requirements ........................................................................................................................................ 15 4. Proposed scientific instruments............................................................................................................................ 20 5. Proposed mission configuration and profile ........................................................................................................ 35 6. Management scheme ............................................................................................................................................ 45 7. Costing ................................................................................................................................................................. 50 8. Annex ................................................................................................................................................................... 52 Page 1 XIPE is proposed
    [Show full text]
  • Max-Planck-Institut Für Extraterrestrische
    The X-ray Universe 2011, Berlin Max-Planck-Institut für extraterrestrische Physik Download this poster here: http://www.xray.mpe.mpg.de/~hbrunner/Berlin2011Poster.pdf eROSITA: all-sky survey data reduction, source characterization, and X-ray catalogue creation Hermann Brunner1, Thomas Boller1, Marcella Brusa1, Fabrizia Guglielmetti1, Georg Lamer2, Jan Robrade3, Christian Schmid4, Nico Cappelluti5, Francesco Pace6, Mauro Roncarelli7 1Max-Planck-Institut für extraterrestrische Physik, Garching, 2Leibniz-Institut für Astrophysik, Potsdam, 3Hamburger Sternwarte, 4Dr. Karl Remeis-Sternwarte und ECAP, 5INAF-Osservatorio Astronomico di Bologna, 6Zentrum für Astronomie der Universität Heidelberg, 7Dipartimento di Astronomico, Università di Bologna eROSITA on SRG All-sky survey sensitivity eROSITA (extended Roentgen Survey with an Imaging Telescope Array) is the primary instrument on the Russian Spektrum-Roentgen-Gamma (SRG) mission, scheduled for launch in 2013. eROSITA consists of Effective area on axis 15´Background off-axis 30´off-axis seven Wolter-I telescope modules, each of which is equipped with 54 mirror shells with an outer diameter of 36 cm and a fast frame-store pn-CCD, resulting in a field-of-view (1o diameter) averaged PSF of 25´´-30´´ 1 keV HEW (on-axis: 15´´ HEW) and an effective area of 1500 cm2 at 1.5 keV. eROSITA/SRG will perform a four year long all-sky survey, to be followed be several years of pointed observations (Predehl et al. 2010). More info on eROSITA: http://www.mpe.mpg.de/erosita/ 4 keV eROSITA orbit and scanning strategy 7 keV Orbit: eROSITA/SRG will be placed in an Averaged all-sky survey PSF (examples) L2 orbit with a semi-major axis of about 1 million km and an orbital period of about 6 months.
    [Show full text]
  • Exploring the Sky with Erosita
    Exploring the X-ray Sky with eROSITA for the eROSITA Team Observatories and mission timelines Basic Scientific Idea …. to extend the ROSAT all-sky survey up to 12 keV with an XMM type sensitivity Historical Development Spectrum-XG Jet-X, SODART, etc. ROSAT 1990-1998 First X-ray all-sky survey with an imaging telescope Negotiations between Roskosmos and ESA ABRIXAS 1999 on a "new" Spectrum-XG mission (2005) To extend the all-sky survey towards higher energies Agreement between Roskosmos and DLR (2007) ROSITA 2002 Spectrum-RG ABRIXAS science on the eROSITA International Space Station Dark Energy 105 Clusters of Galaxies extended ROentgen Survey with an Imaging Telescope Array Mission scenario & Instrument specification • 3 month calibration & science verification phase • 4 yrs all-sky survey (8 sky coverages) • 2.7 yrs pointed observations • Energy range 0.2 - 12 keV • FOV: 1 degree • All-sky survey sensitivity ~ 6 x10-14 erg cm-2 s-1 ~ (10 – 30) x ROSAT • Deep survey field(s) (~100 sqdeg) with 5×10-15 erg cm-2 s-1 • Temporal resolution ~ 50 ms • Energy resolution ~ 130 ev @ 6 keV / 80 ev @ 1.5 keV • Angular resolution ~ 15” (20” survey) eROSITA status: completely approved and funded Mr. Putin gets informed about Dark Energy... Signature of the "Detailed Agreement" (Reichle, Wörner, Perminov) 50:50 data share between Ru / Germany HERCULES BOOTES URSA MAIOR DRACO URSA MINOR LEO CEPHEUS VIRGO CASSIOPEIA CYGNUS AURIGA AQUILA GEMINI PERSEUS ANDROMEDA SCORPIUS PEGASUS SAGITTARIUS CENTAURUS TAURUS ORION VELA CRUX CANIS MAIOR AQUARIUS CARINA HEMISPHAERA ORIENTALIS HEMISPHAERA OCCIDENTALIS Actual definition depends on mission planning eROSITA: Launch date ….
    [Show full text]
  • The X-Ray Background and the ROSAT Deep Surveys
    THE X–RAY BACKGROUND AND THE ROSAT DEEP SURVEYS G. HASINGER Astrophysikalisches Institut Potsdam, An der Sternwarte 16, 14482 Potsdam, Germany E-mail : [email protected] G. ZAMORANI Osservatorio Astronomico, Via Zamboni 33, Bologna, 40126, Italy E-mail: [email protected] In this article we review the measurements and understanding of the X-ray back- ground (XRB), discovered by Giacconi and collaborators 35 years ago. We start from the early history and the debate whether the XRB is due to a single, homo- geneous physical process or to the summed emission of discrete sources, which was finally settled by COBE and ROSAT. We then describe in detail the progress from ROSAT deep surveys and optical identifications of the faint X-ray source popula- tion. In particular we discuss the role of active galactic nuclei (AGNs) as dominant contributors for the XRB, and argue that so far there is no need to postulate a hypothesized new population of X-ray sources. The recent advances in the under- standing of X-ray spectra of AGN is reviewed and a population synthesis model, based on the unified AGN schemes, is presented. This model is so far the most promising to explain all observational constraints. Future sensitive X-ray surveys in the harder X-ray band will be able to unambiguously test this picture. 1 Introduction It is a heavy responsibility for us, as it would be for everybody else, to write a paper on the X–ray Deep Surveys and the X–ray background (XRB) for this book, in honour of Riccardo Giacconi.
    [Show full text]
  • Towards a New Generation Axion Helioscope
    Towards a new generation axion helioscope Igor G Irastorza Universidad de Zaragoza International Conference onParticle Physics IstambulIstambul,, Turkey,Turkey, June 2020--25th25th 2011 Outline TlkTalk bdbased on JCAP 06 (2011) 013 OutlineOutline:: – Axions: motivation,motivation, theorytheory,, cosmologycosmology.. – Solar axions & the axion helioscopppe concept ––PreviousPrevioushelioscopes & CAST ––TechnicalTechnicalprospects for a new helioscope – Sensitivity prospects ––ConclusionsConclusions ICPP, Istambul, June 2011 Igor G. Irastorza / Universidad de 2 Zaragoza AXION motivation Strong CP problem: why strong interactions seem not to violate CP? – CP violating term in QCD is not forbidden . But neutron electric dipole moment not observed. Natural answer if Peccei-Quinn mechanism exist. – New U(1) gl lob al symmet ry spontlbktaneously broken. As a result, new pseudoscalar, neutral and very light particle is predicted, the axion. It couples to the photon in every model. PRIMAKOFF EFFECT ICPP, Istambul, June 2011 Igor G. Irastorza / Universidad de 3 Zaragoza AXION motivation: Cosmology Axions are produced in the earlyyy Universe by a number of processes: – Axion realignment – Decay of axion strings NONNON--RELATIVISTICRELATIVISTIC – Decay of axion walls (COLD) AXIONS In general, Range of axion masses of 10--66 ––1010--33 eV are of interest for the axionto be the (main component of the) CDM. – Thermal production RELATIVISTIC (HOT) AXIONS In order to have substantial relativistic axiondensity, the axion mass must be close to 1 eV.eV. (ma >1.02 eV gives densities too much in excess to be compatible with latest CMB data) Hannestad et al, JCAP 0804 (2008) 019 [0803.1585 (astro-ph)] ICPP, Istambul, June 2011 Igor G. Irastorza / Universidad de 4 Zaragoza Solar Axions SlSolar axi ons prod uced db by ph otonoton--toto-- axion conversion of the solar plasma photons Solar axion flux [van Bibber PRD 39 (89)] [CAST JCAP 04(2007)010] Solar physics + Primakoff effect Only one unknown parameter ga ICPP, Istambul, June 2011 Igor G.
    [Show full text]
  • PLANETARIAN Journal of the International Planetarium Society Vol
    PLANETARIAN Journal of the International Planetarium Society Vol. 26, No.4, December 1997 Articles 6 Planetarium Mystique-Our Secret Weapon ..... Jon A. Marshall 12 Astronomy Link Update ........................................... Jim Manning 18 Invitations to IPS 2002 ............................................................. hosts 22 Minutes of the 1972 Council Meeting ............... Lee Ann Hennig Features 27 Computer Corner: Moontool & Jupiter's Moons ...... Ken Wilson 29 Regional Roundup ..................................................... Lars Broman 32 Book Reviews ............................................................ April S. Whitt 38 Planetarium Memories ................................... Kenneth E. Perkins 40 Mobile News Network ............................................. Sue Reynolds 43 Forum: NASA & Public Education ............................ Steve Tidey 47 Gibbous Gazette .................................................. Christine Shupla 50 What's New ................................................................ Jim Manning 53 Opening the Dome: Spirit of Dome .. Jon U. Bell/Carrie Meyers 56 President's Message ............................................. Thomas Kraupe 59 Planetechnica: Computer Imaging Basics ... Richard McColman 66 Jane's Corner ............................................................. Jane Hastings Seeing Is Believing! (Ps EDi'i[ZEe,arlums For further information contact Pearl Reilly: 1-800 .. 726-8805 I NSTRLJrvl fax: 1-504-764-7665 Planetarium Division email: [email protected]
    [Show full text]
  • Erosita Extended Roentgen Survey with an Imaging Telescope Array
    eROSITA extended ROentgen Survey with an Imaging Telescope Array Vadim Burwitz for the eROSITA Team: PI: Peter Predehl Co-Is: Hans Böhringer, Ulrich Briel, Hermann Brunner, Evgeniy Churazov, Michael Freyberg, Peter Friedrich, Günther Hasinger, Eckhard Kendziorra, Dieter Lutz, Norbert Meidinger, Mikhail Pavlinsky, Andrea Santangelo, Jürgen Schmitt, Axel Schwope, Matthias Steinmetz, Lothar Strüder, Rashid Sunyaev, Jörn Wilms System Engineer: Josef Eder Product Assurance: H. Bräuninger, M. Hengmith Electronics Engineering: W. Bornemann, O. Hälker, S. Hermann, W. Kink, S. Müller, O. Hans Mechanical Engineering: H. Huber, Chr. Rohé, L. Tiedemann, R. Schreib, B. Mican, K. Lehmann, H. Eibl, F. Huber, R. Sandmair, P. Straube, H. Kestler, F. Soller, J. Liebhart Mirror System, PANTER: P. Friedrich, W. Burkert, M. Freyberg, B. Budau, E. Pfeffermann, V. Burwitz + students CliThlEiiCooling, Thermal Engineering: MFüM. Fürmetz + stu dents CCD-Camera: N. Meidinger, R. Hartmann, G. Schächner, J. Elbs, S. Ebermayer Attitude: A. Schwope Calibration, Analysis: G. Hartner, U. Briel, K. Dennerl, R. Andritschke, Chr. Tenzer Laboratory, PUMA, Tests: M. Vongehr, R. Gaida, K. Dittrich, F. Schrey Ground Software, Simulation: H. Brunner,,pp, N. Cappelluti, G. Lamer, M. Mühlegg gg,,yer, J. Wilms, I. Kreykenbohm , Chr. Schmid Mission Planning: J. Schmitt, J. Robrade Institutes: Industry: Max-Planck-Institut für extraterrestrische Physik, Garching/D Media Lario/I Mirrors, Mandrels Space Research Institute IKI, Moscow/Ru Kayser-Threde/D Mirror Mechanics Univ. Tübingen/D Carl Zeiss/D Mirror Mandrels Univ. Hamburg/D Invent/D Telescope Structure Univ. Erlangen-Nürnberg/D pnSensor/D CCDs Astroppyhysikalisches Institut Potsdam/D EHP/B Cooling Max-Planck-Institut für Astrophysik/D RUAG/A Mechanisms, MLI ..
    [Show full text]
  • Erosita Science Book: Mapping the Structure of the Energetic Universe
    eROSITA Science Book: Mapping the Structure of the Energetic Universe A. Merloni1, P. Predehl1, W. Becker1, H. Böhringer1, T. Boller1, H. Brunner1, M. Brusa1, K. Dennerl1, M. Freyberg1, P. Friedrich1, A. Georgakakis1,2, F. Haberl1, G. Hasinger3, N. Meidinger1,4, J. Mohr5, K. Nandra1, A. Rau1, T.H. Reiprich6, J. Robrade7, M. Salvato1, A. Santangelo8, M. Sasaki8, A. Schwope9, J. Wilms10 and the German eROSITA Consortium Edited by S. Allen11,12, G. Hasinger3, K. Nandra1 1 Max-Planck-Institut für extraterrestrische Physik, Gießenbachstr. Postfach 1312, 85741 Garching, Germany 2 National Observatory of Athens, I. Metaxa & V. Paulou, Athens 15236, Greece 3 Institute for Astronomy, University of Hawaii, 2680 Woodlawn Drive, Honolulu, HI 96822-1839, USA 4 MPI Halbleiterlabor, Otto-Hahn-Ring 6, 81739 München, Germany 5 Department of Physics, Ludwig-Maximilians Universität, Scheinerstr. 1, 81679 München, Germany 6 Argelander-Institut für Astronomie der Universität Bonn, Auf dem Hügel 71, 53121 Bonn, Germany 7 Hamburger Sternwarte, Universität Hamburg, Gojenbergsweg 112, 21029 Hamburg, Germany 8 Institut für Astronomie und Astrophysik, Universität Tübingen, Sand 1, 72076 Tübingen, Germany 9 Leibniz-Institut für Astrophysik Potsdam, An der Sternwarte 16, 14482 Potsdam, Germany 10 Dr. Karl Remeis-Sternwarte & ECAP, Universität Erlangen-Nürnberg, Sternwartstr. 7, 96049 Bamberg, Germany 11 Kavli Institute for Particle Astrophysics and Cosmology, Department of Physics, Stanford University, 452 Lomita Mall, Stanford, CA 94305-4085, USA 12 SLAC National Accelerator Laboratory, 2575 Sand Hill Road, Menlo Park, CA 94025, USA 2 Executive Summary eROSITA (extended ROentgen Survey with an Imaging Telescope Array) is the primary instrument on the Russian Spektrum-Roentgen-Gamma (SRG) mission.
    [Show full text]
  • X-Ray Optics After 50 Years: a Roadmap to the Future G
    X-ray optics after 50 years: a roadmap to the future G. Pareschi INAF – Osservatorio Astronomico di Brera The Avengers - MARVEL http://www.washingtonpost.com/blogs/comic-riffs/post/the-avengers-trailer- 5-things-you-may-have-missed/2011/10/12/gIQAmCgPfL_blog.html The X-ray optics of the past (..but also current…) decades Mission Energy Foc. Length Coll. Area Diam . FOV HEW Techn. Band (m) (cm2) Max (arcmin) (arcsec (keV) (cm) XMM 0.2 - 12 7.5 1450 70 30 15 - 25 Ni repl. x 3 Chandra 0.2 - 8 10 400 120 16 0.5 Direct Polishing Swift 0.2 - 8 3.5 150 30 16 18 Ni repl. Suzaku 0.2 - 12 4.7 450 40 17 120 Al foils PS: now also NUSTAR, see later Manufacturing techniques utilized so far 1. Classical precision optical polishing and grinding Projects: Einstein, Rosat, Chandra Advantages: superb angular resolution Drawbacks: high mirror walls small number of nested mirror shells, high mass, high cost process Credits: NASA 2. Replication Projects: EXOSAT, SAX, JET-X/Swift, XMM, ABRIXAS, e- Rosita, ART-X Advantages: good angular resolution, high mirror “nesting” the same mandrels for many modules Credits: ESA Drawbacks: relatively high cost process; high mass/geom. area ratio (if Ni is used). 3. “Thin foil mirrors” Projects: BBXRT, ASCA, SODART, Suzaku,,ASTRO-H Advantages: high mirror “nesting” possibility, low mass/geom. area ratio (the foils are made of Al), cheap process Drawbacks: until now low imaging resolutions (1-3 arcmin) NB: Promising variation based on glass foils NUSTAR Credits: ISAS Present Astronomical optics technologies: HEW Vs Mass/geometrical area Nustar New Configuration Beppo-SAX soft X-ray (0.1 – 10 keV) concentrators • Wolter I double-cone approx.
    [Show full text]
  • Erosita on SRG
    eROSITA on SRG Jeremy Sanders on behalf of Peter Predehl Max-Planck-Institut für extraterrestrische Physik Transport to NPOL (Lavochkin), 25.1.2017 ‘Navigator’ platform ART-XC SRG just before shipment to Baikonur. Photo credit: S. Mamontov, RIA Novosti. Merloni, 5/2019 3 Spectrum-Roentgen-Gamma landed in Baikonur Unloading... Mounting of SRG on the Block DM-03 upper stage Docking of upper stage with Proton-M launch vehicle. Moving of launch vehicle to launch site planned today! eROSITA FAQs What is the launch date? June 21, 2019 When gets data public? D: Survey after 2 years, incrementally D: Pointed after 1 year, as usual How are data shared btw Ru/D? 50:50 in galactic coordinates Transient detections? Yes, of course. But... What is the sensitivity? Point sources: 3 - 12 x 10-15 erg/s/cm2 Ext. sources: 1 - 4 x 10-14 erg/s/cm2 Science with eROSITA First All-sky survey with an imaging telescope in mid-energy X-ray range Dark Energy Dark Matter 700.000 stars 100.000 Supernova Explosions Neutron Stars 3 Mill. Black Holes Clusters of Galaxies History ABRIXAS Bundle of 7 small telescopes To extend the all-sky survey towards higher energies ROSAT failed shortly after launch 1990-1998 1999 First X-ray all-sky survey with an imaging telescope ABRIXAS science on the International Space ROSITA Station 2002 eROSITA not realised due to Shuttle on Russian SRG schedule and ISS Mission contamination problems 105 Clusters of Galaxies 7 bigger mirror modules extended field of view Dark Energy DUO 104 Clusters of Galaxies 2004 SMEX-proposal, Fully funded lost against NuStar Merloni, 5/2019 13 August 2009 Detailed Agreement DLR and Roscosmos eROSITA Collaboration PI: P.
    [Show full text]
  • A Sourcebook for the Use of the FGAN Tracking and Imaging Radar for Satellite Imaging
    A Sourcebook for the Use of the FGAN Tracking and Imaging Radar for Satellite Imaging Version of 2012-04-22 Additional material for this sourcebook would be welcome. Please send it to [email protected] http://www.fhr.fgan.de/fhr/fhr_en.html Welcome to FHR The FGAN Research Institute for High Frequency Physics and Radar Techniques (FHR) is located on the southern boundary of North Rhine-Westphalia, on the slopes of the Wachtberg near Bonn. Its conspicuous characteristic is the "Kugel" (ball), the world´s largest radome with a diameter of 49 metres, which houses the space observation radar TIRA (tracking and imaging radar). The FGAN premises in Wachtberg near Bonn At the institute, concepts, methods and systems of electromagnetic sensors are developed, particularly in the field of radar, jointly with novel signal processing methods and innovative technology from the microwave to the lower Terahertz region. The institute´s competency, which is manifested by the highly complex experimental systems developed and maintained in-house, covers almost every aspect of modern radar techniques. Thus it secures the national counseling and judgment ability in the field of military technology. In view of the changes in politics and society, the institute is setting itself up for opening also to civilian applications of electromagnetic sensors. FHR is preparing to accept orders from the civilian sector. At the end of 2004, FHR had 157 employees, 56 of which were scientists with a university degree. The annual budget at present is about 11 million Euro, discounting the partial costs for FGAN administration. With its TIRA facility, several anechoic chambers for measuring electromagnetic fields, extensive technology centres for analogue and digital printed circuit boards, and RF measurement capability up to 600 GHz, the institute offers excellent possibilities not only for developing modern electromagnetic sensor systems, but also for training technical and scientific personnel.
    [Show full text]
  • Astronomy & Astrophysics the European Photon Imaging Camera
    A&A 365, L18–L26 (2001) Astronomy DOI: 10.1051/0004-6361:20000066 & c ESO 2001 Astrophysics The European Photon Imaging Camera on XMM-Newton: The pn-CCD camera? L. Str¨uder1,U.Briel1, K. Dennerl1, R. Hartmann2, E. Kendziorra4, N. Meidinger1,E.Pfeffermann1, C. Reppin1,B.Aschenbach1, W. Bornemann1,H.Br¨auninger1,W.Burkert1, M. Elender1,M.Freyberg1, F. Haberl1,G.Hartner1,F.Heuschmann1, H. Hippmann1, E. Kastelic1, S. Kemmer1, G. Kettenring1, W. Kink1,N.Krause1,S.M¨uller1, A. Oppitz1,W.Pietsch1,M.Popp1, P. Predehl1,A.Read1, K. H. Stephan1,D.St¨otter1,J.Tr¨umper1,P.Holl2, J. Kemmer2,H.Soltau2,R.St¨otter2, U. Weber2, U. Weichert2,C.vonZanthier2, D. Carathanassis3,G.Lutz3,R.H.Richter3,P.Solc3,H.B¨ottcher4, M. Kuster4,R.Staubert4,A.Abbey5, A. Holland5, M. Turner5, M. Balasini6,G.F.Bignami6, N. La Palombara6, G. Villa6, W. Buttler7,F.Gianini8,R.Lain´e8,D.Lumb8,andP.Dhez9 1 Max–Planck–Institut f¨ur extraterrestrische Physik, Giessenbachstraße, 85748 Garching, Germany 2 KETEK GmbH, Am Isarbach 30, 85764 Oberschleißheim, Germany 3 Max–Planck–Institut f¨ur Physik, F¨ohringer Ring 6, 80805 M¨unchen, Germany 4 Institut f¨ur Astronomie und Astrophysik, Waldh¨auser Str. 64, 72076 T¨ubingen, Germany 5 X-ray Astronomy Group, Dept. of Physics and Astronomy, Leicester University, Leicester, LE1 7RH, UK 6 Istituto di Fisica Cosmica “G. Occhialini”, CNR, Via E. Bassini 15/A, 20133 Milano, Italy 7 Ingenieurb¨uro Buttler, Eschenburg 55, 45276 Essen, Germany 8 ESTEC, PX, Postbus 299, 2200 AG Noordwijk, The Netherlands 9 LURE, Bˆat.
    [Show full text]