114 Hits in 0.95 sec

Revalorización del movimiento anti-manicomial de Franco Basaglia

Leonardo Montecchi
2011 Revista de Psicología  
la trayectoria vital de Franco basaglia se entrecruza con el movimiento de los años 60/70 en Italia y en el mundo. Si hoy pensamos en las formas de aquel movimiento debemos, en primer lugar, ubicarnos para dar cuenta del punto de vista desde el cual provienen nuestras observaciones. estamos, o por lo menos yo estoy, sobre naves irregulares, corsarias quizás, que atraviesan un plano de consistencia caracterizado por la circulación de mercaderías pero no de sujetos; y nos ponemos, o me pongo,
more » ... os, o me pongo, como nudo de la red, punto de encuentro y reclutamiento para defender y ampliar este espacio libre en el cual los sujetos, para circular, no deben trasformarse en mercancías. De hecho, si no se es mercancía, fuerza de trabajo requerida, podemos ser capturados y encerrados en lugares ad hoc llamados centros de detención temporal, que no son otra cosa sino campos de internación, sólo porque no estamos donde somos requeridos como mercancía, o donde un poder cualquiera dice que no deberíamos estar: somos clandestinos. la condición humana de estar en un lugar donde para alguien no deberíamos estar, deviene privada de derecho: el sujeto no es titular de habeas corpus, es, como dice giorgio agamben, una vida desnuda y sobre su cuerpo se ejerce el control bio-político. en este mundo hay pocos opositores a la constitución de los dispositivos totalitarios de control, dispositivos que se constituyen en todas partes y que privan de derecho a los sujetos. Por ejemplo, en el mundo
doi:10.5354/0719-0581.2008.17145 fatcat:yqahm3v2hjeqdb5vtco7tpi6ke

Stochastic Activity Networks Templates: Supporting Variability in Performability Models [article]

Leonardo Montecchi and Paolo Lollini and Andrea Bondavalli
2021 arXiv   pre-print
Montecchi is with the University of Campinas, Brazil; P. Lollini and A. Bondavalli are with the University of Firenze, Italy; {lollini,bondavalli}  ... 
arXiv:2006.09291v2 fatcat:r3sdbpjb35ckhg3teicbkap6pm

Stochastic Activity Networks Templates: Supporting Variability in Performability Models

Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli
2021 IEEE Transactions on Reliability  
Model-based evaluation is extensively used to estimate the performance and reliability of dependable systems. Traditionally, these systems were small and self-contained, and the main challenge for model-based evaluation has been the efficiency of the solution process. Recently, the problem of specifying and maintaining complex models has increasingly gained attention, as modern systems are characterized by many components and complex interactions. Components share similarities, but at the same
more » ... s, but at the same time, also exhibit variations in their behavior due to different configurations or roles in the system. From the modeling perspective, variations lead to replicating and altering a small set of base models multiple times. Variability is taken into account only informally, by defining a sample model and explaining its possible variations. In this article, we address the problem of including variability in performability models, focusing on stochastic activity networks (SANs). We introduce the formal definition of stochastic activity networks templates (SAN-T), a formalism based on SANs with the addition of variability aspects. Differently from other approaches, parameters can also affect the structure of the model, like the number of cases of activities. We apply the SAN-T formalism to the modeling of the backbone network of an environmental monitoring infrastructure. In particular, we show how existing SAN models from the literature can be generalized using the newly introduced formalism.
doi:10.1109/tr.2021.3120979 fatcat:iqk4sxhzdbhs3j6c755ltpxuna

The RoCS Framework to Support the Development of Autonomous Robots

