References of "Pelliccione, Patrizio"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailRoboMAX: Robotic Mission Adaptation eXemplars
Askarpour, Mehrnoosh; Tsigkanos, Christos; Menghi, Claudio UL et al

in Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Artifact Track (2021)

Emerging and future applications of robotic systems pose unique self-adaptation challenges. To support the research needed to address these challenges, we provide an extensible repository of robotic ... [more ▼]

Emerging and future applications of robotic systems pose unique self-adaptation challenges. To support the research needed to address these challenges, we provide an extensible repository of robotic mission adaptation exemplars. Co-designed with robotic application stakeholders including researchers, developers, operators, and end-users, our repository captures key sources of uncertainty, adaptation concerns, and other distinguishing characteristics of such applications. An online form enables external parties to supply new exemplars for curation and inclusion into the repository. We envisage that our RoboMAX repository will enable the development, evaluation, and comparison of much-needed self-adaptation approaches for the robotic systems domain. [less ▲]

Detailed reference viewed: 159 (11 UL)
Full Text
Peer Reviewed
See detailPROMISE: high-level mission specification for multiple robots
García, Sergio; Pelliccione, Patrizio; Menghi, Claudio UL et al

in Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering (ICSE): Companion Proceedings (2020, June)

Service robots, a type of robots that perform useful tasks for humans, are foreseen to be broadly used in the near future in both social and industrial scenarios. Those robots will be required to operate ... [more ▼]

Service robots, a type of robots that perform useful tasks for humans, are foreseen to be broadly used in the near future in both social and industrial scenarios. Those robots will be required to operate in dynamic environments, collaborating among them or with users. Specifying the list of requested tasks to be achieved by a robotic team is far from being trivial. Therefore, mission specification languages and tools need to be expressive enough to allow the specification of complex missions (e.g., detailing recovery actions), while being reachable by domain experts who might not be knowledgeable of programming languages. To support domain experts, we developed PROMISE, a Domain-Specific Language that allows mission specification for multiple robots in a user-friendly, yet rigorous manner. PROMISE is built as an Eclipse plugin that provides a textual and a graphical interface for mission specification. Our tool is in turn integrated into a software framework, which provides functionalities as: (1) automatic generation from specification, (2) sending of missions to the robotic team; and (3) interpretation and management of missions during execution time. PROMISE and its framework implementation have been validated through simulation and real-world experiments with four different robotic models. [less ▲]

Detailed reference viewed: 41 (10 UL)
Full Text
Peer Reviewed
See detailPuRSUE -from specification of robotic environments to synthesis of controllers
Bersani, Marcello M.; Soldo, Matteo; Menghi, Claudio UL et al

in Formal Aspects of Computing (2020)

Detailed reference viewed: 150 (2 UL)
Full Text
Peer Reviewed
See detailMind the gap: Robotic Mission Planning Meets Software Engineering
Askarpour, Mehrnoosh; Menghi, Claudio UL; Belli, Gabriele et al

in Proceedings of the 8th International Conference on Formal Methods in Software Engineering (2020)

In the context of robotic software, the selection of an appropriate planner is one of the most crucial software engineering decisions. Robot planners aim at computing plans (i.e., blueprint of actions) to ... [more ▼]

In the context of robotic software, the selection of an appropriate planner is one of the most crucial software engineering decisions. Robot planners aim at computing plans (i.e., blueprint of actions) to accomplish a complex mission. While many planners have been proposed in the robotics literature, they are usually evaluated on showcase examples, making hard to understand whether they can be effectively (re)used for realising complex missions, with heterogeneous robots, and in real-world scenarios. In this paper we propose ENFORCE, a framework which allows wrapping FM-based planners into comprehensive software engineering tools, and considers complex robotic missions. ENFORCE relies on (i) realistic maps (e.g, fire escape maps) that describe the environment in which the robots are deployed; (ii) temporal logic for mission specification; and (iii) Uppaal model checker to compute plans that satisfy mission specifications. We evaluated ENFORCE by analyzing how it supports computing plans in real case scenarios, and by evaluating the generated plans in simulated and real environments. The results show that while ENFORCE is adequate for handling single-robot applications, the state explosion still represents a major barrier for reusing existing planners in multi-robot applications. [less ▲]

