| 1. |
- Aad, G., et al.
(författare)
-
Commissioning of the ATLAS Muon Spectrometer with cosmic rays
- 2010
-
Ingår i: European Physical Journal C. Particles and Fields. - : Springer Science and Business Media LLC. - 1434-6044 .- 1434-6052. ; 70:3, s. 875-916
-
Tidskriftsartikel (refereegranskat)abstract
- The ATLAS detector at the Large Hadron Collider has collected several hundred million cosmic ray events during 2008 and 2009. These data were used to commission the Muon Spectrometer and to study the performance of the trigger and tracking chambers, their alignment, the detector control system, the data acquisition and the analysis programs. We present the performance in the relevant parameters that determine the quality of the muon measurement. We discuss the single element efficiency, resolution and noise rates, the calibration method of the detector response and of the alignment system, the track reconstruction efficiency and the momentum measurement. The results show that the detector is close to the design performance and that the Muon Spectrometer is ready to detect muons produced in high energy proton-proton collisions.
|
|
| 2. |
|
|
| 3. |
|
|
| 4. |
- Aad, G., et al.
(författare)
-
Readiness of the ATLAS Tile Calorimeter for LHC collisions
- 2010
-
Ingår i: European Physical Journal C. Particles and Fields. - : Springer Science and Business Media LLC. - 1434-6044 .- 1434-6052. ; 70:4, s. 1193-1236
-
Tidskriftsartikel (refereegranskat)abstract
- The Tile hadronic calorimeter of the ATLAS detector has undergone extensive testing in the experimental hall since its installation in late 2005. The readout, control and calibration systems have been fully operational since 2007 and the detector has successfully collected data from the LHC single beams in 2008 and first collisions in 2009. This paper gives an overview of the Tile Calorimeter performance as measured using random triggers, calibration data, data from cosmic ray muons and single beam data. The detector operation status, noise characteristics and performance of the calibration systems are presented, as well as the validation of the timing and energy calibration carried out with minimum ionising cosmic ray muons data. The calibration systems' precision is well below the design value of 1%. The determination of the global energy scale was performed with an uncertainty of 4%.
|
|
| 5. |
- Aad, G., et al.
(författare)
-
Studies of the performance of the ATLAS detector using cosmic-ray muons
- 2011
-
Ingår i: European Physical Journal C. Particles and Fields. - : Springer Science and Business Media LLC. - 1434-6044 .- 1434-6052. ; 71:3
-
Tidskriftsartikel (refereegranskat)abstract
- Muons from cosmic-ray interactions in the atmosphere provide a high-statistics source of particles that can be used to study the performance and calibration of the ATLAS detector. Cosmic-ray muons can penetrate to the cavern and deposit energy in all detector subsystems. Such events have played an important role in the commissioning of the detector since the start of the installation phase in 2005 and were particularly important for understanding the detector performance in the time prior to the arrival of the first LHC beams. Global cosmic-ray runs were undertaken in both 2008 and 2009 and these data have been used through to the early phases of collision data-taking as a tool for calibration, alignment and detector monitoring. These large datasets have also been used for detector performance studies, including investigations that rely on the combined performance of different subsystems. This paper presents the results of performance studies related to combined tracking, lepton identification and the reconstruction of jets and missing transverse energy. Results are compared to expectations based on a cosmic-ray event generator and a full simulation of the detector response.
|
|
| 6. |
- Aad, G., et al.
(författare)
-
The ATLAS Inner Detector commissioning and calibration
- 2010
-
Ingår i: European Physical Journal C. Particles and Fields. - : Springer Science and Business Media LLC. - 1434-6044 .- 1434-6052. ; 70:3, s. 787-821
-
Tidskriftsartikel (refereegranskat)abstract
- The ATLAS Inner Detector is a composite tracking system consisting of silicon pixels, silicon strips and straw tubes in a 2 T magnetic field. Its installation was completed in August 2008 and the detector took part in data-taking with single LHC beams and cosmic rays. The initial detector operation, hardware commissioning and in-situ calibrations are described. Tracking performance has been measured with 7.6 million cosmic-ray events, collected using a tracking trigger and reconstructed with modular pattern-recognition and fitting software. The intrinsic hit efficiency and tracking trigger efficiencies are close to 100%. Lorentz angle measurements for both electrons and holes, specific energy-loss calibration and transition radiation turn-on measurements have been performed. Different alignment techniques have been used to reconstruct the detector geometry. After the initial alignment, a transverse impact parameter resolution of 22.1 +/- 0.9 mu m and a relative momentum resolution sigma (p) /p=(4.83 +/- 0.16)x10(-4) GeV(-1)xp (T) have been measured for high momentum tracks.
|
|
| 7. |
- Aad, G., et al.
(författare)
-
The ATLAS Simulation Infrastructure
- 2010
-
Ingår i: European Physical Journal C. Particles and Fields. - : Springer Science and Business Media LLC. - 1434-6044 .- 1434-6052. ; 70:3, s. 823-874
-
Tidskriftsartikel (refereegranskat)abstract
- The simulation software for the ATLAS Experiment at the Large Hadron Collider is being used for large-scale production of events on the LHC Computing Grid. This simulation requires many components, from the generators that simulate particle collisions, through packages simulating the response of the various detectors and triggers. All of these components come together under the ATLAS simulation infrastructure. In this paper, that infrastructure is discussed, including that supporting the detector description, interfacing the event generation, and combining the GEANT4 simulation of the response of the individual detectors. Also described are the tools allowing the software validation, performance testing, and the validation of the simulated output against known physics processes.
|
|
| 8. |
- Al Mamun, Md Abdullah, 1982, et al.
(författare)
-
Engineering the Hardware/Software Interface for Robotic Platforms – A Comparison of Applied Model Checking with Prolog and Alloy
- 2013
-
Ingår i: Proceedings of the 4th International Workshop on Domain-Specific Languages and models for ROBotic systems.
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- Robotic platforms serve different use cases ranging from experiments for prototyping assistive applications up to embedded systems for realizing cyber-physical systems in various domains. We are using 1:10 scale miniature vehicles as a robotic platform to conduct research in the domain of self-driving cars and collaborative vehicle fleets. Thus, experiments with different sensors like e.g. ultra-sonic, infrared, and rotary encoders need to be prepared and realized using our vehicle platform. For each setup, we need to configure the hardware/software interface board to handle all sensors and actors. Therefore, we need to find a specific configuration setting for each pin of the interface board that can handle our current hardware setup but which is also flexible enough to support further sensors or actors for future use cases. In this paper, we show how to model the domain of the configuration space for a hardware/software interface board to enable model checking for solving the tasks of finding any, all, and the best possible pin configuration. We present results from a formal experiment applying the declarative languages Alloy and Prolog to guide the process of engineering the hardware/software interface for robotic platforms on the example of a configuration complexity up to ten pins resulting in a configuration space greater than 14.5 million possibilities. Our results show that our domain model in Alloy performs better compared to Prolog to find feasible solutions for larger configurations with an average time of 0.58s. To find the best solution, our model for Prolog performs better taking only 1.38s for the largest desired configuration; however, this important use case is currently not covered by the existing tools for the hardware used as an example in this article.
|
|
| 9. |
- Al Mamun, Md Abdullah, 1982, et al.
(författare)
-
Explicating, Understanding and Managing Technical Debt from Self-Driving Miniature Car Projects
- 2014
-
Ingår i: Proceedings of the 30th IEEE International Conference on Software Maintenance and Evolution (ICSME). - Los Alamitos, CA : IEEE. - 9781479967919
-
Konferensbidrag (refereegranskat)abstract
- Technical debt refers to various weaknesses in the design or implementation of a system resulting from trade-offs during software development usually for a quick release. Accumulating such debt over time without reducing it can seriously hamper the reusability and maintainability of the software. The aim of this study is to understand the state of the technical debt in the development of self-driving miniature cars so that proper actions can be planned to reduce the debt to have more reusable and maintainable software. A case study on a selected feature from two self-driving miniature car development projects is performed to assess the technical debt. Additionally, an interview study is conducted involving the developers to relate the findings of the case study with the possible root causes. The result of the study indicates that "the lack of knowledge" is not the primary reason for the accumulation of technical debt from the selected code smells. The root causes are rather in factors like time pressure followed by issues related to software/hardware integration and incomplete refactoring as well as reuse of legacy, third party, or open source code.
|
|
| 10. |
- Al Mamun, Md Abdullah, 1982, et al.
(författare)
-
MDE-based Sensor Management and Verification for a Self-Driving Miniature Vehicle
- 2013
-
Ingår i: 13th ACM Workshop on Domain-Specific Modeling, DSM 2013; Indianapolis, IN; United States. - New York, NY, USA : Association for Computing Machinery (ACM). - 9781450326001
-
Konferensbidrag (refereegranskat)abstract
- Innovations for today’s vehicle functions are mainly driven by software. They realize comfort systems like automated parking but also safety systems where sensors are continuously monitoring the vehicle's surroundings to brake autonomously for avoiding collisions with cars, pedestrians, or bicyclists. In simulation environments, various traffic situations with alternative sensor setups are imitated before testing them on prototypical cars. In this paper, we are presenting an MDE approach for managing different sensor setups in a cyber-physical system development environment to leverage automated model verification, support system testing, and enable code generation. For example, the models are used as the single point of truth to configure and generate sensor setups for system validations in a 3D simulation environment. After their validation, a considered sensor configuration is transformed into a constraint-satisfaction model to be solved by the logical programming language Prolog. Based on this transformation, the conformance to the embedded system specification is formally verified and possible pin assignments, for how to connect the required sensors are calculated. The approach was validated during the development of a self- driving miniature vehicle using an STM32F4-based embedded system running the real-time operating system ChibiOS as the software/hardware interface to the sensors and actors.
|
|
