Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- surveyDecember 2024JUST ACCEPTED
A Comprehensive Survey on Physical Layer Authentication Techniques: Categorization and Analysis of Model-Driven and Data-Driven Approaches
The open and broadcast nature of wireless mediums introduces significant security vulnerabilities, making authentication a critical concern in wireless networks.
In recent years, Physical-Layer Authentication (PLA) techniques have garnered considerable ...
- short-paperOctober 2024
How does one Model Appropriately in Systems Engineering? An Initial Conceptual Model Framing Model Appropriateness
MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and SystemsPages 930–934https://doi.org/10.1145/3652620.3688567Appropriateness of models through modelling languages, tools, and methods is at the core of systems modelling. A concrete example is that useful abstraction depends on the contextual case of modelling purpose and need. Naturally, this results in ...
- short-paperOctober 2024
Towards Model-Based Adoption for Requirements Elicitation in Railway - the Role of Collaborative and Participatory Modelling
MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and SystemsPages 670–674https://doi.org/10.1145/3652620.3688561Systems Engineering (SE) is often visualised through distinct development stages. The first stages started in development relate to the system requirements with several sub-activities related to gathering, defining, and evaluating requirements. A ...
- research-articleOctober 2024
Participatory and Collaborative Modeling of Sustainable Systems: A Systematic Review
MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and SystemsPages 645–654https://doi.org/10.1145/3652620.3688557Sustainability has become a key characteristic of modern systems. Unfortunately, the convoluted nature of sustainability limits its understanding and hinders the design of sustainable systems. Thus, cooperation among a diverse set of stakeholders is ...
- research-articleOctober 2024
Extending MagicGrid to Support Virtual Prototyping for Early System Performance Validation and Verification
MODELS Companion '24: Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and SystemsPages 287–298https://doi.org/10.1145/3652620.3686249In this paper we propose an extension to the MagicGrid framework to support virtual prototyping for early system performance Validation & Verification (V&V). Model-Based Systems Engineering (MBSE) is at a maturity where V&V of system performance is ...
-
- research-articleFebruary 2023
Security Risk Assessments: Modeling and Risk Level Propagation
ACM Transactions on Cyber-Physical Systems (TCPS), Volume 7, Issue 1Article No.: 8, Pages 1–25https://doi.org/10.1145/3569458Security risk assessment is an important task in systems engineering. It is used to derive security requirements for a secure system design and to evaluate design alternatives as well as vulnerabilities. Security risk assessment is also a complex and ...
- research-articleApril 2022
A Stochastic Extension of Stateflow
ICPE '22: Proceedings of the 2022 ACM/SPEC on International Conference on Performance EngineeringPages 211–222https://doi.org/10.1145/3489525.3511679Although commonly used in industry, a major drawback of Stateflow is that it lacks support for stochastic properties; properties that are often needed to build accurate models of real-world systems. In order to solve this problem, as the first ...
- research-articleDecember 2021
REACT-ION: A Model-based Runtime Environment for Situation-aware Adaptations
- Martin Pfannemüller,
- Martin Breitbach,
- Markus Weckesser,
- Christian Becker,
- Bradley Schmerl,
- Andy Schürr,
- Christian Krupitzer
ACM Transactions on Autonomous and Adaptive Systems (TAAS), Volume 15, Issue 4Article No.: 12, Pages 1–29https://doi.org/10.1145/3487919Trends such as the Internet of Things lead to a growing number of networked devices and to a variety of communication systems. Adding self-adaptive capabilities to these communication systems is one approach to reducing administrative effort and coping ...
- research-articleMay 2021
Cooperative Prioritized Sweeping
AAMAS '21: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent SystemsPages 160–168We present a novel model-based algorithm, Cooperative Prioritized Sweeping, for sample-efficient learning in large multi-agent Markov decision processes. Our approach leverages domain knowledge about the structure of the problem in the form of a dynamic ...
- research-articleNovember 2020
Model-based development and simulative verification of logical vehicle functions using executable UN/ECE regulations
SummerSim '20: Proceedings of the 2020 Summer Simulation ConferenceArticle No.: 31, Pages 1–12On the way towards autonomous driving, a steadily increasing number of Advanced Driver Assistance Systems leads to a tremendous test effort to approve their safe operation. However, route-based real-world tests cannot cover this effort sufficiently ...
- research-articleJune 2020
Turning Cost-Based Steganography into Model-Based
IH&MMSec '20: Proceedings of the 2020 ACM Workshop on Information Hiding and Multimedia SecurityPages 151–159https://doi.org/10.1145/3369412.3395065Abstract Most modern steganographic schemes embed secrets by minimizing the total expected cost of modifications. However, costs are usually computed using heuristics and cannot be directly linked to statistical detectability. Moreover, as previously ...
- research-articleJanuary 2020
An automated model‐based approach for unit‐level performance test generation of mobile applications
Journal of Software: Evolution and Process (WSMR), Volume 32, Issue 1https://doi.org/10.1002/smr.2215AbstractMobile devices have limited resources, including memory and processing speed. The performance of mobile applications is an important concern. There are a large number of mobile platforms available with varying operating systems and hardware. ...
This paper proposes an automated model‐based approach for performance test generation for native application variants at unit‐level that specifically focuses on the evaluation of mobile device processing, memory, and battery consumption. The contributions ...
- research-articleMarch 2020
A Model-based Method for Measuring Autonomic Nerve Activity and Sensitivity
ICBBE '19: Proceedings of the 2019 6th International Conference on Biomedical and Bioinformatics EngineeringPages 73–77https://doi.org/10.1145/3375923.3375944The measurement of autonomic nerve activity plays an important role in the diagnosis and treatment of various cardiovascular diseases. This paper presents a model-based method for measuring autonomic nerve activity and sensitivity. By non-invasively ...
- extended-abstractJanuary 2020
A model-based method for cognitive user interface design for skills training in an augmented reality environment
CLIHC '19: Proceedings of the IX Latin American Conference on Human Computer InteractionArticle No.: 27, Pages 1–4https://doi.org/10.1145/3358961.3358988Instructional and support information are very useful in learning and automation stages of skill acquisition. The spatial integration of information is fundamental to reduce in trainees the external cognitive processing. Non-integrated information ...
- abstractJuly 2019
Generating interpretable reinforcement learning policies using genetic programming
GECCO '19: Proceedings of the Genetic and Evolutionary Computation Conference CompanionPages 23–24https://doi.org/10.1145/3319619.3326755The search for interpretable reinforcement learning policies is of high academic and industrial interest. Especially for industrial systems, domain experts are more likely to deploy autonomously learned controllers if they are understandable and ...
- research-articleApril 2019
Modeling & simulation of software architectures of systems-of-systems: an industrial report on the brazilian space system
- Valdemar Vicente Graciano Neto,
- Carlos Eduardo Paes,
- Adair José Rohling,
- Wallace Manzano,
- Elisa Yumi Nakagawa
TMS '19: Proceedings of the Theory of Modeling and Simulation SymposiumArticle No.: 5, Pages 1–12Systems-of-Systems (SoS) have demanded for novel solutions to deal with their large-scale, dynamic, and critical nature. Then, software engineering and simulation communities have been motivated to develop solutions to engineering such systems. In this ...
- research-articleJanuary 2019
Model Curation: Requisite Leadership and Practice in Digital Engineering Enterprises
Procedia Computer Science (PROCS), Volume 153, Issue CPages 233–241https://doi.org/10.1016/j.procs.2019.05.075AbstractUnder the premise that model-centric engineering enterprises of the future will necessitate specialized competencies and leadership, ongoing research is investigating both model curation as a practice and model curator as a new leadership role. ...
- research-articleSeptember 2018
Model-based engineering & simulation of software-intensive systems-of-systems: experience report and lessons learned
ECSA '18: Proceedings of the 12th European Conference on Software Architecture: Companion ProceedingsArticle No.: 27, Pages 1–7https://doi.org/10.1145/3241403.3241432Software has been increasingly embedded into systems (e.g., autonomous cars, traffic control systems, power distribution systems) to increase the precision of their functionalities, deliver automation, and make them smarter. Those systems have been ...
- extended-abstractSeptember 2018
A reference architecture for space systems
ECSA '18: Proceedings of the 12th European Conference on Software Architecture: Companion ProceedingsArticle No.: 11, Pages 1–2https://doi.org/10.1145/3241403.3241416The definition of a Reference Architecture for Space Systems is a noteworthy field to improve the development of embedded critical systems. The European Space Agency (ESA) and the European Commission (EU) are actively working on different initiatives to ...
- research-articleMay 2018
A use case in model-based robot development using AADL and ROS
RoSE '18: Proceedings of the 1st International Workshop on Robotics Software EngineeringPages 9–16https://doi.org/10.1145/3196558.3196560Designing a robotic application is a challenging task. It requires a vertical expertise spanning various fields, starting from hardware and low-level communication to high-level architectural solution for distributed applications. Today a single expert ...