A5039374886- Advanced Software Engineering Methodologies
- Software Reliability and Analysis Research
- Software System Performance and Reliability
- Software Engineering Research
- Formal Methods in Verification
- Safety Systems Engineering in Autonomy
- Software Testing and Debugging Techniques
- Cloud Computing and Resource Management
- Model-Driven Software Engineering Techniques
- Distributed systems and fault tolerance
- Embedded Systems Design Techniques
- Software Engineering Techniques and Practices
- Service-Oriented Architecture and Web Services
- Peer-to-Peer Network Technologies
- Blockchain Technology Applications and Security
- Real-Time Systems Scheduling
- Context-Aware Activity Recognition Systems
- IoT and Edge/Fog Computing
- Advanced Malware Detection Techniques
- Energy Efficient Wireless Sensor Networks
- Data Stream Mining Techniques
- Reliability and Maintenance Optimization
- Modular Robots and Swarm Intelligence
- Scientific Computing and Data Management
- Security in Wireless Sensor Networks
Universidade de Brasília
2015-2024
Gran Sasso Science Institute
2024
Universitas Nusa Bangsa
2022
Laboratoire d'Informatique de Paris-Nord
2018
University College London
2004-2007
The London College
2005
We propose a model for feature-aware discrete-time Markov chains, called FDTMC, as basis verifying probabilistic properties, e.g., Reliability and availability, of product lines. To verify such properties on we compare three techniques. First, experiment with two different parametric techniques to obtain this formula: the classical one builds it from whole, new that compositionally sequence modules. Finally, technique performs bounded verification whole line, thus takes advantage high...
This paper presents a model of the connectivity wireless sensor network (WSN) deployed over square area, which considers border effects. supports an accurate evaluation reliability with and without node failures. Using proposed we analyze tradeoff between number sensors their communication range when deploying that is connected high probability validate this analysis through simulation experiments. Additional simulations, considering failures, ratified periodic redeployments, calculated...
The assurance of real-time properties is prone to context variability. Providing such at design time would require check all the possible and system variations or predict which one will be actually used. Both cases are not viable in practice since there too many possibilities foresee. Moreover, knowledge required fully provide for self-adaptive systems only available runtime therefore difficult early development stages. Despite efforts on assurances runtime, still a gap verifying validating...
In the last years, field of creativity for requirements engineering has received a growing interest from researchers and practitioners. This paper presents mapping study to aggregate literature in this field. The motivation is identify trends research opportunities application approaches support engineering. analyzed 46 papers. results show four main groups working on RE. Requirements elicitation phase concentrating majority studies. confirms that techniques enhance creative thinking...
Despite considerable research efforts on handling uncertainty in self-adaptive systems, a comprehensive understanding of the precise nature is still lacking. This paper summarises findings 2023 Bertinoro Seminar Uncertainty Self- Adaptive Systems, which aimed at thoroughly investigating notion uncertainty, and outlining open challenges associated with its systems. The seminar discussions were centered around five core topics: (1) agile end-toend uncertainties goal-oriented (2) managing risks...
As software systems increasingly interact with humans in application domains such as transportation and healthcare, they raise concerns related to the social, legal, ethical, empathetic, cultural (SLEEC) norms values of their stakeholders. Normative non-functional requirements (N-NFRs) are used capture these by setting SLEEC-relevant boundaries for system behavior. Since N-NFRs need be specified multiple stakeholders widely different, non-technical expertise (ethicists, lawyers, regulators,...
Summary In this paper, we conduct statistical analyses for two Amazon cloud pricing models: on demand and spot. On instances are charged a fixed price can only be terminated by the user, with very high availability. other hand, spot dynamic determined market‐driven model revoked provider when becomes higher than user‐defined price, having possibly low Our analysis on‐demand resulted in multiple linear regression equations that represent influence of characteristics processor RAM memory...
We present DeepDECS, a new method for the synthesis of correct-by-construction software controllers autonomous systems that use deep neural network (DNN) classifiers perception step their decision-making processes. Despite major advances in learning recent years, providing safety guarantees these remains very challenging. Our controller addresses this challenge by integrating DNN verification with verified Markov models. The synthesised models correspond to discrete-event guaranteed satisfy...
Nowadays, cloud users face three important problems: (a) choosing one or more appropriate provider(s) to run their application(s), (b) selecting resources, which implies having enough information about the available including characteristics and constraints, (c) configuring resources. These problems are mostly due wide range of resources usually have distinct dependencies, they offered at various clouds' layers. In this complex scenario, often handle dependencies manually. This is an...
Service robots are increasingly being used to perform missions comprising dangerous or tedious tasks previously executed by humans. However, their users—who know the environment and requirements for these missions—have limited no robotics experience. As such, they often find process of allocating concrete each robot within a multi-robot system (MRS) very challenging. Our paper introduces framework Multi-Robot mission Specification decomposition (MutRoSe) that simplifies automates key...
The notion of Contextual Requirements refers to the inter-relation between requirements a system, both functional and non-functional (NFRs), dynamic environment in which system operates. Dependability are NFRs could also be context-dependent. meaning consequence faults affecting dependability vary relation context fault occurs. In this paper, we elaborate on need consider contextual nature failures dependability. Then, extend model, goal capture utilize that enrich semantic requirements. We...
Recent worldwide events shed light on the need of human-centered systems engineering in healthcare domain. These must be prepared to evolve quickly but safely, according unpredicted environments and ever-changing pathogens that spread ruthlessly. Such scenarios suffocate hospitals' infrastructure disable are not deal with without costly re-engineering. In face these challenges, we offer SA-BSN - Self-Adaptive Body Sensor Network prototype explore rather dynamic patient's health status...
Verification of chatbot conversational flows is paramount to capturing and understanding behavior predicting problems that would cause the entire flow be restructured from scratch. The literature on testing scarce, few works approach this subject do not focus verifying communication sequences in tandem with functional requirements itself. However, covering all possible context-oriented chatbots through feasible practice given many ramifications should covered by test cases. Alternatively,...
Goals are first-class entities in a self-adaptive system (SAS) as they guide the self-adaptation. A SAS often operates dynamic and partially unknown environments, which cause uncertainty that has to address achieve its goals. Moreover, besides environment, other classes of have been identified. However, these various their sources not systematically addressed by current approaches throughout life cycle SAS. In general, typically makes assurance provision goals exclusively at design time...
Some domains, specially those of critical systems, require dependable software. Ensuring dependability is not a trivial problem. Model checking can be used to estimate the reliability software through models that represent behavior system. Through these it possible and measure quantitatively properties such as reliability. In context Software Product Lines (SPL), we need check an entire family systems. It feasible build model for each configuration SPL number required very large....