| 1. |
- Anjorin, Anthony, 1984, et al.
(författare)
-
20 years of triple graph grammars: A roadmap for future research
- 2016
-
Ingår i: Electronic Communications of the EASST. - 1863-2122. ; 73:1, s. 1-20
-
Tidskriftsartikel (refereegranskat)abstract
- Triple graph grammars (TGGs) provide a declarative, rule-based means of specifying binary consistency relationships between different types of graphs. Over the last 20 years, TGGs have been applied successfully in a range of application scenarios including: model generation, conformance testing, bidirectional model transformation, and incremental model synchronisation. In this paper, we review the progress made in TGG research up until now by exploring multiple research dimensions, including both the current frontiers of TGG research as well as important future challenges. Our aim is to provide a roadmap for the coming years of TGG research by stating clearly what we regard as adequately researched, and what we view as still unexplored potential.
|
|
| 2. |
- Anthony, Richard, et al.
(författare)
-
Context-Aware Adaptation in DySCAS
- 2009
-
Ingår i: Electronic Communications of the EASST. - Berlin : European Association of Software Science and Technology (EASST). - 1863-2122. ; 19
-
Tidskriftsartikel (refereegranskat)abstract
- DySCAS is a dynamically self-configuring middleware for automotivecontrol systems. The addition of autonomic, context-aware dynamic configurationto automotive control systems brings a potential for a wide range of benefits in termsof robustness, flexibility, upgrading etc. However, the automotive systems representa particularly challenging domain for the deployment of autonomics concepts, havinga combination of real-time performance constraints, severe resource limitations,safety-critical aspects and cost pressures. For these reasons current systems are staticallyconfigured. This paper describes the dynamic run-time configuration aspectsof DySCAS and focuses on the extent to which context-aware adaptation has beenachieved in DySCAS, and the ways in which the various design and implementationchallenges are met.
|
|
| 3. |
- Basso, Maik, et al.
(författare)
-
An Application Layer Protocol to Support Cooperative Navigation of Multiple UAVs Systems
- 2021
-
Ingår i: Electronic Communications of the EASST. - Berlin : European Association of Software Science and Technology. - 1863-2122. ; 80
-
Tidskriftsartikel (refereegranskat)abstract
- Applications involving multiple UAVs have gained increasing relevance in recent years, due to the benefits that cooperative systems tend to provide to their applications. In addition to performing several simultaneous tasks, the time spent to perform a certain task is reduced. In this article, an architecture for sharing navigation information is demonstrated to support applications composed of systems with multiple UAVs. © 2021. All Rights Reserved.
|
|
| 4. |
- Brenner, Christian, et al.
(författare)
-
ScenarioTools real-time play-out for test sequence validation in an automotive case study
- 2014
-
Ingår i: Electronic Communications of the EASST. - 1863-2122. ; 67
-
Tidskriftsartikel (refereegranskat)abstract
- In many areas, such as automotive, healthcare, or production, we find softwareintensive systems with complex real-time requirements. To efficiently ensure the quality of these systems, engineers require automated tools for the validation of the requirements throughout the development. This, however, requires that the requirements are specified in an analyzable way. We propose modeling the specification using Modal Sequence Diagrams (MSDs), which express what a system may, must, or must not do in certain situations. MSDs can be executed via the play-out algorithm to investigate the behavior emerging from the interplay of multiple scenarios; we can also test if traces of the final product satisfy all scenarios. In this paper, we present the first tool supporting the play-out of MSDs with real-time constraints. As a case study, we modeled the requirements on gear shifts in an upcoming standard on vehicle testing and use our tool to validate externally generated gear shift sequences.
|
|
| 5. |
- Castellanos Ardila, Julieth Patricia, Doctoral student, 1976-, et al.
(författare)
-
Facilitating automated compliance checking of processes in the safety-critical context
- 2019
-
Ingår i: Electronic Communications of the EASST. - : Universitatsbibliothek TU Berlin. - 1863-2122. ; 78, s. 1-21
-
Tidskriftsartikel (refereegranskat)abstract
- In some domains, the applicable safety standards prescribe processrelated requirements. Essential pieces of evidence for compliance assessment with such standard are the compliance justifications of the process plans used to engineer systems. These justifications should show that the process plans are produced in accordance with the prescribed requirements. However, providing the required evidence may be time-consuming and error-prone since safety standards are large, natural language-based documents with hundreds of requirements. Besides, a company may have many safety-critical-related processes to be examined. In this paper, we propose a novel approach that combines process modeling and compliance checking capabilities. Our approach aims at facilitating the analysis required to conclude whether the model of a process plan corresponds to a model with compliant states. Hitherto, our proposed methodology has been evaluated with academic examples that show the potential benefits of its use.
|
|
| 6. |
- Cooney, Martin, 1980-, et al.
(författare)
-
“Vehicular Steganography”? : Opportunities and Challenges
- 2021
-
Ingår i: Electronic Communications of the EASST. - Berlin : European Association of Software Science and Technology (E A S S T). - 1863-2122. ; 80
-
Tidskriftsartikel (refereegranskat)abstract
- What if an autonomous vehicle (AV) could secretly warn of potential threats? “Steganography”, the hiding of messages, is a vital way for vulnerable populations to communicate securely and get help. Here, we shine light on the concept of vehicular steganography (VS) using a speculative approach: We identify some key scenarios, highlighting unique challenges that arise from indirect perception, message generation, and effects of perspective-as well as potential carrier signals and message generation considerations. One observation is that, despite challenges to transmission rates and robustness, physical signals such as locomotion or sound could offer a complementary, currently-unused alternative to traditional methods. The immediate implication is that VS could help to mitigate some costly safety problems-suggesting the benefit of further discussion and ideation. © 2021. All Rights Reserved.
|
|
| 7. |
- Delooz, Quentin, et al.
(författare)
-
Congestion Aware Objects Filtering for Collective Perception
- 2021
-
Ingår i: Electronic Communications of the EASST. - Berlin : European Association of Software Science and Technology (E A S S T). - 1863-2122. ; 80
-
Tidskriftsartikel (refereegranskat)abstract
- This paper addresses collective perception for connected and automateddriving. It proposes the adaptation of filtering rules based on the currently availablechannel resources, referred to as Enhanced DCC-Aware Filtering (EDAF). © 2021. All Rights Reserved.
|
|
| 8. |
- Denil, J., et al.
(författare)
-
Automatic deployment space exploration using refinement transformations
- 2011
-
Ingår i: Electronic Communications of the EASST. - Wellington (New Zealand). - 1863-2122. ; 50
-
Tidskriftsartikel (refereegranskat)abstract
- To manage the complex engineering information for real-time systems, the system under development may be modelled in a high-level architecture description language. This high-level information provides a basis for deployment space exploration as it can be used to generate a low-level implementation. During this deployment mapping many platform-dependent choices have to be made whose consequences cannot be easily predicted. In this paper we present an approach to the automatic exploration of the deployment space based on platform-based design. All possible solutions of a deployment step are generated using a refinement transformation. Non-conforming deployment alternatives are pruned as early as possible using simulation or analytical methods. We validate the feasibility of our approach by deploying part of an automotive power window optimized for its real-time behaviour using an AUTOSAR-like representation. First results are promising and show that the optimal solution can indeed be found efficiently with our approach.
|
|
| 9. |
|
|
| 10. |
- Drewes, Frank
(författare)
-
Towards the tree automata workbench marbles
- 2010
-
Ingår i: Electronic Communications of the EASST. - : TU Berlin. - 1863-2122. ; 16, s. 16-
-
Tidskriftsartikel (refereegranskat)abstract
- The conceptual ideas that are intended to become the basis for the tree automata workbench Marbles are sketched. The goal is to design and implement an extensible system that facilitates experiments with virtually any kind of algorithm on tree automata. Moreover, the system will be released with a library and an application programmer's interface to make it accessible to anyone who wants to apply tree automata algorithms in research and development.
|
|
