ModelSet: a dataset for machine learning in model-driven engineering
JAH López, JL Cánovas Izquierdo… - Software and Systems …, 2022 - Springer
The application of machine learning (ML) algorithms to address problems related to model-
driven engineering (MDE) is currently hindered by the lack of curated datasets of software …
driven engineering (MDE) is currently hindered by the lack of curated datasets of software …
Towards performance tooling interoperability: An open format for representing execution traces
D Okanović, A van Hoorn, C Heger, A Wert… - … 13th European Workshop …, 2016 - Springer
Execution traces capture information on a software system's runtime behavior, including
data on system-internal software control flows, performance, as well as request parameters …
data on system-internal software control flows, performance, as well as request parameters …
Qn-based modeling and analysis of software performance antipatterns for cyber-physical systems
R Pinciroli, CU Smith, C Trubiani - Proceedings of the ACM/SPEC …, 2021 - dl.acm.org
Identifying performance problems in modern software systems is nontrivial, even more so
when looking at specific application domains, such as cyber-physical systems. The …
when looking at specific application domains, such as cyber-physical systems. The …
Engineering cyber‐physical systems through performance‐based modelling and analysis: A case study experience report
L Pagliari, R Mirandola… - Journal of Software …, 2020 - Wiley Online Library
The process of engineering cyber‐physical systems (CPS) is inevitably challenging because
of the intrinsic problem of merging the specification of different ensembles that indicate …
of the intrinsic problem of merging the specification of different ensembles that indicate …
Towards a model-driven engineering approach for the assessment of non-functional properties using multi-formalism
Abstract Model-driven techniques can be used to automatically produce formal models from
different views of a system realised by using several modelling languages and notations …
different views of a system realised by using several modelling languages and notations …
Performance queries for architecture-level performance models
F Gorsler, F Brosig, S Kounev - Proceedings of the 5th ACM/SPEC …, 2014 - dl.acm.org
Over the past few decades, many performance modeling formalisms and prediction
techniques for software architectures have been developed in the performance engineering …
techniques for software architectures have been developed in the performance engineering …
Modana: An integrated framework for modeling and analysis of energy-aware CPSs
B Cheng, X Wang, J Liu, D Du - 2015 IEEE 39th Annual …, 2015 - ieeexplore.ieee.org
Cyber-Physical Systems (CPSs) as advanced embedded systems integrating computation
with physical process are increasingly penetrating into our life. Modeling and analysis for …
with physical process are increasingly penetrating into our life. Modeling and analysis for …
[PDF][PDF] 构件软件可靠性过程技术
张策, 崔刚, 刘宏伟, 孟凡超 - 计算机学报, 2014 - cjc.ict.ac.cn
摘要针对构件软件可靠性研究现状以及如何提高其可靠性过程, 对其可靠性过程的相关研究进行
综述. 构件软件可靠性过程的关键问题是在整个生命周期内, 以可靠性为核心 …
综述. 构件软件可靠性过程的关键问题是在整个生命周期内, 以可靠性为核心 …
Towards proactive fault management of enterprise systems
R Jia, S Abdelwahed, A Erradi - 2015 International Conference …, 2015 - ieeexplore.ieee.org
This paper introduces a model-based approach for autonomic fault management of
computing systems. The proposed approach can recover a system from common faults while …
computing systems. The proposed approach can recover a system from common faults while …
Performance Modelling of Intelligent Transportation Systems: Experience Report
Modern information systems connecting software, physical systems and people, are usually
characterized by high dynamism. These dynamics introduce uncertainties, which in turn may …
characterized by high dynamism. These dynamics introduce uncertainties, which in turn may …