Leonardo Ramos, Gabriel Lisbôa Guimarães Divino, Guilherme Cano Lopes, Breno Bernard Nicolau De França, Leonardo Montecchi, Esther Luna Colombini
2019 Journal of Software Engineering Research and Development  
With the expansion of autonomous robotics and its applications (e.g. medical, competition, military), the biggest hurdle in developing mobile robots lies in endowing them with the ability to interact with the environment and to make correct decisions so that their tasks can be executed successfully. However, as the complexity of robotic systems grows, the need to organize and modularize software for their correct functioning also becomes a challenge, making the development of software for
more » ... software for controlling robots a complex and intricate task. In the robotics domain, there is a lack of reference software architectures and, although most robot architectures available in the literature facilitate the creation process with their modularity, existing solutions do not provide development guidance on reusing existing modules. Based on the well- known IBM Autonomic Computing reference architecture (known as MAPE-K), this work defines a refined architecture following the Robotics perspective. To explore the capabilities of the proposed refinement, we implemented the RoCS (Robotics and Cognitive Systems) framework for autonomous robots. We successfully tested the framework under simulated robotics scenarios that mimic typical robotics tasks and evidence the framework reuse capability. Finally, we understand the proposed framework needs further experimental evaluation, particularly, assessments on real-world scenarios.
doi:10.5753/jserd.2019.470 fatcat:qrjdpq6u3ng5xmftub6yd65ysi

SafeConcert: A Metamodel for a Concerted Safety Modeling of Socio-Technical Systems [chapter]

Leonardo Montecchi, Barbara Gallina
2017 Lecture Notes in Computer Science  
Socio-technical systems are characterized by the interplay of heterogeneous entities i.e., humans, organizations, and technologies. Application domains such as petroleum, e-health, and many others rely on solutions based on safety-critical socio-technical systems. To ensure a safe operation of these interacting heterogeneous entities, multifaceted and integrated modeling and analysis capabilities are needed. Currently, such capabilities are not at disposal. To contribute to the provision of
more » ... he provision of such capabilities, in this paper we propose SafeConcert, a metamodel that offers constructs to model socio-technical entities and their safety-related properties. SafeConcert also represents a unified and harmonized language that supports the integrated application of qualitative as well as quantitative safety analyses techniques. To support our claims we briefly report about the evaluation that was conducted and documented in the context of the EU CONCERTO project.
doi:10.1007/978-3-319-64119-5_9 fatcat:toju3rtdfra2re5uxptokxp74e

Analysis of User Perceived QoS in Ubiquitous UMTS Environments Subject to Faults [chapter]

Andrea Bondavalli, Paolo Lollini, Leonardo Montecchi
2008 Lecture Notes in Computer Science  
This paper provides a QoS analysis of a dynamic, ubiquitous UMTS network scenario in the automotive context identified in the ongoing EC HIDENETS project. The scenario comprises different types of mobile users, applications, traffic conditions, and outage events reducing the available network resources. Adopting a compositional modeling approach based on Stochastic Activity Networks formalism, we analyze the Quality of Service (QoS) both from the users' perspective and from the mobile
more » ... he mobile operator's one. The classical QoS analysis is enhanced by taking into account the congestion both caused by the outage events and by the varying traffic conditions.
doi:10.1007/978-3-540-87785-1_17 fatcat:e3zr6lswuvcbnay2r7jjoo233e

Automated Planning for Supporting Knowledge-Intensive Processes [chapter]

Sheila Katherine Venero, Bradley Schmerl, Leonardo Montecchi, Julio Cesar dos Reis, Cecília Mary Fischer Rubira
2020 Lecture Notes in Business Information Processing  
Knowledge-intensive Processes (KiPs) are processes characterized by high levels of unpredictability and dynamism. Their process structure may not be known before their execution. One way to cope with this uncertainty is to defer decisions regarding the process structure until run time. In this paper, we consider the definition of the process structure as a planning problem. Our approach uses automated planning techniques to generate plans that define process models according to the current
more » ... to the current context. The generated plan model relies on a metamodel called METAKIP that represents the basic elements of KiPs. Our solution explores Markov Decision Processes (MDP) to generate plan models. This technique allows uncertainty representation by defining state transition probabilities, which gives us more flexibility than traditional approaches. We construct an MDP model and solve it with the help of the PRISM model-checker. The solution is evaluated by means of a proof of concept in the medical domain which reveals the feasibility of our approach.
doi:10.1007/978-3-030-49418-6_7 fatcat:yyhejkjsrvfbpa4tanialedera

A Template-Based Methodology for the Specification and Automated Composition of Performability Models

Leonardo Montecchi, Paolo Lollini, Andrea Bondavalli
2019 IEEE Transactions on Reliability  
Leonardo Montecchi received the master's degree in computer science and the Ph.D. degree in computer science, systems, and telecommunications from the University of Firenze, Florence, Italy, in 2010 and  ... 
doi:10.1109/tr.2019.2898351 fatcat:jyz3ohuoubfipghis5z2goguwy