Detailed reference viewed: 228 (15 UL)
Full Text
Peer Reviewed
See detailPsALM: specification of dependable robotic missions
Menghi, Claudio UL; Tsigkanos, Christos; Berger, Thorsten et al

in Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings (2019)

Engineering dependable software for mobile robots is becoming increasingly important. A core asset to engineering mobile robots is the mission specification – a description of the mission that mobile ... [more ▼]

Engineering dependable software for mobile robots is becoming increasingly important. A core asset to engineering mobile robots is the mission specification – a description of the mission that mobile robots shall achieve. Mission specifications are used, among others, to synthesize, verify, simulate or guide the engineering of robot software. However, development of precise mission specifications is challenging, as engineers need to translate requirements into specification structures often ex- pressed in a logical language – a laborious and error-prone task. Specification patterns, as solutions for recurrent specification problems have been recognized as a solution for this problem. Each pattern details the usage intent, known uses, relationships to other patterns, and—most importantly—a template mission specification in temporal logic. Patterns constitute reusable build- ing blocks that can be used by engineers to create complex mission specifications while reducing mistakes. To this end, we describe PsALM, a toolchain supporting the development of dependable robotic missions. PsALM supports the description of mission requirements through specification patterns and allows automatic generation of mission specifications. PsALM produces specifications expressed in LTL and CTL temporal logics to be used by planners, simulators and model checkers, supporting systematic mission design. [less ▲]

Detailed reference viewed: 105 (29 UL)
Full Text
Peer Reviewed
See detailFrameworks for designing and implementing dependable systems using Coordinated Atomic Actions: A comparative study
Capozucca, Alfredo UL; Guelfi, Nicolas UL; Pelliccione, Patrizio et al

in Journal of Systems and Software (2009), 82(2), 207-228

This paper presents ways of implementing dependable distributed applications designed using the Coordinated Atomic Action (CAA) paradigm. CAAs provide a coherent set of concepts adapted to fault tolerant ... [more ▼]

This paper presents ways of implementing dependable distributed applications designed using the Coordinated Atomic Action (CAA) paradigm. CAAs provide a coherent set of concepts adapted to fault tolerant distributed system design that includes structured transactions, distribution, cooperation, competition, and forward and backward error recovery mechanisms triggered by exceptions. DRIP (Dependable Remote Interacting Processes) is an efficient Java implementation framework which provides support for implementing Dependable Multiparty Interactions (DMI). As DMIs have a softer exception handling semantics compared with the CAA semantics, a CAA design can be implemented using the DRIP framework. A new framework called CAA-DRIP allows programmers to exclusively implement the semantics of CAAs using the same terminology and concepts at the design and implementation levels. The new framework not only simplifies the implementation phase, but also reduces the final system size as it requires less number of instances for creating a CAA at runtime. The paper analyses both implementation frameworks in great detail, drawing a systematic comparison of the two. The CAAs behaviour is described in terms of Statecharts to better understand the differences between the two frameworks. Based on the results of the comparison, we use one of the frameworks to implement a case study belonging to the e-health domain. [less ▲]

Detailed reference viewed: 134 (3 UL)
Peer Reviewed
See detailThe Fault-Tolerant Insulin Pump Therapy
Capozucca, Alfredo UL; Guelfi, Nicolas UL; Pelliccione, Patrizio

in Michael, Butler; Cliff, Jones; Alexander, Romanovsky (Eds.) et al Rigorous Development of Complex Fault-Tolerant Systems, 4157 (2006)

The “Fault-Tolerant Insulin Pump Therapy” is based on the Continuous Subcutaneous Insulin Injection technique which combines devices (a sensor and a pump) and software in order to make glucose sensing and ... [more ▼]

