Related papers: The INTEGRAL Core Observing Programme
Runtime Monitoring is a lightweight and dynamic verification technique that involves observing the internal operations of a software system and/or its interactions with other external entities, with the aim of determining whether the system…
This document defines the core components of the Observation data model that are necessary to perform data discovery when querying data centers for observations of interest. It exposes use-cases to be carried out, explains the model and…
The virtual observatory (VO) is a collection of interoperable data archives, tools and applications that together form an environment in which original astronomical research can be carried out. The VO is opening up new ways of exploiting…
Detections of transiting planets from the upcoming PLATO mission are expected to face significant contamination from contaminating eclipsing binaries, resulting in false positives. To counter this, a ground-based programme to acquire…
The objective of this article is to provide for the reader a basic description of all the steps involved in the COM object life-cycle process. COM is a software technology and process performer. The first section briefly introduces the…
Data processing pipelines represent an important slice of the astronomical software library that include chains of processes that transform raw data into valuable information via data reduction and analysis. In this work we present Corral,…
The CLEAR Space Weather Center of Excellence (CLEAR center) is a five year project that is funded by the NASA Space Weather Center of Excellence program. The CLEAR center will build a comprehensive prediction framework for solar energetic…
We present the theoretical analysis and proofs of a recently developed algorithm that allows for optimal planning over long and infinite horizons for achieving multiple independent tasks that are partially observable and evolve over time.
SONG aims at setting up a network of small 1m telescopes around the globe to observe stars uninterrupted throughout days, weeks and even months. This paper describes the fundamental aspects for putting up such a network and how we will…
This paper presents a framework for monitoring human and robot conditions in human multi-robot interactions. The proposed framework consists of four modules: 1) human and robot conditions monitoring interface, 2) synchronization time…
Remote observing can be broadly defined as those observations where the astronomer is not physically present at the telescope. Different implementations presently in use include robotic telescopes, service observing with or without…
The Cosmic-Ray Extremely Distributed Observatory (CREDO) is a project dedicated to global studies of extremely extended cosmic-ray phenomena, the cosmic-ray ensembles (CRE), beyond the capabilities of existing detectors and observatories.…
The ubiquity of technology in our daily lives and the economic stability of the technology sector in recent years, especially in areas with a computer science footing, has led to an increase in computer science enrollment in many parts of…
The INTEGRAL Burst Alert System (IBAS) is the software for real time detection of Gamma Ray Bursts (GRBs) and the rapid distribution of their coordinates. IBAS has been running almost continuously at the INTEGRAL Science Data Center since…
This set of theories presents a formalisation in Isabelle/HOL+Isar of data dependencies between components. The approach allows to analyse system structure oriented towards efficient checking of system: it aims at elaborating for a concrete…
The observed cosmic acceleration presents the physics and cosmology communities with amazing opportunities to make exciting, probably even radical advances in these fields. This topic is highly data driven and many of our opportunities…
Based on the analysis of approaches to the definition of professional competencies of IT students the competence in programming of bachelor of informatics is proposed. Due to the standard of training in 040302 "Informatics" and Computing…
In the age of Large Programs and Big Data a key component in project planning for ground-based astronomical observatories is understanding how to balance users demands and telescope capabilities. In particular, future planning for…
A covering integer program (CIP) is a mathematical program of the form: min {c^T x : Ax >= 1, 0 <= x <= u, x integer}, where A is an m x n matrix, and c and u are n-dimensional vectors, all having non-negative entries. In the online…
Monitoring is the study of a system at runtime, looking for input and output events to discover, check or enforce behavioral properties. Interactive debugging is the study of a system at runtime in order to discover and understand its bugs…