Stochastic modeling and analysis of vapor cloud explosions domino effects in chemical plants

Diego Sierra, Leonardo Montecchi, Ivan Mura
2019 Journal of the Brazilian Computer Society  
Some others, such as the consequences of a wrong plant design or the incorrect management of equipment are more difficult *Correspondence: † Diego Sierra, Leonardo Montecchi and  ... 
doi:10.1186/s13173-019-0092-8 fatcat:ye3qmkfnhjbrfkay4bnonqwv6q

Using Metamodels to Improve Model-Based Testing of Service Orchestrations

Lucas Leal, Leonardo Montecchi, Andrea Ceccarelli, Eliane Martins
2020 2020 IEEE 25th Pacific Rim International Symposium on Dependable Computing (PRDC)  
Online model-based testing is one of the most suitable techniques to assess the proper behavior of service orchestrations. However, the diverse panorama in terms of modeling languages and test case generation tools is a limitation to widespread adoption. We advocate that the application of Model-Driven Engineering principles as meta-modeling and model transformation can cope with this problem, improving the interoperability of artifacts in the test case generation process, thus bringing
more » ... us bringing benefits in case of agile development processes, where system and technology evolution is frequent. In this paper, we present our contribution to this idea, introducing i) a reference metamodel, which stores the business process behavior and the information to generate input models for testing tools, and ii) transformations from orchestration languages towards testing tools. The proposed approach is implemented in a testing framework and evaluated on a case study where multiple orchestrations are expressed in two languages. Also, the paper presents how test cases are appropriately generated and successfully executed, starting from an orchestration model as a consequence of successful transformations.
doi:10.1109/prdc50213.2020.00024 fatcat:uw7oyc7ejbdrdauuzllbpqzbua

A Model-Based Approach to Support Safety-Related Decisions in the Petroleum Domain

Leonardo Montecchi, Atle Refsdal, Paolo Lollini, Andrea Bondavalli
2016 2016 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)  
Accidents on petroleum installations can have huge consequences; to mitigate the risk, a number of safety barriers are devised. Faults and unexpected events may cause barriers to temporarily deviate from their nominal state. For safety reasons, a work permit process is in place: decision makers accept or reject work permits based on the current state of barriers. However, this is difficult to estimate, as it depends on a multitude of physical, technical and human factors. Information obtained
more » ... ormation obtained from different sources needs to be aggregated by humans, typically within a limited amount of time. In this paper we propose an approach to provide an automated decision support to the work permit system, which consists in the evaluation of quantitative measures of the risk associated with the execution of work. The approach relies on state-based stochastic models, which can be automatically composed based on the work permit to be examined.
doi:10.1109/dsn.2016.33 dblp:conf/dsn/MontecchiRLB16 fatcat:6ff4secgxrf37g363xu3j6psmu

Addressing Verification and Validation Challenges in Future Cyber-Physical Systems

Nuno Laranjeiro, Camilo Gomez, Enrico Schiavone, Leonardo Montecchi, Manoel J. M. Carvalho, Paolo Lollini, Zoltan Micskei
2019 2019 9th Latin-American Symposium on Dependable Computing (LADC)  
Cyber-physical systems are characterized by strong interactions between their physical and computation parts. The increasing complexity of such systems, now used in numerous application domains (e.g., aeronautics, healthcare), in conjunction with hard to predict surrounding environments or the use of non-traditional middleware and with the presence of non-deterministic or non-explainable software outputs, tend to make traditional Verification and Validation (V&V) techniques ineffective. This
more » ... neffective. This paper presents the H2020 ADVANCE project, which aims precisely at addressing the Verification and Validation challenges that the next-generation of cyber-physical systems bring, by exploring techniques, methods and tools for achieving the technical objective of improving the overall efficiency and effectiveness of the V&V process. From a strategic perspective, the goal of the project is to create an international network of expertise on the topic of V&V of cyber-physical systems.
doi:10.1109/ladc48089.2019.8995714 dblp:conf/ladc/LaranjeiroGSMCL19 fatcat:zna7nrxc4vh43cxkn4jdwlfsjq

