Auflistung nach Autor:in "Schnabel, Thomas"
1 - 3 von 3
Treffer pro Seite
Sortieroptionen
- ZeitschriftenartikelDecision making support in security forces command centers at open air music festivals: Localization of resources and sharing information(it - Information Technology: Vol. 60, No. 4, 2018) Köfler, Armin; Pammer-Schindler, Viktoria; Almer, Alexander; Schnabel, ThomasWe describe a case study on decision making in command centers of security forces at major open air music festivals. Our goal was to assess current modus operandi and to identify design implications. We have carried out two expert interviews, two field observations and four group discussions with experts based on a fully functional prototype as IT artifact to concretize discussions. Key insights are that in this case localization of relevant resources is the most important aspect of situation awareness, and that state of current knowledge needs to be clearly shared within the command center.
- KonferenzbeitragFlexible Kommunikations- und Informationslösungen für eine optimierte Einsatzführung von Interventionskräften(Informatik 2016, 2016) Raffelsberger, Christian; Umlauft, Martina; Kercek, Andreas; Almer, Alexander; Schnabel, Thomas; Luley, Patrick
- KonferenzbeitragOn Automated Anomaly Detection for Potentially Unbounded Cardinality-based Feature Models(Software Engineering 2017, 2017) Weckesser, Markus; Lochau, Malte; Schnabel, Thomas; Richerzhagen, Björn; Schürr, AndyIn this work, we report about our research results on analysis of cardinality-based fea- ture models with potentially unbounded feature multiplicities, initially published in [We16]. Feature models are frequently used for specifying variability of user-configurable software systems, e.g., software product lines. Numerous approaches have been developed for automating feature model validation concerning constraint consistency and absence of anomalies. As a crucial extension to feature models, cardinality annotations allow for multiple, and even potentially unbounded occur- rences of feature instances within configurations. This is of particular relevance for user-adjustable application resources as prevalent, e.g., in cloud-based systems where not only the type, but also the amount of available resources is explicitly configurable. However, a precise semantic characteriza- tion and tool support for automated and scalable validation of cardinality-based feature models is still an open issue. We present a comprehensive formalization of cardinality-based feature models with potentially unbounded feature multiplicities. We apply a combination of ILP and SMT solvers to automate consistency checking and anomaly detection, including novel anomalies, e.g., interval gaps. Furthermore, we show evaluation results gained from our tool implementation showing appli- cability and scalability of our approach to larger-scale models.