The “Fault-Tolerant Insulin Pump Therapy” is based on the Continuous Subcutaneous Insulin Injection technique which combines devices (a sensor and a pump) and software in order to make glucose sensing and insulin delivery automatic. These devices are not physically connected together and they come with the necessary features to detect malfunctions which they may have. As the patient’s health is the most important, the therapy has to be able to work despite the fact that hardware and/or software faults have or may occur. This paper presents the development cycle for the Insulin Pump Therapy Control System case study, starting from requirements and reaching the implementation following a top-down approach. It will show how the Coordinated Atomic Actions (CAAs) structuring mechanism can be used for modelling Faul-Tolerant (FT) systems and how CAA-DRIP development environment is used to implement it. [less ▲]

Detailed reference viewed: 96 (0 UL)
Peer Reviewed
See detailCAA-DRIP: a framework for implementing Coordinated Atomic Actions
Capozucca, Alfredo UL; Guelfi, Nicolas UL; Pelliccione, Patrizio et al

in The 17th International Symposium on Software Reliability (2006)

Detailed reference viewed: 103 (8 UL)
See detailCORRECT Developing Fault-Tolerant Distributed Systems
Capozucca, Alfredo UL; Gallina, Barbara UL; Guelfi, Nicolas UL et al

in ERCIM News (2006)

Detailed reference viewed: 51 (3 UL)
Peer Reviewed
See detailModeling Exception Handling: a UML2.0 Platform Independent Profile for CAA
Capozucca, Alfredo UL; Gallina, Barbara UL; Guelfi, Nicolas UL et al

in Proceedings of ECOOP 2005 Workshop on Exception Handling in Object Oriented Systems (2005, July)

Complex fault-tolerant distributed systems have a growing need of new functional and quality requirements. An immediate consequence of this is an increasing need of new methods for developing complex ... [more ▼]

Complex fault-tolerant distributed systems have a growing need of new functional and quality requirements. An immediate consequence of this is an increasing need of new methods for developing complex fault-tolerant distributed applications. Coordinated Atomic Actions (CAAs), making use of exception handling mechanism, offer an approach to ensure the needed requirements of reliability, availability and fault tolerance. Unfortunately, there is currently no method for the high-level modeling of such systems. In this paper, in order to offer an instrument for modeling exception handling, we propose a UML2.0 Platform Independent Profile for CAAs that allows designers to describe complex systems separating the specification from the implementation on a specific technology platform. [less ▲]

Detailed reference viewed: 106 (2 UL)
Peer Reviewed
See detailThe Fault-Tolerant Insulin Pump Therapy
Capozucca, Alfredo UL; Guelfi, Nicolas UL; Pelliccione, Patrizio

in Proceedings of the Workshop on Rigorous Engineering of Fault-Tolerant Systems (2005, July)

In this paper we describe our experience using Coordinated Atomic Actions (CAAs) to design a control system for a medical treatment, which has high reliability requirements. The “Fault-Tolerant Insulin ... [more ▼]

In this paper we describe our experience using Coordinated Atomic Actions (CAAs) to design a control system for a medical treatment, which has high reliability requirements. The “Fault-Tolerant Insulin Pump Therapy” is based on the Continuous Subcutaneous Insulin Injection technique involving different sensors and actuators in order to enable continued execution of the treatment, as well as detect faults in it. Precisely that is the challenge raised by this example, to design a control system that maintains the delivery of insulin even in the presence of a large number and variety of hardware and software failures. The implementation of this control system has been made in Java using an extension of the DRIP framework, that ensures the reliability properties of systems designed using CAAs. [less ▲]

Detailed reference viewed: 107 (1 UL)
See detailSoftware Engineering of Fault Tolerant Systems
Guelfi, Nicolas UL; Pelliccione, Patrizio; Muccini, Henry et al

Book published by Springer (n.d.)

Detailed reference viewed: 39 (0 UL)