Model-based Evaluation of Scalability and Security Tradeoffs: a Case Study on a Multi-Service Platform

Leonardo Montecchi, Nicola Nostro, Andrea Ceccarelli, Giuseppe Vella, Antonio Caruso, Andrea Bondavalli
2015 Electronical Notes in Theoretical Computer Science  
Current ICT infrastructures are characterized by increasing requirements of reliability, security, performance, availability, adaptability. A relevant issue is represented by the scalability of the system with respect to the increasing number of users and applications, thus requiring a careful dimensioning of resources. Furthermore, new security issues to be faced arise from exposing applications and data to the Internet, thus requiring an attentive analysis of potential threats and the
more » ... ats and the identification of stronger security mechanisms to be implemented, which may produce a negative impact on system performance and scalability properties. The paper presents a model-based evaluation of scalability and security tradeoffs of a multi-service web-based platform, by evaluating how the introduction of security mechanisms may lead to a degradation of performance properties. The evaluation focuses on the OPENNESS platform, a webbased platform providing different kind of services, to different categories of users. The evaluation aims at identifying the bottlenecks of the system, under different configurations, and assess the impact of security countermeasures which were identified by a thorough threat analysis activity previously carried out on the target system. The modeling activity has been carried out using the Stochastic Activity Networks (SANs) formalism, making full use of its characteristics of modularity and reusability. The analysis model is realized through the composition of a set of predefined template models, which facilitates the construction of the overall system model, and the evaluation of different configuration by composing them in different ways.
doi:10.1016/j.entcs.2014.12.015 fatcat:gysonrisgjbqhkyrhsqzcv34ca

Understanding the quality of experience in modern distributed interactive multimedia applications in presence of failures

Narasimha Raghavan Veeraragavan, Andrea Bondavalli, Leonardo Montecchi, Roman Vitenberg, Nicola Nostro, Hein Meling
2013 Proceedings of the 28th Annual ACM Symposium on Applied Computing - SAC '13  
Recent technological advances have made it possible to design bandwidth demanding distributed interactive multimedia applications such as the World Opera application. In this application artists from different opera houses across the globe, can participate in a single united performance and interact almost as if they were co-located. One of the main design challenges in this application domain is to determine the composition of system components necessary to satisfy the desired quality of
more » ... ed quality of service in presence of failures and budget constraints. This challenge is exacerbated by the fact that quality of service depends on a multitude of factors such as human perception of video and audio, the type of audience, performance elements, etc. These factors cannot be captured by traditional approaches for dependability evaluation such as reliability, i.e., continuous delivery of correct service. This calls for developing a more comprehensive "Quality of Experience" concept. In this paper, we propose a novel method to assess the quality of experience in presence of failures, based on a new metric called perceived reliability. This method can help the system designers and engineers compare architectural variants and to determine the dependability budget. We show the feasibility of our method by applying it to a World Opera performance. Our experimental results provide useful guidelines for system engineers towards improving the quality of experience of World Opera performances despite presence of failures.
doi:10.1145/2480362.2480450 dblp:conf/sac/VeeraragavanBMVNM13 fatcat:6ddvmqb435dmnivxyzbf7byeea

Towards a Framework for Self-Adaptive Reliable Network Services in Highly-Uncertain Environments

Andrea Ceccarelli, Jesper Grønbæk, Leonardo Montecchi, Hans-Peter Schwefel, Andrea Bondavalli
2010 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops  
In future inhomogeneous, pervasive and highly dynamic networks, end-nodes may often only rely on unreliable and uncertain observations to diagnose hidden network states and decide upon possible remediation actions. Inherent challenges exists to identify good and timely decision strategies to improve resilience of end-node services. In this paper we present a framework, called ODDR (Observation, Diagnosis, Decision, Remediation), for improving resilience of network based services through
more » ... ces through integration of self-adaptive monitoring services, network diagnosis, decision actions, and finally execution (and monitoring) of remediation actions. We detail the motivations to the ODDR design, then we present its architecture, and finally we describe our current activities towards the realization and assessment of the framework services and the main results currently achieved.
doi:10.1109/isorcw.2010.21 dblp:conf/isorc/CeccarelliGMSB10 fatcat:fk72k4dza5c3jh6y6jcoqn2glu
« Previous Showing results 1 — 15 out of 114 results