Zobrazeno 1 - 10
of 319
pro vyhledávání: '"Berger, Thorsten"'
Autor:
Caldas, Ricardo, Garcia, Juan Antonio Pinera, Schiopu, Matei, Pelliccione, Patrizio, Rodrigues, Genaina, Berger, Thorsten
Robotic systems are becoming pervasive and adopted in increasingly many domains, such as manufacturing, healthcare, and space exploration. To this end, engineering software has emerged as a crucial discipline for building maintainable and reusable ro
Externí odkaz:
http://arxiv.org/abs/2404.11498
Autor:
Da Silva, Léuson, Borba, Paulo, Maciel, Toni, Mahmood, Wardah, Berger, Thorsten, Moisakis, João, Gomes, Aldiberg, Leite, Vinícius
Branching and merging are common practices in collaborative software development, increasing developer's productivity. Despite such benefits, developers need to merge software and resolve merge conflicts. While modern merge techniques can resolve tex
Externí odkaz:
http://arxiv.org/abs/2310.02395
Since it has often been claimed by academics that reconfiguration is essential, many approaches to reconfiguration, especially of robotic systems, have been developed. Accordingly, the literature on robotics is rich in techniques for reconfiguring ro
Externí odkaz:
http://arxiv.org/abs/2310.01039
Autor:
Berger, Thorsten, She, Steven
We reverse-engineer a formal semantics of the Component Definition Language (CDL), which is part of the highly configurable, embedded operating system eCos. This work provides the basis for an analysis and comparison of the two variability-modeling l
Externí odkaz:
http://arxiv.org/abs/2209.11633
Autor:
She, Steven, Berger, Thorsten
The Kconfig language defines a set of symbols that are assigned a value in a configuration. We describe the semantics of the Kconfig language according to the behavior exhibited in the xconfig configurator. We assume an abstract syntax representation
Externí odkaz:
http://arxiv.org/abs/2209.04916
Autonomous robots combine skills to form increasingly complex behaviors, called missions. While skills are often programmed at a relatively low abstraction level, their coordination is architecturally separated and often expressed in higher-level lan
Externí odkaz:
http://arxiv.org/abs/2208.04211
Autor:
Queiroz, Rodrigo, Sharma, Divit, Caldas, Ricardo, Czarnecki, Krzysztof, García, Sergio, Berger, Thorsten, Pelliccione, Patrizio
Scenario-based testing for automated driving systems (ADS) must be able to simulate traffic scenarios that rely on interactions with other vehicles. Although many languages for high-level scenario modelling have been proposed, they lack the features
Externí odkaz:
http://arxiv.org/abs/2205.02911
Evolving software is challenging, even more when it exists in many different variants. Such software evolves not only in time, but also in space--another dimension of complexity. While evolution in space is supported by a variety of product-line and
Externí odkaz:
http://arxiv.org/abs/2112.01315
Autor:
Da Silva, Léuson, Borba, Paulo, Maciel, Toni, Mahmood, Wardah, Berger, Thorsten, Moisakis, João, Gomes, Aldiberg, Leite, Vinícius
Publikováno v:
In The Journal of Systems & Software August 2024 214
Autor:
Caldas, Ricardo, Ghzouli, Razan, Papadopoulos, Alessandro V., Pelliccione, Patrizio, Weyns, Danny, Berger, Thorsten
Publikováno v:
2021 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)
A traditional approach to realize self-adaptation in software engineering (SE) is by means of feedback loops. The goals of the system can be specified as formal properties that are verified against models of the system. On the other hand, control the
Externí odkaz:
http://arxiv.org/abs/2108.08139