| 1. |
- Tinetti, Giovanna, et al.
(författare)
-
The EChO science case
- 2015
-
Ingår i: Experimental astronomy. - : Springer Science and Business Media LLC. - 0922-6435 .- 1572-9508. ; 40:2-3, s. 329-391
-
Tidskriftsartikel (refereegranskat)abstract
- The discovery of almost two thousand exoplanets has revealed an unexpectedly diverse planet population. We see gas giants in few-day orbits, whole multi-planet systems within the orbit of Mercury, and new populations of planets with masses between that of the Earth and Neptune-all unknown in the Solar System. Observations to date have shown that our Solar System is certainly not representative of the general population of planets in our Milky Way. The key science questions that urgently need addressing are therefore: What are exoplanets made of? Why are planets as they are? How do planetary systems work and what causes the exceptional diversity observed as compared to the Solar System? The EChO (Exoplanet Characterisation Observatory) space mission was conceived to take up the challenge to explain this diversity in terms of formation, evolution, internal structure and planet and atmospheric composition. This requires in-depth spectroscopic knowledge of the atmospheres of a large and well-defined planet sample for which precise physical, chemical and dynamical information can be obtained. In order to fulfil this ambitious scientific program, EChO was designed as a dedicated survey mission for transit and eclipse spectroscopy capable of observing a large, diverse and well-defined planet sample within its 4-year mission lifetime. The transit and eclipse spectroscopy method, whereby the signal from the star and planet are differentiated using knowledge of the planetary ephemerides, allows us to measure atmospheric signals from the planet at levels of at least 10(-4) relative to the star. This can only be achieved in conjunction with a carefully designed stable payload and satellite platform. It is also necessary to provide broad instantaneous wavelength coverage to detect as many molecular species as possible, to probe the thermal structure of the planetary atmospheres and to correct for the contaminating effects of the stellar photosphere. This requires wavelength coverage of at least 0.55 to 11 mu m with a goal of covering from 0.4 to 16 mu m. Only modest spectral resolving power is needed, with R similar to 300 for wavelengths less than 5 mu m and R similar to 30 for wavelengths greater than this. The transit spectroscopy technique means that no spatial resolution is required. A telescope collecting area of about 1 m(2) is sufficiently large to achieve the necessary spectro-photometric precision: for the Phase A study a 1.13 m(2) telescope, diffraction limited at 3 mu m has been adopted. Placing the satellite at L2 provides a cold and stable thermal environment as well as a large field of regard to allow efficient time-critical observation of targets randomly distributed over the sky. EChO has been conceived to achieve a single goal: exoplanet spectroscopy. The spectral coverage and signal-to-noise to be achieved by EChO, thanks to its high stability and dedicated design, would be a game changer by allowing atmospheric composition to be measured with unparalleled exactness: at least a factor 10 more precise and a factor 10 to 1000 more accurate than current observations. This would enable the detection of molecular abundances three orders of magnitude lower than currently possible and a fourfold increase from the handful of molecules detected to date. Combining these data with estimates of planetary bulk compositions from accurate measurements of their radii and masses would allow degeneracies associated with planetary interior modelling to be broken, giving unique insight into the interior structure and elemental abundances of these alien worlds. EChO would allow scientists to study exoplanets both as a population and as individuals. The mission can target super-Earths, Neptune-like, and Jupiter-like planets, in the very hot to temperate zones (planet temperatures of 300-3000 K) of F to M-type host stars. The EChO core science would be delivered by a three-tier survey. The EChO Chemical Census: This is a broad survey of a few-hundred exoplanets, which allows us to explore the spectroscopic and chemical diversity of the exoplanet population as a whole. The EChO Origin: This is a deep survey of a subsample of tens of exoplanets for which significantly higher signal to noise and spectral resolution spectra can be obtained to explain the origin of the exoplanet diversity (such as formation mechanisms, chemical processes, atmospheric escape). The EChO Rosetta Stones: This is an ultra-high accuracy survey targeting a subsample of select exoplanets. These will be the bright "benchmark" cases for which a large number of measurements would be taken to explore temporal variations, and to obtain two and three dimensional spatial information on the atmospheric conditions through eclipse-mapping techniques. If EChO were launched today, the exoplanets currently observed are sufficient to provide a large and diverse sample. The Chemical Census survey would consist of > 160 exoplanets with a range of planetary sizes, temperatures, orbital parameters and stellar host properties. Additionally, over the next 10 years, several new ground- and space-based transit photometric surveys and missions will come on-line (e.g. NGTS, CHEOPS, TESS, PLATO), which will specifically focus on finding bright, nearby systems. The current rapid rate of discovery would allow the target list to be further optimised in the years prior to EChO's launch and enable the atmospheric characterisation of hundreds of planets.
|
|
| 2. |
- Filieri, Antonio, et al.
(författare)
-
Control Strategies for Self-Adaptive Software Systems
- 2017
-
Ingår i: ACM Transactions on Autonomous and Adaptive Systems. - : Association for Computing Machinery (ACM). - 1556-4665 .- 1556-4703. ; 11:4
-
Tidskriftsartikel (refereegranskat)abstract
- The pervasiveness and growing complexity of software systems are challenging software engineering to design systems that can adapt their behavior to withstand unpredictable, uncertain, and continuously changing execution environments. Control theoretical adaptation mechanisms have received growing interest from the software engineering community in the last few years for their mathematical grounding, allowing formal guarantees on the behavior of the controlled systems. However, most of these mechanisms are tailored to specific applications and can hardly be generalized into broadly applicable software design and development processes.This article discusses a reference control design process, from goal identification to the verification and validation of the controlled system. A taxonomy of the main control strategies is introduced, analyzing their applicability to software adaptation for both functional and nonfunctional goals. A brief extract on how to deal with uncertainty complements the discussion. Finally, the article highlights a set of open challenges, both for the software engineering and the control theory research communities.
|
|
| 3. |
- Filieri, Antonio, et al.
(författare)
-
Software Engineering Meets Control Theory
- 2015
-
Ingår i: 2015 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems. - Piscataway, NJ, USA : IEEE Press. - 9780769555676 ; , s. 71-82
-
Konferensbidrag (refereegranskat)abstract
- The software engineering community has proposed numerous approaches for making software self-adaptive. These approaches take inspiration from machine learning and control theory, constructing software that monitors and modifies its own behavior to meet goals. Control theory, in particular, has received considerable attention as it represents a general methodology for creating adaptive systems. Control-theoretical software implementations, however, tend to be ad hoc. While such solutions often work in practice, it is difficult to understand and reason about the desired properties and behavior of the resulting adaptive software and its controller. This paper discusses a control design process for software systems which enables automatic analysis and synthesis of a controller that is guaranteed to have the desired properties and behavior. The paper documents the process and illustrates its use in an example that walks through all necessary steps for self-adaptive controller synthesis.
|
|
| 4. |
- Hoffmann, Henry, et al.
(författare)
-
Self-aware computing in the Angstrom processor
- 2012
-
Ingår i: Proceedings of the 49th Annual Design Automation Conference. - New York, NY, USA : ACM. - 9781450311991 ; , s. 259-264
-
Konferensbidrag (refereegranskat)abstract
- Addressing the challenges of extreme scale computing re- quires holistic design of new programming models and sys- tems that support those models. This paper discusses the Angstrom processor, which is designed to support a new Self-aware Computing (SEEC) model. In SEEC, applications explicitly state goals, while other systems components provide actions that the SEEC runtime system can use to meet those goals. Angstrom supports this model by ex- posing sensors and adaptations that traditionally would be managed independently by hardware. This exposure allows SEEC to coordinate hardware actions with actions specified by other parts of the system, and allows the SEEC runtime system to meet application goals while reducing costs (e.g., power consumption).
|
|
