Learn More
Model-based development is becoming an increasingly common development methodology. In important domains like embedded systems already major parts of the code are generated from models specified with domain-specific modelling languages. Hence, such models are nowadays an integral part of the software development and maintenance process and therefore have a(More)
Context. The Crab nebula was observed with the HESS stereoscopic Cherenkov-telescope array between October 2003 and January 2005 for a total of 22.9 h (after data quality selection). This period of time partly overlapped with the commissioning phase of the experiment; observations were made with three operational telescopes in late 2003 and with the(More)
Code cloning is not only assumed to inflate maintenance costs but also considered defect-prone as inconsistent changes to code duplicates can lead to unexpected behavior. Consequently, the identification of duplicated code, clone detection, has been a very active area of research in recent years. Up to now, however, no substantial investigation of the(More)
Model-based testing relies on behavior models for the generation of model traces: input and expected output---test cases---for an implementation. We use the case study of an automotive network controller to assess different test suites in terms of error detection, model coverage, and implementation coverage. Some of these suites were generated automatically(More)
A significant fraction of the energy density of the interstellar medium is in the form of high-energy charged particles (cosmic rays). The origin of these particles remains uncertain. Although it is generally accepted that the only sources capable of supplying the energy required to accelerate the bulk of Galactic cosmic rays are supernova explosions, and(More)
The origin of Galactic cosmic rays (with energies up to 10 15 eV) remains unclear, though it is widely believed that they originate in the shock waves of expanding supernova remnants [1][2]. Currently the best way to investigate their acceleration and propagation is by observing the γ-rays produced when cosmic rays interact with interstellar gas [3]. Here(More)
Aims. We present results from deep observations of the Galactic shell-type supernova remnant (SNR) RX J1713.7−3946 (also known as G347.3−0.5) conducted with the complete H.E.S.S. array in 2004. Methods. Detailed morphological and spatially resolved spectral studies reveal the very-high-energy (VHE – Energies E > 100 GeV) gamma-ray aspects of this object(More)
The Vela supernova remnant (SNR) is a complex region containing a number of sources of non-thermal radiation. The inner section of this SNR, within 2 degrees of the pulsar PSR B0833−45, has been observed by the H.E.S.S. γ-ray atmospheric Cherenkov detector in 2004 and 2005. A strong signal is seen from an extended region to the south of the pulsar, within(More)
Aims. The BL Lac object RGB J0152+017 (z = 0.080) was predicted to be a very high-energy (VHE; > 100 GeV) γ-ray source, due to its high X-ray and radio fluxes. Our aim is to understand the radiative processes by investigating the observed emission and its production mechanism using the High Energy Stereoscopic System (H.E.S.S.) experiment. Methods. We(More)