| 1. |
- Andersson, Jesper, et al.
(författare)
-
Aligning Architectures for Sustainability
- 2016
-
Ingår i: ACM Proccedings of the 10th European Conference on Software Architecture Workshops (ECSA-W). - New York, NY, USA : ACM Press. - 9781450347815
-
Konferensbidrag (refereegranskat)abstract
- The digitization of industry has drastically changed the competitive landscape by requiring a higher degree of specialization and shorter time to delivery that affect the design properties a software platform should satisfy. The platform architecture must sustain continuous and rapid change to the organizational architecture, which in turn is affected by external forces: i.e., forces drive the velocity of change. In this paper, we explore the effects of digitization, characterizing internal and external forces that impact on business strategies and trigger the continuous realignment of the platform, and outline a research agenda to mitigate the effects.
|
|
| 2. |
- Andersson, Jesper, 1970-, et al.
(författare)
-
Architecting decentralized control in large-scale self-adaptive systems
- 2023
-
Ingår i: Computing. - : Springer. - 0010-485X .- 1436-5057. ; 105, s. 1849-1882
-
Tidskriftsartikel (refereegranskat)abstract
- Architecting a self-adaptive system with decentralized control is challenging. Indeed, architects shall consider several different and interdependent design dimensions and devise multiple control loops to coordinate and timely perform the correct adaptations. To support this task, we propose Decor, a reasoning framework for architecting and evaluating decentralized control. Decor provides (i) multi-paradigm modeling support, (ii) a modeling environment for MAPE-K style decentralized control, and (iii) a co-simulation environment for simulating the decentralized control together with the managed system and estimating the quality attributes of interest. We apply the Decor in three case studies: an intelligent transportation system, a smart power grid, and a cloud computing application. The studies demonstrate the framework’s capabilities to support informed architectural decisions on decentralized control and adaptation strategies.
|
|
| 3. |
- Autili, Marco, et al.
(författare)
-
Architecting Service Oriented Middleware for Pervasive Networking
- 2009
-
Ingår i: Proceedings of the 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems. - : IEEE Press. ; , s. 58-61
-
Konferensbidrag (refereegranskat)abstract
- Service oriented middleware (SOM) is getting key support to enable service oriented architecture deployment in next generation pervasive networking - e.g., Beyond 3rd Generation (B3G). This paper proposes a reference model for architecting SOM solutions over B3G network.
|
|
| 4. |
- Autili, Marco, et al.
(författare)
-
Model-driven engineering of middleware-based ubiquitous services
- 2014
-
Ingår i: Software and Systems Modeling. - : Springer Science and Business Media LLC. - 1619-1366 .- 1619-1374. ; 13:2, s. 481-511
-
Tidskriftsartikel (refereegranskat)abstract
- Supporting the execution of service-oriented applications over ubiquitous networks specifically calls for a service-oriented middleware (SOM), which effectively enables ubiquitous networking while benefiting from the diversity and richness of the networking infrastructure. However, developing ubiquitous applications that exploit the specific features offered by a SOM might be a time-consuming task, which demands a deep knowledge spanning from the application domain concepts down to the underlying middleware technicalities. In this paper, first we present the model-driven development process underpinning ubiSOAP, a SOM for the ubiquitous networking domain. Then, based on the domain concepts defined by the conceptual model of ubiSOAP, its architecture and its technicalities, we propose a domain-specific environment, called ubiDSE, that aids the development of applications that exploits the ubiSOAP features, from design to implementation. ubiDSE allows developers to focus on the main behavior of the modeled systems, rather than on complex details inherent to ubiquitous environments. As part of ubiDSE, specific tools are provided to automatically generate skeleton code for service-oriented applications to be executed on ubiSOAP-enabled devices, hence facilitating the exploitation of ubiSOAP by developers.
|
|
| 5. |
- Baresi, Luciano, et al.
(författare)
-
Model-Driven Management of Services
- 2010
-
Ingår i: 2010 IEEE 8th European Conference on Web Services (ECOWS). - : IEEE Press. - 9780769543109 ; , s. 147-154
-
Konferensbidrag (refereegranskat)abstract
- Applications are increasingly composed of remote services provided by independent parties. This distributed ownership makes it problematic to measure and control quality of service indicators.Management activities must become an integral part of the system's development process, from requirements elicitation, where users identify the quality dimensions of interest, to the implementation, where the actual composition must be paired with suitable means for its run-time management. This paper presents MDMS (Model-Driven Management of Services), a model-driven approach for engineering manageable services. The approach supports the explicit modeling of quality dimensions,management objectives, and key performance indicators, and the transformations required to exploit these concepts at runtime. The methodology is supported by ECo Ware, an innovative prototype framework for the deployment and operation of managed services.
|
|
| 6. |
- Bellini, Emanuele, et al.
(författare)
-
Resilience learning through self adaptation in digital twins of human-cyber-physical systems
- 2021
-
Ingår i: Proceedings of the 2021 IEEE International Conference on Cyber Security and Resilience (CSR). - : IEEE. - 9781665402859 - 9781665402866 ; , s. 168-173
-
Konferensbidrag (refereegranskat)abstract
- Human-Cyber-Physical-Systems (HPCS), such as critical infrastructures in modern society, are subject to several systemic threats due to their complex interconnections and interdependencies. Management of systemic threats requires a paradigm shift from static risk assessment to holistic resilience modeling and evaluation using intelligent, data-driven and run-time approaches. In fact, the complexity and criticality of HCPS requires timely decisions considering many parameters and implications, which in turn require the adoption of advanced monitoring frameworks and evaluation tools. In order to tackle such challenge, we introduce those new paradigms in a framework named RESILTRON, envisioning Digital Twins (DT) to support decision making and improve resilience in HCPS under systemic stress. In order to represent possibly complex and heterogeneous HCPS, together with their environment and stressors, we leverage on multi-simulation approaches, combining multiple formalisms, data-driven approaches and Artificial Intelligence (AI) modelling paradigms, through a structured, modular and compositional framework. DT are used to provide an adaptive abstract representation of the system in terms of multi-layered spatially-embedded dynamic networks, and to apply self-adaptation to time-warped What-If analyses, in order to find the best sequence of decisions to ensure resilience under uncertainty and continuous HPCS evolution.
|
|
| 7. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
A Machine Learning Approach to Service Discovery for Microservice Architectures
- 2021
-
Ingår i: Software Architecture, ECSA 2021. - Cham : Springer. - 9783030860448 - 9783030860431 ; , s. 66-82
-
Konferensbidrag (refereegranskat)abstract
- Service discovery mechanisms have continuously evolved during the last years to support the effective and efficient service composition in large-scale microservice applications. Still, the dynamic nature of services (and of their contexts) are being rarely taken into account for maximizing the desired quality of service. This paper proposes using machine learning techniques, as part of the service discovery process, to select microservice instances in a given context, maximize QoS, and take into account the continuous changes in the execution environment. Both deep neural networks and reinforcement learning techniques are used. Experimental results show how the proposed approach outperforms traditional service discovery mechanisms.
|
|
| 8. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
A UML 2.0 Profile for Architecting B3G Applications
- 2007
-
Ingår i: Rapid Integration of Software Engineering Techniques. - Berlin, Heidelberg : Springer. - 9783540718758 ; , s. 18-34
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- B3G is an emerging network technology which conceives the convergence of telecommunication and IP-based networks for providing enhanced services able to transfer both voice and non-voice data through wired and wireless networks. Moreover, B3G networks can be no longer considered as “passive” entities which only transport data between end-points, but they must be considered as “active” parties that have their own behavior and provide services. This creates a completely new application domain where applying current software engineering design tools, such as software architectures, fails. In fact, dealing with B3G networks requires to explicit low-level details usually abstracted by the architectural descriptions.To this extent, we present an ongoing work on investigating B3G-oriented application modeling. In particular, we propose an enhanced UML profile to define and analyze software architectures that explicitly exploit the B3G domain properties.
|
|
| 9. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
An Experience in Evaluating Publish/Subscribe Services in a Wireless Network
- 2002
-
Ingår i: Proceedings of the 3rd International Workshop on Software and Performance. - New York, NY, USA : ACM Press. - 1581135637 ; , s. 128-133
-
Konferensbidrag (refereegranskat)abstract
- As wireless technology becomes more available, developers of distributed applications are becoming more interested in how that technology affects the performance of their systems. We have developed a distributed publish/subscribe communication service initially hosted on the standard IP-wired network infrastructure, but would now like to rehost that service onto a GPRS wireless network. This paper reports on our experience in attempting to evaluate the performance of the service using an available emulation environment. Our conclusion from our experience to date is that current tools do not model the wireless network at an appropriate level of abstraction. In particular, they do not allow us to study the integration of individual publish/subscribe service-layer elements with GPRS network-layer elements, nor do they allow us to study multiple GPRS clients interacting over the network. Instead we were limited to results related to the interaction between an individual GPRS client and the GPRS network modeled as a monolith.
|
|
| 10. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
Architectural Concerns for Digital Twin of the Organization
- 2020
-
Ingår i: Software Architecture. - Cham : Springer. - 9783030589226 - 9783030589233 ; , s. 265-280
-
Konferensbidrag (refereegranskat)abstract
- Employing a Digital Twin of the Organization would help enterprises to change and innovate, thus enhancing their organization’s sustainability. However, the lack of engineering best practices for developing and operating a Digital Twin of the Organization makes it difficult for enterprises to fully benefit from it. Many companies are currently investigating the potential use of it, but available solutions are often context-dependent or system-specific, and challenging to adapt, extend, and reuse. Therefore, digitalization is perceived as a slow, resource-demanding, and extremely expensive process whose outcome is uncertain. To this extent, enterprises seek solutions allowing them to gently introduce a Digital Twin of the Organization into their organization and to evolve it according to the changing needs and situations. This paper reports a first attempt on architecting a Digital Twin of an Organization, and discusses some architectural concerns to be addressed in order to facilitate its development and evolution.
|
|
| 11. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
Architectural Issues of Adaptive Pervasive Systems
- 2010
-
Ingår i: Graph Transformations and Model-Driven Engineering. - Berlin, Heidelberg : Springer. ; , s. 492-511
-
Bokkapitel (refereegranskat)abstract
- Pervasive systems are often made out of distributed software components that run on different computational units (appliances, sensing and actuating devices, computers). Such components are often developed, maintained, and even operated by different parties. Applications are increasingly built by dynamically discovering and composing such components in a situation-aware manner. By this we mean that applications follow some strategies to self-organize themselves to adapt their behavior depending on the changing situation in which they operate, for example the physical environment. They may also evolve autonomously in response to changing requirements. Software architectures are considered a well-suited abstraction to achieve situational adaptation. In this paper, we review some existing architectural approaches to self-adaptation and propose a high-level meta-model for architectures that supports dynamic adaptation. The meta-model is then instantiated in a specific ambient computing case study, which is used to illustrate its applicability.
|
|
| 12. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
Building design-time and run-time knowledge for QoS-based component assembly
- 2017
-
Ingår i: Software, practice & experience. - : Wiley-Blackwell. - 0038-0644 .- 1097-024X. ; 47:12, s. 1905-1922
-
Tidskriftsartikel (refereegranskat)abstract
- Modern software systems are required to dynamically adapt to changing workloads, scenarios, and objectives and to achieve a certain Quality of Service (QoS). Guaranteeing QoS requirements is not trivial, as run-time uncertainty might invalidate the design-time rationale, where software components have been selected by means of off-line analysis. In this work, we propose a QoS-based feedback approach that makes a combined use of design-time predictions and run-time measurements to manage QoS data over time and support software architects while selecting software components that best fit QoS requirements. We illustrate the feasibility and efficacy of the approach on a case study, where the quantitative evaluation shows how the analysis effectively identifies the sources of QoS violations and indicates possible solutions to achieve QoS requirements.
|
|
| 13. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
Compositional Verification of Middleware-Based Software Architecture Descriptions
- 2004
-
Ingår i: Proceedings of the 26th International Conference on Software Engineering (ICSE '04). - : IEEE Press. ; , s. 221-230
-
Konferensbidrag (refereegranskat)abstract
- In this paper we present a compositional reasoning to verify middleware-based software architecturedescriptions. We consider a nowadays typical software system development, namely the development of a software application A on a middleware M. Our goal is to efficiently integrate verification techniques, like model checking, in the software life cycle in order to improve the overall software quality. The approach exploits the structure imposed on the system by the software architecture in order to develop an assume-guarantee methodology to reduce properties verification from global to local. We apply the methodology on a non-trivial case study namely the development of a Gnutella system on top of the SIENA event-notification middleware.
|
|
| 14. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
Decentralized Architecture for Energy-Aware Service Assembly
- 2020
-
Ingår i: Software Architecture. - Cham : Springer. - 9783030589226 - 9783030589233 ; , s. 57-72
-
Konferensbidrag (refereegranskat)abstract
- Contemporary application domains make more and more appealing the vision of applications built as a dynamic and opportunistic assembly of autonomous and independent resources. However, the adoption of such paradigm is challenged by: (i) the openness and scalability needs of the operating environment, which rule out approaches based on centralized architectures and, (ii) the increasing concern for sustainability issues, which makes particularly relevant, in addition to QoS constraints, the goal of reducing the application energy footprint. In this context, we contribute by proposing a decentralized architecture to build a fully functional assembly of distributed services, able to optimize its energy consumption, paying also attention to issues concerning the delivered quality of service. We suggest suitable indexes to measure from different perspectives the energy efficiency of the resulting assembly, and present the results of extensive simulation experiments to assess the effectiveness of our approach.
|
|
| 15. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
Design and Evaluation of a Support Service for Mobile, Wireless Publish/Subscribe Applications
- 2003
-
Ingår i: IEEE Transactions on Software Engineering. - : IEEE Press. - 0098-5589 .- 1939-3520. ; 29:12, s. 1059-1071
-
Tidskriftsartikel (refereegranskat)abstract
- This paper presents the design and evaluation of a support service for mobile, wireless clients of a distributed publish/subscribe system. A distributed publish/subscribe system is a networked communication infrastructure where messages are published by senders and then delivered to the receivers whose subscriptions match the messages. Communication therefore does not involve the use of explicit addresses, but rather emerges from the dynamic arrangement of publishers and subscribers. Such a communication mechanism is an ideal platform for a variety of Internet applications, including multiparty messaging, personal information management, information sharing, online news distribution, service discovery, and electronic auctions. Our goal is to support such applications on mobile, wireless host devices in such a way that the applications can, if they chose, be oblivious to the mobility and intermittent connectivity of their hosts as they move from one publish/subscribe access point to another. In this paper, we describe a generic, value-added service that can be used in conjunction with publish/subscribe systems to achieve these goals. We detail the implementation of the service and present the results of our evaluation of the service in both wireline and emulated wireless environments.
|
|
| 16. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
Energetic Performance of Service-oriented Multi-radio Networks : Issues and Perspectives
- 2007
-
Ingår i: Proceedings of the 6th International Workshop on Software and Performance (WOSP '07). - New York, NY, USA : ACM Press. ; , s. 42-45
-
Konferensbidrag (refereegranskat)abstract
- Wireless devices now hold multiple radio interfaces, allowing to switch from one network to another according to required connectivity and related quality. Still, the selection of the best radio interface for a specific connection is under the responsibility of the end-user in most cases. Integrated multi-radio network management so as to improve the overall performance of the network(s) up to the software application layer, has led to a number of research efforts over the last few years. However, several challenges remain due to the inherent complexity of the problem. This paper specifically concentrates on the comprehensive analysis of energy-efficient multi-radio networking for pervasive computing. Building upon the service oriented architectural style, we consider pervasive networks of software services, which are deployed on the various networked nodes. The issue is then to optimize the energetic performance of the pervasive network through careful selection of the radio link over which service access should be realized for each such access. By considering the most common wireless interfaces in use today (Bluetooth, WiFi and GPRS), we introduce a formal model of service-oriented multi-radio networks. The proposed model enables characterizing the optimal network configuration in terms of energetic performance, which is shown to be a NP-hard problem and thus requires adequate approximation.
|
|
| 17. |
- Caporuscio, Mauro, 1975-
(författare)
-
Engineering Emergent Semantics into Pervasive Resource Discovery
- 2012
-
Ingår i: 39th Euromicro Conference on Software Engineering and Advanced Applications. - : IEEE Press. - 9781467324519 ; , s. 208-215
-
Konferensbidrag (refereegranskat)abstract
- Pervasive environments are composed as spontaneous aggregation of heterogeneous and independent devices, which may seamlessly consume, but also provide, software resources over the network. As result, applications emerge from the dynamic composition of the resources available within the environment. This requires applications of being semantic-aware, to reason about and learn from the environment. However, due to the inherent high degree of dynamism characterizing pervasiveenvironments, semantics cannot be established a-priori, rather it should "emerge" from online negotiations among involved parties. This paper, formalizes emergent semantics principles into formal foundations, and shows, as proof of concept, how to engineer such foundations into a fully distributedsemantic service discovery.
|
|
| 18. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
Engineering Future Internet applications : The Prime approach
- 2015
-
Ingår i: Journal of Systems and Software. - : Elsevier BV. - 0164-1212 .- 1873-1228. ; 106, s. 9-27
-
Tidskriftsartikel (refereegranskat)abstract
- The Future Internet is envisioned as a worldwide environment connecting a large open-ended collection of heterogeneous and autonomous resources, namely Things, Services and Contents, which interact with each other anywhere and anytime. Applications will possibly emerge dynamically as opportunistic aggregation of resources available at a given time, and will be able to self-adapt according to the environment dynamics. In this context, engineers should be provided with proper modeling and programming abstractions to develop applications able to benefit from Future Internet, by being at the same time fluid, as well as dependable. Indeed, such abstractions should (i) facilitate the development of autonomous and independent interacting resources (loose coupling), (ii) deal with the run-time variability of the application in terms of involved resources (flexibility), (iii) provide mechanisms for run-time resources discovery and access (dynamism), and (iv) enable the running application to accommodate unforeseen resources (serendipity).To this end, Prime (P-Rest at design/run tIME) defines the P-REST architectural style, and a set of P-REST oriented modeling and programming abstractions to provide engineers with both design-time and run-time support for specifying, implementing and operating P-RESTful applications.
|
|
| 19. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
Engineering MDA into Compositional Reasoning for Analyzing Middleware-Based Applications
- 2005
-
Ingår i: Software Architecture. - Berlin, Heidelberg : Springer. - 9783540262756 ; , s. 130-145
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- Behavioral analysis of middleware-based applications typically requires the analysis of the middleware and the application, in a monolithic way. In terms of model-checking, this is a complex task and may result in the well known “state-explosion” problem. These considerations led us to investigate a compositional verification approach which decomposes the system in accordance with its Software Architecture. The architectural decomposability theorem we defined in previous work decomposes the system into three logical layer: (i) application components, (ii) proxies and, (iii)middleware. This logical separation allows for reducing the global system validation to the verification of local behaviors.In this paper, we engineer the architectural decomposability theorem to the analysis of middleware-based applications by automatically generating the proxies needed by the components in order to properly interact with each other via the middleware. In particular, following the Model Driven Architecture approach and by making use of the Abstract State Machine formalism, we describe a set of transformation rules that allow for deriving correct proxies for using CORBA. By means of the proposed transformations, the correctness of the proxy behavioral models is guaranteed without the need to validate them with respect to the assumptions posed by the theorem.
|
|
| 20. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
Formal Analysis of Architectural Patterns
- 2004
-
Ingår i: Software Architecture. - Berlin, Heidelberg : Springer. - 9783540220008 ; , s. 10-24
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- Architectural patterns characterize and specify structural and behavioral properties of (sub)systems, thus allowing the provision of solutions for classes of problems.In this paper we show the use of architectural patterns as an abstraction to carry on, and reuse, formal reasoning on systems whose configuration can dynamically change.This kind of systems is hard to model and to reason about due to the fact that we cannot simply build a model with fixed topology (i.e. fixed number of components and connectors) and validate properties of interest on it.The work presented in this paper proposes an approach that given an architectural pattern which expresses a class of systems configurations and a set of properties of interest (i) selects, if any, aminimal configuration for which the specified properties make sense, (ii) an abstraction of the chosen architectural model erformed, in order to reduce the complexity of the verification phase. In this stage, abstractions are driven by the properties of interest. The output of this abstraction step can be model-checked, tested and analyzed by using a standard model-checking framework. (iii) The verification results obtained in the previous step are lifted to generic configurations by performing manual reasoning driven by the constraints posed by the architectural pattern.The approach will be applied by using an event-based architectural pattern to a publish/subscribe system, the Siena middleware, in order to validate its features and its mobility extension.
|
|
| 21. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
GoPrime: A Fully Decentralized Middleware for Utility-Aware Service Assembly
- 2016
-
Ingår i: IEEE Transactions on Software Engineering. - 0098-5589 .- 1939-3520. ; 42:2, s. 136-152
-
Tidskriftsartikel (refereegranskat)abstract
- Modern applications, e.g., for pervasive computing scenarios, are increasingly reliant on systems built from multiple distributed components, which must be suitably composed to meet some specified functional and non-functional requirements. A key challenge is how to efficiently and effectively manage such complex systems. The use of self-management capabilities has been suggested as a possible way to address this challenge. To cope with the scalability and robustness issues of large distributed systems, self-management should ideally be architected in a decentralized way, where the overall system behavior emerges from local decisions and interactions. Within this context, we propose GOPRIME, a fully decentralized middleware solution for the adaptive self-assembly of distributed services. The GOPRIME goal is to build and maintain an assembly of services that, besides functional requirements, fulfils also global quality-of-service and structural requirements. The key aspect of GOPRIME is the use of a gossip protocol to achieve decentralized information dissemination and decision making. To show the validity of our approach, we present results from the experimentation of a prototype implementation of GOPRIME in a mobile health application, and an extensive set of simulation experiments that assess the effectiveness of GOPRIME in terms of scalability, robustness and convergence speed.
|
|
| 22. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
IoT-enabled Physical Telerehabilitation Platform
- 2017
-
Ingår i: Proccedings of the International Workshop on Engineering IoT Systems. - : IEEE. - 9781509047932 ; , s. 112-119
-
Konferensbidrag (refereegranskat)abstract
- Physical telerehabilitation services over the Internet allow physiotherapists to engage in remote consultation with patients at their homes, improving the quality of care and reducing costs. Traditional visual approaches, such as webcams and videophones, are limited in terms of precision of assessment and support for assistance with exercises. In this paper, we present a Physical Telerehabilitation System (PTS) that enhances video interaction with IoT technology to monitor the position of the body of patients in space and provide smart data to physiotherapists and users. We give an overview of the architecture of the PTS and evaluate (i) its usability based on a number of interviews and focus groups with stakeholders, and (ii) its technical efficiency based on a series of measurements. From this evaluation, we derive a number of challenges for further improvement of the PTS and outline a possible solution based on a microservices architecture.
|
|
| 23. |
- Caporuscio, Mauro, 1975-
(författare)
-
Microevolution of Pervasive Services
- 2013
-
Ingår i: 40th Euromicro Conference on Software Engineering and Advanced Applications. - : IEEE Press. ; , s. 161-168
-
Konferensbidrag (refereegranskat)abstract
- The pervasive computing vision of the future communication infrastructure is that we will be everywhere connected with invisible devices, which may consume and provide computational resources over the network. Resources are often abstracted as autonomous services, which must be "continually" evolved at run time to satisfy changing requirements. This paper discusses the design, development and evaluation of the Microevolution of Pervasive Services framework, which aims at supporting the run-time small-scale evolution of services through code mobility. Indeed, the framework provides (i) a dispatching mechanism to migrate Java code throughout the pervasive networking environment, and (ii) a microevolution manager that exploits Java reflection mechanisms to optimize code transmission.
|
|
| 24. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
Model-based system reconfiguration for dynamic performance management
- 2007
-
Ingår i: Journal of Systems and Software. - : Elsevier. - 0164-1212 .- 1873-1228. ; 80:4, s. 455-473
-
Tidskriftsartikel (refereegranskat)abstract
- Recently, growing attention focused on run-time management of Quality of Service (QoS) of complex software systems. In this context, system reconfiguration is considered a useful technique to manage QoS. Several reconfiguration approaches to performance management exist that help systems to maintain performance requirements at run time. However, many of them use prefixed strategies that are in general coded in the application or in the reconfiguration framework.In this work we propose a framework to manage performance of software systems at run time based on monitoring and model-based performance evaluation. The approach makes use of software architectures as abstractions of the managed system to avoid unnecessary details that can heavily affect the model evaluation in terms of complexity and resolution time.
|
|
| 25. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
PaCE : A Data-Flow Coordination Language for Asynchronous Network-Based Applications
- 2012
-
Ingår i: Software Composition. - Berlin, Heidelberg : Springer. - 9783642305634 ; , s. 51-67
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- Network-based applications usually rely on the explicit distribution of components, which interact by means of message passing. Assembling components into a workflow is challenging due to the asynchronism inherent to the underlying message-passing communication model. This paper presents the PaCE language, which aims at coordinating asynchronous network-based components by exploiting the data-flow execution model. Specifically, PaCE has been designed for dealing with components compliant with the P-REST architectural style for pervasive adaptive systems. Moreover PaCE provides reflective features enabling run-time adaptation and evolution of workflows.
|
|
| 26. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
QoS-based Feedback for Service Compositions
- 2015
-
Ingår i: Proceedings of the 11th International ACM SIGSOFT Conference on Quality of Software Architectures. - New York, NY, USA : ACM Press. - 9781450334709 ; , s. 37-42
-
Konferensbidrag (refereegranskat)abstract
- The Service Oriented Architecture is boosting a fast move from developing applications as stand-alone systems, to developing applications as composition of autonomous and heterogeneous services. Service compositions are required to adapt dynamically to changing workloads, scenarios and objectives, and to achieve a certain Quality of Service (QoS). Guaranteeing such requirements is not a trivial task, since run-time variability makes the process of devising service compositions challenging for software designers. In this paper, we exploit the QoS analysis at run time to support software design, highlighting service compositions where QoS predictions are not reliable enough. To this end, we propose a QoS-based feedback framework that makes use of design-time and run-time knowledge to manage QoS data over time, and support software architect while devising a service composition that best fits QoS requirements. We illustrate the feasibility and effectiveness of the approach on a case study from the e-health domain.
|
|
| 27. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
Rapid System Development Via Product Line Architecture Implementation
- 2006
-
Ingår i: Rapid Integration of Software Engineering Techniques. - Berlin, Heidelberg : Springer. - 9783540340638 ; , s. 18-33
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- Software Product Line (SPL) engineering allows designers to reason about an entire family of software applications, instead of a single product, with a strategic importance for the rapid development of new applications. While much effort has been spent so far in understanding and modeling SPLs and their architectures, very little attention has been given on how to systematically enforce SPL architectural decisions into the implementation step.In this paper we propose a methodological approach and an implementation framework, based on a plugin component-based development, which allows us to move from an architectural specification of the SPL to its implementation in a systematic way. We show the suitability of this framework through its application to the TOOL one case study SPL.
|
|
| 28. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
Resource-Oriented Middleware Abstractions for Pervasive Computing
- 2012
-
Ingår i: International Conference on Software Science, Technology and Engineering. - : IEEE Press. - 9781467317214 ; , s. 1-10
-
Konferensbidrag (refereegranskat)abstract
- The pervasive computing vision of the future communication and computational infrastructure is that we will be everywhere virtually connected with invisible computers, embedded in the environment. In this context, the challenge is to provide a middleware support that allows applications to have minimal assumptions about the environment while being able to dynamically adapt to the surrounding context. Specifically, the middleware should (i) deal with the run-time growth of the application in terms of involved resources (flexibility), (ii) accommodate heterogeneous and unforeseen functionalities into the running application (genericity), and (iii) discover new functionality at run time and rearrange the application accordingly (dynamism). To this extent, we devised the P-REST (Pervasive REST) architectural style and built the P RIME (P-rest Runtime) middleware to support it. PRIME allows a quick and effective development and execution P-REST applications by leveraging functional programming and code mobility.
|
|
| 29. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
RESTful Service Architectures for Pervasive Networking Environments
- 2011
-
Ingår i: REST. - New York, NY : Springer. - 9781441983022 ; , s. 401-422
-
Bokkapitel (refereegranskat)abstract
- Computing facilities are an essential part of the fabric of our society, and an ever-increasing number of computing devices is deployed within the environment in which we live. The vision of pervasive computing is becoming real. To exploit the opportunities offered by pervasiveness, we need to revisit the classic software development methods to meet new requirements: (1) pervasive applications should be able to dynamically configure themselves, also benefiting from third-party functionalities discovered at run time and (2) pervasive applications should be aware of, and resilient to, environmental changes. In this chapter we focus on the software architecture, with the goal of facilitating both the development and the run-time adaptation of pervasive applications. More specifically we investigate the adoption of the REST architectural style to deal with pervasive environment issues. Indeed, we believe that, although REST has been introduced by observing and analyzing the structure of the Internet, its field of applicability is not restricted to it. The chapter also illustrates a proof-of-concept example, and then discusses the advantages of choosing REST over other styles in pervasive environments.
|
|
| 30. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
Run-time Performance Management of the Siena Publish/Subscribe Middleware
- 2005
-
Ingår i: Proceedings of the 5th International Workshop on Software and Performance (WOSP '05). - New York, NY, USA : ACM Press. - 1595930876 ; , s. 65-74
-
Konferensbidrag (refereegranskat)abstract
- Recently, growing attention is focused on run-time management of Quality of Service (QoS) of complex software systems. In this context, self-adaptation of applications, based on runtime monitoring and dynamic reconfiguration, is considered a useful technique to manage/negotiate QoS. Several defined approaches to dynamic performance management propose the use of on-line model-based evaluation of the managed application in order to choose the new application configuration for improving the QoS. In a previous work we defined a methodology to manage performance of soft-ware system at run-time based on model-based performance evaluation. To avoid unnecessary details the performance model represents the managed application at the Software Architecture level. In this work we apply and implement this approach to dynamic manage the performance of the SIENA publish/subscribe event notification service.
|
|
| 31. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
Smart-troubleshooting connected devices : Concept, challenges and opportunities
- 2020
-
Ingår i: Future generations computer systems. - : Elsevier. - 0167-739X .- 1872-7115. ; 111, s. 681-697
-
Tidskriftsartikel (refereegranskat)abstract
- Today’s digital world and evolving technology has improved the quality of our lives but it has also come with a number of new threats. In the society of smart-cities and Industry 4.0, where many cyber-physical devices connect and exchange data through the Internet of Things, the need for addressing information security and solve system failures becomes inevitable. System failures can occur because of hardware failures, software bugs or interoperability issues. In this paper we introduce the industry-originated concept of “smart-troubleshooting” that is the set of activities and tools needed to gather failure information generated by heterogeneous connected devices, analyze them, and match them with troubleshooting instructions and software fixes. As a consequence of implementing smart-troubleshooting, the system would be able to self-heal and thus become more resilient. This paper aims to survey frameworks, methodologies and tools related to this new concept, and especially the ones needed to model, analyze and recover from failures in a (semi)automatic way. Smart-troubleshooting has a relation with event analysis to perform diagnostics and prognostics on devices manufactured by different suppliers in a distributed system. It also addresses management of appropriate product information specified in possibly unstructured formats to guide the troubleshooting workflow in identifying fault–causes and solutions. Relevant research is briefly surveyed in the paper in order to highlight current state-of-the-art, open issues, challenges to be tackled and future opportunities in this emerging industry paradigm.
|
|
| 32. |
- Caporuscio, Mauro, 1975-
(författare)
-
Towards Fully Decentralized Self-Adaptive Reactive Systems
- 2017
-
Ingår i: ICPE'17. - New York, NY, USA : ACM Digital Library. ; , s. 17-17
-
Konferensbidrag (refereegranskat)abstract
- With the growing demand for real-time data originating from myriads of Internet-connected devices, the number of requests hitting today's computing infrastructures goes beyond what is manageable for operations and affordable for management. Coping with these challenges requires a modernization of the application architectures and the underlying infrastructures. The mobile nature inherent to modern communications and interactions requires a radical shift towards new computing paradigms that reflect the fully decentralized perspective of the emerging execution environment. To this end, the trend is to switch thinking from assembling components into systems to dynamically composing autonomous systems into systems-of-systems. Indeed, systems-of-systems possibly emerge dynamically as an opportunistic aggregation of systems available at a given time. Since these systems operate under highly dynamic conditions where both the entities and their interconnections are subject to continuous change, the traditional stability assumptions made on distributed systems' design are no longer valid. Indeed, the dynamic operating conditions introduce uncertainty, which may harm the dependability of the system. In order to guarantee the provision of dependable functionality in such an unknown, ever-changing execution environment, systems should be fluid and able to self-adapt their structure depending on the changing situation. This talk examines a set of principles and techniques facilitating the design and development of fully decentralized systems that leverage on self-adaptivity to mitigate run-time uncertainty. Specifically, the key objective is to efficiently and effectively provide engineers with proper abstractions to develop self-adaptive systems capable of being at the same time fluid, as well as dependable.
|
|
| 33. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
ubiREST : A RESTful Service-Oriented Middleware for Ubiquitous Networking
- 2014
-
Ingår i: Advanced Web Services. - New York, NY : Springer. - 9781461475347 ; , s. 475-500
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- The computing and networking capabilities of today’s wireless mobile devices allow for seamlessly-networked, ubiquitous services, which may be dynamically composed at run-time to accomplish complex tasks. This vision, however, remains challenged by the inherent mobility of such devices, which makes services highly volatile. These issues call for a service-oriented middleware that should (i) deal with the run-time growth of the application in terms of involved services (flexibility), (ii) accommodate heterogeneous and unforeseen services into the running application (genericity), and (iii) discover new services at run time and rearrange the application accordingly (dynamism). This chapter discusses the design and implementation of ubiREST, a service-oriented middleware that leverages REST principles to effectively enable the ubiquitous networking of Services.ubiREST specifically defines a layered communication middleware supporting RESTful Services while exploiting nowadays ubiquitous connectivity.
|
|
| 34. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
ubiSOAP : A Service-Oriented Middleware for Ubiquitous Networking
- 2012
-
Ingår i: IEEE Transactions on Services Computing. - 1939-1374. ; 5:1, s. 86-98
-
Tidskriftsartikel (refereegranskat)abstract
- The computing and networking capacities of today's wireless portable devices allow for ubiquitous services, which are seamlessly networked. Indeed, wireless handheld devices now embed the necessary resources to act as both service clients and providers. However, the ubiquitous networking of services remains challenged by the inherent mobility and resource constraints of the devices, which make services a priori highly volatile. This paper discusses the design, implementation, and experimentation of the ubiSOAP service-oriented middleware, which leverages wireless networking capacities to effectively enable the ubiquitous networking of services. ubiSOAP specifically defines a layered communication middleware that underlies standard SOAP-based middleware, hence supporting legacy Web Services while exploiting nowadays ubiquitous connectivity.
|
|
| 35. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
ubiSOAP : A Service Oriented Middleware for Seamless Networking
- 2008
-
Ingår i: Service-Oriented Computing “ ICSOC 2008. - Berlin, Heidelberg : Springer. - 9783540896470 ; , s. 195-209
-
Bokkapitel (övrigt vetenskapligt/konstnärligt)abstract
- The computing and networking capacities of today’s wireless portable devices allow for pervasive services, which are seamlessly networked. Indeed, wireless handheld devices now embed the necessary resources to act as both service clients and providers. However, the seamless networking of services remains challenged by the inherent mobility and resource constraints of devices, which make services a priori highly volatile. This paper discusses the design, implementation and experimentation of the ubiSOAP service-oriented middleware, which leverages wireless networking capacities to effectively enable the seamless networking of services. ubiSOAP specifically defines a layered communication middleware that underlies standard SOAP-based middleware, hence supporting legacy services while exploiting nowadays pervasive connectivity.
|
|
| 36. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
Uncertain Event-based Model for Egocentric Context Sensing
- 2005
-
Ingår i: Proceedings of the 5th International Workshop on Software Engineering and Middleware. - New York, NY, USA : ACM. ; , s. 25-32
-
Konferensbidrag (refereegranskat)abstract
- Calm Technology characterizes those technologies that move forth and back between the center and periphery of our attention. That is, while center denotes what one is currently focused on, periphery denotes what one is attuned to without focusing on it explicitly. Context-aware computing exploits such a concept by allowing applications to adapt their behavior (i.e. the center) in response to the context sensed within the environment (i.e. the periphery). An application in this setting should have minimal assumptions in order to operate while being able to dynamically adapt to and learn what the surrounding context offers.In this paper we discuss ongoing work in designing an event-based model that allows applications to egocentrically perceive the periphery and evaluate its relevance and uncertainty with respect to the center of the application attention. In particular we discuss our ongoing work in designing and developing ECHOES, an uncertain event-model for Egocentric computing. Characteristics of ECHOES are (a) departing from usual conjunctive pattern-matching algorithms implemented in event-notification models and, (b) achieving event correlation through the use of complex filters defined by means of Fuzzy Logic formulas. The paper introduces the specification of ECHOES as well as the design of an early prototype developed as a modified implementation of the SIENA Publish/Subscribe Middleware.
|
|
| 37. |
- Caporuscio, Mauro, 1975-, et al.
(författare)
-
Yet Another Framework for Supporting Mobile and Collaborative Work
- 2003
-
Ingår i: Proceedings. Twelfth IEEE International Workshops on Enabling Technologies, 2003. WET ICE 2003.. - : IEEE Press. - 0769519636 ; , s. 81-86
-
Konferensbidrag (refereegranskat)abstract
- This paper presents the design of YACO (Yet Another framework for Collaborative work), a framework for supporting mobile collaborative work. Mobile collaborative work has been increasing in popularity in business domain. Coworkers cooperate and share expertise across sites and domains, employees may move from a location to another carrying devices (such as PDAs and laptops) in which they store documents. The YACO framework that we have designed aims at exploiting the capabilities provided by an event-based system with support for mobile application in order to offer services to users that collaborates each other in a corporate domain.
|
|
| 38. |
- Cardoso, Roberto Speicys, et al.
(författare)
-
Exploring Multi-Path Communication in Hybrid Mobile Ad Hoc Networks
- 2010
-
Ingår i: International Journal of Ambient Computing and Intelligence (IJACI). - : IGI Global. - 1941-6237 .- 1941-6245. ; 2:4, s. 1-12
-
Tidskriftsartikel (refereegranskat)abstract
- Ambient computing requires the integration of multiple mobile heterogeneous networks. Multi-path communication in such scenarios can provide reliability and privacy benefits. Even though the properties of multi-path routing have been extensively studied and a number of algorithms proposed, implementation of such techniques can be tricky, particularly when resource-constrained nodes are connected to each other through hybrid networks with different characteristics. In this paper, the authors discuss the challenges involved in implementing multipath communication on a middleware for hybrid mobile ad hoc networks. The authors present the PLASTIC middleware, several compelling applications of multi-path communication and the main issues concerning their implementation as a primitive middleware-provided communication.
|
|
| 39. |
- D'Angelo, Mirko, et al.
(författare)
-
CyPhEF : A Model-driven Engineering Framework for Self-adaptive Cyber-physical Systems
- 2018
-
Ingår i: Proceedings of the 40th International Conference on Software Engineering. - New York, NY, USA : ACM Press. - 9781450356633 ; , s. 101-104
-
Konferensbidrag (refereegranskat)abstract
- Self-adaptation is nowadays recognized as an effective approach to deal with the uncertainty inherent to cyber-physical systems, which are composed of dynamic and deeply intertwined physical and software components interacting with each other. Engineering a self-adaptive cyber-physical system is challenging, as concerns about both the physical and the control system should be jointly considered. To this end, we present CyPhEF, a Model-Driven Engineering framework supporting the development and validation of self-adaptive cyber-physical systems.Demo video: https://youtu.be/nmg-w2kfKEA.
|
|
| 40. |
- D'Angelo, Mirko, et al.
(författare)
-
Decentralized learning for self-adaptive QoS-aware service assembly
- 2020
-
Ingår i: Future generations computer systems. - : Elsevier. - 0167-739X .- 1872-7115. ; 108, s. 210-227
-
Tidskriftsartikel (refereegranskat)abstract
- The highly dynamic nature of future computing systems, where applications dynamically emerge as opportunistic aggregation of autonomous and independent resources available at any given time, requires a radical shift in the adopted computing paradigms. Indeed, they should fully reflect the decentralized perspective of the execution environment and consider QoS, scalability and resilience as key objectives. In this context, the everything-as-a-service (XaaS) paradigm, which envisions the creation of new services as an assembly of independent services available within the environment, can greatly help in tackling the challenges of developing future applications. However, in order to be effective, XaaS paradigm requires self-adaptive service assembly solutions able to cope with the unpredictable variability and scalability of the execution environment, the lack of global knowledge, and the QoS requirements of services to be built. We contribute in this direction by designing a fully decentralized and collective self-adaptive service assembly framework whose main features are: (i) self-assembly, i.e., the ability to operate autonomously, (ii) online-learning, i.e., the ability to dynamically learn from experience, (iii) QoS-awareness, i.e., the inclusion of QoS requirements as driving forces for self-assembly, (iv) scalability, i.e., the ability to cope with a large number of services, and (v) resilience, i.e., the ability to maintain the persistence of service delivery when facing unexpected changes (e.g., in the number and/or QoS of services). Simulation experiments show that our solution makes the system able to quickly converge to viable assemblies that improve and maintain over time the social welfare of the system, despite the local perspective of each participating service.
|
|
| 41. |
- D'Angelo, Mirko
(författare)
-
Engineering Decentralized Learning in Self-Adaptive Systems
- 2021
-
Doktorsavhandling (övrigt vetenskapligt/konstnärligt)abstract
- Future computing environments are envisioned to be populated by myriads of pervasive real-world things, which collaborate to offer boundless opportunities to industry and society -- e.g., smart cities, and intelligent transportation systems. In this setting, an application can be considered as a network-based system where applications dynamically emerge as opportunistic assemblies of services. This class of applications is likely characterized by high dynamism, with services joining and leaving the network and changing their quality attributes. Indeed, dynamic introduces uncertainty, which in turn may alter the system's functionalities and harm the system's quality of service. Although self-adaptation and machine learning techniques are proposed as viable approaches to address run-time uncertainties and support resilience, engineering effectively these systems is undoubtedly complex, since their peculiarities demand decentralized solutions. To this end, this thesis addresses the critical challenges for engineering decentralized learning in self-adaptive systems in three steps. First, it examines, classifies, and distills knowledge from research related to self-adaptive systems using learning techniques as means of addressing uncertainty. Then, it presents a reasoning framework that supports architecting and implementation activities with capabilities to evaluate architectural decisions. Finally, leveraging the solutions devised by addressing the aforementioned challenges, it proposes an approach to build and maintain over time a resilient assembly of services that are collectively able to deliver quality of service.Evaluation is performed through an extensive set of simulation experiments to assess the effectiveness of the approach. The results show that the devised solution, including self-adaptation and reinforcement learning as key elements, can cope with unpredictably variable operating environments and guarantee quality of service and resilience.
|
|
| 42. |
- D'Angelo, Mirko, et al.
(författare)
-
Model-driven Engineering of Decentralized Control in Cyber-Physical Systems
- 2017
-
Ingår i: Proceedings of the 2nd International Workshop on Foundations and Applications of Self* Systems (FAS*W). - : IEEE. - 9781509065585 ; , s. 7-12
-
Konferensbidrag (refereegranskat)abstract
- Self-Adaptation is nowadays recognized as an effective approach to manage the complexity and dynamics inherent to cyber-physical systems, which are composed of deeply intertwined physical and software components interacting with each other. A self-Adaptive system typically consists of a managed subsystem and a managing subsystem that implements the adaptation logic by means of the well established MAPE-K control loop. Since in large distributed settings centralized control is hardly adequate to manage the whole system, self-Adaptation should be achieved through collective decentralized control, that is multiple cyber-physical entities must adapt in order to address critical runtime conditions. Developing such systems is challenging, as several dimensions concerning both the cyber-physical system and the decentralized control loop should be considered. To this end, we promote MAPE-K components as first-class modeling abstractions and provide a framework supporting the design, development, and validation of decentralized self-Adaptive cyber-physical systems.
|
|
| 43. |
- D'Angelo, Mirko, et al.
(författare)
-
Pure Edge Computing Platform for the Future Internet
- 2016
-
Ingår i: Software Technologies: Applications and Foundations (STAF 2016). - Vienna : Springer. - 9783319502298 - 9783319502304 ; , s. 458-469
-
Konferensbidrag (refereegranskat)abstract
- Future Internet builds upon three key pillars – namely, Internet of Things, Internet of Services, and Internet of Contents – and is considered as a worldwide execution environment that interconnects myriad heterogeneous entities over time, supports information dissemination, enables the emergence of promising application domains, and stimulate new business and research opportunities. In this paper we analyse the challenges towards the actualisation of the Future Internet. We argue that the mobile nature inherent to modern communications and interactions requires a radical shift towards new computing paradigms that fully reflect the network-based perspective of the emerging environment. Indeed, we position the adoption of a Pure Edge Computing platform that offers designing and programming abstractions to specify, implement and operate Future Internet applications.
|
|
| 44. |
- D'Angelo, Mirko, et al.
(författare)
-
SA-Chord : A Self-Adaptive P2P Overlay Network
- 2018
-
Ingår i: Proceedings. 2018 IEEE 3rd International Workshops on Foundations and Applications of Self* Systems. - Los Alamitos, CA : IEEE. - 9781538651759 ; , s. 118-123
-
Konferensbidrag (refereegranskat)abstract
- Pure Edge Computing relies on peer-to-peer overlay networks to realize the communication backbone between participating entities. In these settings, entities are characterized by high heterogeneity, mobility, and variability, which introduce runtime uncertainty and may harm the dependability of the network. Departing from state-of-the-art solutions, overlay networks for Pure Edge Computing should take into account the dynamics of the operating environment and self-adapt their topology accordingly, in order to increase the dependability of the communication. To this end, this paper discusses the preliminary development and validation of SA-Chord, a self-adaptive version of the wellknown Chord protocol, able to adapt the network topology according to a given global goal. SA-Chord has been validated through simulation against two distinct goals: (i) minimize energy consumption and, (ii) maximize network throughput. Simulation results are promising and show how SA-Chord efficiently and effectively achieves a given goal.
|
|
| 45. |
- D'Angelo, Mirko, et al.
(författare)
-
Towards a Continuous Model-Based Engineering Process for QoS-Aware Self-adaptive Systems
- 2020
-
Ingår i: International Conference on Software Engineering and Formal Methods SEFM 2019. - Cham : Springer. - 9783030575052 - 9783030575069 ; , s. 69-76
-
Konferensbidrag (refereegranskat)abstract
- Modern information systems connecting software, physical systems, and people, are usually characterized by high dynamism. These dynamics introduce uncertainties, which in turn may harm the quality of service and lead to incomplete, inaccurate, and unreliable results. In this context, self-adaptation is considered as an effective approach for managing run-time uncertainty. However, classical approaches for quality engineering are not suitable to deal with run-time adaptation, as they are mainly used to derive the steady-state solutions of a system at design-time. In this paper, we envision a Continuous Model-based Engineering Process that makes use of architectural analysis in conjunction with experimentation to have a wider understanding of the system under development. These two activities are performed incrementally, and jointly used in a feedback loop to provide insights about the quality of the system-to-be. © 2020, Springer Nature Switzerland AG.
|
|
| 46. |
- Edrisi, Farid, et al.
(författare)
-
Adaptive Controllers and Digital Twin for Self-Adaptive Robotic Manipulators
- 2023
-
Ingår i: 2023 IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS). - : IEEE. - 9798350311921 - 9798350311938 ; , s. 56-67
-
Konferensbidrag (refereegranskat)abstract
- Robots are increasingly adopted in a wide range of unstructured and uncertain environments, where they are expected to keep quality properties such as efficiency, accuracy, and safety. To this end, robots need to be smart and continuously update their situation awareness. Self-adaptive systems pave the way for accomplishing this aim by enabling a robot to understand its surroundings and adapt to various scenarios in a systematic manner. However, some situations, e.g., adjusting adaptation rules, refining run-time models, narrowing a vast adaptation domain, and taking future scenarios into consideration, etc. may require the self-adaptive system to include additional specialized components. In this regard, this work proposes a novel approach combining the MAPE-K, adaptive controllers, and a Digital Twin of the robot to enable the managing system to be aware of new scenarios appearing at run-time and operate safely, accurately, and efficiently. A state-of-the-art robot model is employed to evaluate the suitability of the approach.
|
|
| 47. |
- Edrisi, Farid, et al.
(författare)
-
Developing and Evolving a Digital Twin of the Organization
- 2024
-
Ingår i: IEEE Access. - : IEEE. - 2169-3536. ; 12, s. 45475-45494
-
Tidskriftsartikel (refereegranskat)abstract
- Digital Twin of the Organization (DTO) is a relatively new concept that emerged to help managers have a full understanding of their organization and realize their objectives. Indeed, DTO enables connecting all the elements of an organization virtually by providing monitoring, optimization, prediction, and other capabilities through continuous simulations. Creating a flexible and evolvable DTO that covers and supports the organization's business strategies is a complex and time-consuming task that requires engineering best practices. In this context, this paper presents and evaluates the EA Blueprint Pattern, which serves as an architectural reference for the development of a DTO by allowing for mapping well-known Enterprise Architecture concepts into software components defining the DTO software architecture. The evaluation is carried on by showing how to use the pattern for creating the DTO for a given organization. Then, a thorough discussion is conducted to analyze how the developed DTO should evolve to deal with vertical and horizontal integration. The lessons learned highlight the strengths and weaknesses along with practical implications for organizations that are eager to develop their DTO according to the EA Blueprint Pattern.
|
|
| 48. |
- Edrisi, Farid, et al.
(författare)
-
EA Blueprint : An Architectural Pattern for Resilient Digital Twin of the Organization
- 2021
-
Ingår i: Dependable Computing - EDCC 2021 Workshops.. - Cham : Springer. - 9783030865078 - 9783030865061 ; , s. 120-131
-
Konferensbidrag (refereegranskat)abstract
- Advancements in Cyber-Physical Systems, IoT, Data-driven methods, and networking prepare the adequate infrastructure for constructing new organizations, where everything is connected and interact with each other. A Digital Twin of the Organization (DTO) exploits these infrastructures to provide an accurate digital representation of the organization. Beyond the usual representation of devices, machines and physical assets supplied by Digital Twins, a DTO also include processes, services, people, roles, and all other relevant elements for the operation of organizations. Therefore, DTO can play a key role in realizing and analyzing aspects of organizations, assisting managers on the knowledge of the organization status, and foreseeing possible effects of potential changes in the organization. However, due to the dynamic, open, and ever-changing environment of organizations, an established DTO will soon degrade or even lose all its utility. Therefore, a DTO needs to evolve to recover its utility when the organization changes. The development of flexible, resilient, and easy to evolve DTO has not been well-addressed yet. Most of the existing proposals are context-dependent, system-specific, or focus on providing solutions in high-level abstraction. This work leverages Enterprise Architecture to propose an architectural pattern to serve as a blueprint toward the development of resilient DTO.
|
|
| 49. |
- Flammini, Francesco, Senior Lecturer, 1978-, et al.
(författare)
-
Safety integrity through self-adaptation for multi-sensor event detection : Methodology and case-study
- 2020
-
Ingår i: Future generations computer systems. - : Elsevier. - 0167-739X .- 1872-7115. ; 112, s. 965-981
-
Tidskriftsartikel (refereegranskat)abstract
- Traditional safety-critical systems are engineered in a way to be predictable in all operating conditions. They are common in industrial automation and transport applications where uncertainties (e.g., fault occurrence rates) can be modeled and precisely evaluated. Furthermore, they use high-cost hardware components to increase system reliability. On the contrary, future systems are increasingly required to be "smart"(or "intelligent") that is to adapt to new scenarios, learn and react to unknown situations, possibly using low-cost hardware components. In order to move a step forward to fulfilling those new expectations, in this paper we address run-time stochastic evaluation of quantitative safety targets, like hazard rate, in self-adaptive event detection systems by using Bayesian Networks and their extensions. Self-adaptation allows changing correlation schemes on diverse detectors based on their reputation, which is continuously updated to account for performance degradation as well as modifications in environmental conditions. To that aim, we introduce a specific methodology and show its application to a case-study of vehicle detection with multiple sensors for which a real-world data-set is available from a previous study. Besides providing a proof-of-concept of our approach, the results of this paper pave the way to the introduction of new paradigms in the dynamic safety assessment of smart systems. (c) 2020 Elsevier B.V. All rights reserved.
|
|
| 50. |
- Issarny, Valerie, et al.
(författare)
-
A Perspective on the Future of Middleware-based Software Engineering
- 2007
-
Ingår i: 2007 Future of Software Engineering (FOSE '07). - : IEEE Press. - 0769528295 ; , s. 244-258
-
Konferensbidrag (refereegranskat)abstract
- Middleware is a software layer that stands between the networked operating system and the application and provides well known reusable solutions to frequently encountered problems like heterogeneity, interoperability, security, dependability. Further, with networks becoming increasingly pervasive, middleware appears as a major building block for the development of future software systems. Starting with the impact of pervasive networking on computing models, manifested by now common grid and ubiquitous computing, this paper surveys related challenges for the middleware and related impact on the software development. Indeed, future applications will need to cope with advanced non-functional properties such as context- awareness and mobility, for which adequate middleware support must be devised together with accompanying software development notations, methods and tools. This leads us to introduce our view on next generation middleware, considering both technological advances in the networking area but also the need for closer integration with software engineering best practices, to ultimately suggest middleware-based software processes.
|
|
