Zobrazeno 1 - 10
of 42
pro vyhledávání: '"Joel Greenyer"'
Publikováno v:
2022 IEEE Intelligent Vehicles Symposium (IV).
Publikováno v:
MODELS
In automotive production cells, complex processes involving multiple robots must be optimized for cycle time. We investigated using symbolic GR(1) controller synthesis for automating multi-robot task planning. Given a specification of the order of ta
Autor:
Joel Greenyer, Carsten Wolff, Carsten Wiecher, Andreas Vogelsang, Roman Dumitrescu, Jannik Fischbadh
Publikováno v:
MODELS
Currently, practitioners follow a top-down approach in automotive development projects. However, recent studies have shown that this top-down approach is not suitable for the implementation and testing of modern automotive systems. Specifically, prac
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6b0c0417c6f83cd69b56ae75fbc2e337
http://arxiv.org/abs/2107.05374
http://arxiv.org/abs/2107.05374
Publikováno v:
Requirements Engineering: Foundation for Software Quality ISBN: 9783030731274
REFSQ
REFSQ
[Context & Motivation] Due to the managerial, operational and evolutionary independence of constituent systems (CSs) in a System of Systems (SoS) context, top-down and linear requirements engineering (RE) approaches are insufficient. RE techniques fo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8b74e2f04b9453de6609f508cc68e1f5
https://doi.org/10.1007/978-3-030-73128-1_12
https://doi.org/10.1007/978-3-030-73128-1_12
Publikováno v:
MODELS Companion
The development of safety-relevant systems in the automotive industry requires the definition of high-quality requirements and tests for the coordination and monitoring of development activities in an agile development environment. In this paper we d
Publikováno v:
Annals of Scientific Society for Assembly, Handling and Industrial Robotics ISBN: 9783662617540
In production robots are moved at maximum speed whenever possible in order to achieve the shortest overall cycle time. This can lead to individual waiting times, especially in interlinked production processes. These waiting times offer opportunities
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b059c0d8771a27c0171225abbc702d55
https://doi.org/10.1007/978-3-662-61755-7_21
https://doi.org/10.1007/978-3-662-61755-7_21
Autor:
Daniel Gritzner, Joel Greenyer
Publikováno v:
Procedia Manufacturing 24 (2018)
Cyber-physical systems can be found in many areas, e.g., manufacturing, health care or smart cities. They consist of many distributed components cooperating to provide increasingly complex functionality. The design and development of such a system is
Autor:
Nils Glade, Daniel Gritzner, Joel Greenyer, Florian König, Timo Gutjahr, Guy Katz, Assaf Marron
Publikováno v:
Science of Computer Programming. 149:15-27
ScenarioTools is an Eclipse-based tool suite for the scenario-based modeling and analysis of reactive systems. ScenarioTools especially targets the modeling and analysis of systems where the behavior of the components is sensitive to changes in the c
Publikováno v:
MODELS Companion
The rising complexity of automotive software makes it increasingly difficult to develop the software with high quality in short time. Especially the late detection of early errors, such as requirement inconsistencies and ambiguities, often causes cos
Autor:
Joel Greenyer, Andreas Wortmann, Andreas Vogelsang, Christoph Sommer, Verena Klös, Francisco J. Chiyah Garcia, Mathias Blumreiter, Maike Schwammberger
Publikováno v:
MODELS Companion
With the increasing complexity of Cyber-Physical Systems, their behavior and decisions become increasingly difficult to understand and comprehend for users and other stakeholders. Our vision is to build self-explainable systems that can, at run-time,