References of "Guelfi, Nicolas 50001902"
     in
Bookmark and Share    
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: 67 (0 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: 84 (0 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: 98 (1 UL)
Full Text
Peer Reviewed
See detailSCTL: A StateChart Transformation Language for Test Sets Reduction
Guelfi, Nicolas UL; Ries, Benoît UL

in ERCIM Workshop on Dependable Software Intensive Embedded Systems, workshop of the 31st EUROMICRO Conference on Software Engineering and Advanced Appli (2005)

Specification and testing activities are key phases in embedded systems development life cycles. In specification-based testing approaches, test cases are solely generated from the system specification ... [more ▼]

Specification and testing activities are key phases in embedded systems development life cycles. In specification-based testing approaches, test cases are solely generated from the system specification. Test cases are often too numerous to be executed exhaustively. In practice, test engineers often select test cases based on informal approximations. We aim at improving these activities by formulating abstraction hypotheses on system specifications, to reduce generated test sets. Our general application framework is the automotive industry, and we aim the specific domain of small-sized real-time embedded systems that must be highly reliable. The main result presented in this paper is a model transformation language that helps test engineers to select test cases based on system specifications. [less ▲]

Detailed reference viewed: 72 (6 UL)
Full Text
Peer Reviewed
See detailA Study of Mobile Internet Technologies for Secure e-commerce Applications Development
Guelfi, Nicolas UL; Pruski, Cédric UL; Ries, Benoît UL

in Techniques and Applications for Mobile Commerce (TAMOCO) part of Multi-Konferenz Wirtschaftsinformatik 2004 (2004)

With mobile e-commerce, mobile user can buy or trade for things or services when on the move, anywhere and at anytime. Mobile e-commerce will contribute to raise the user’s standard of living. However, to ... [more ▼]

With mobile e-commerce, mobile user can buy or trade for things or services when on the move, anywhere and at anytime. Mobile e-commerce will contribute to raise the user’s standard of living. However, to reach this objective, security measures have to be strong in order to conquer the users’ trust. The objective of this paper is to present how we could adapt an architectural framework to support the development of secure m-commerce applications. This is done based on our case study, called Luxdeal and our study of the current mobile Internet technologies. [less ▲]

Detailed reference viewed: 68 (2 UL)
Full Text
Peer Reviewed
See detailA Formal Approach for the Specification and the Verification of UML Structural Properties: Application to E-Business Domain
Guelfi, Nicolas UL; Mammar, Amel UL; Ries, Benoît UL

in International Workshop on Software Verification and Validation (SVV 2004), workshop of ICFEM'04 (2004)

This paper presents a formal approach for the specification and the verification of UML diagrams against a set of structural properties. This work is part of the E-fficient research project, aiming at ... [more ▼]

This paper presents a formal approach for the specification and the verification of UML diagrams against a set of structural properties. This work is part of the E-fficient research project, aiming at building correct e-business processes. An e-business process is described using class and activity diagrams. The verification of structural properties gives a degree of confidence regarding the correctness of the related business process. Our proposal is based on the formal approach promoted by the USE tool. The USE approach aims at validating a particular state of an object model against properties described in OCL. The contributions of this paper are: the introduction of meta-model based on class diagrams for UML diagrams to be verified, rules for the translation of the class, object and activity diagrams into USE specifications, and the specification of structural properties in OCL. [less ▲]

Detailed reference viewed: 77 (6 UL)
Full Text
Peer Reviewed
See detailEngineering of Dependable Complex Business Processes using UML and Coordinated Atomic Actions
Guelfi, Nicolas UL; Le Cousin, Guillaume UL; Ries, Benoît UL

in International Workshop on Modeling Inter-Organizational Systems (MIOS'04) (2004)

For many companies, it is widely recognized that languages and methods for modeling and analyzing distributed business processes are becoming more and more important. For improving efficiency, the ... [more ▼]

For many companies, it is widely recognized that languages and methods for modeling and analyzing distributed business processes are becoming more and more important. For improving efficiency, the modeling language should provide reusability, easy understanding by business analysts, and should ease the validation and verification tasks. In this paper, we present an approach for developing dependable complex business processes using UML that satisfies these requirements. The proposed UML notation is designed to be directly integrated with COALA, a syntactically and semantically well-defined fault-tolerant advanced transaction model based on Coordinated Atomic Actions. Structuring concepts like nested business processes and fault-tolerance through exception handling are first class concepts brought by our approach that are crucial for modeling cross-enterprise business processes. The modeling phase is followed by a validation phase by business analysts through animation of the business process model in a workflow environment. Due to the precise notation used, automatic verification of crucial properties is accessible through integration with an automatic verifier. [less ▲]

Detailed reference viewed: 105 (1 UL)
Full Text
Peer Reviewed
See detailMEDAL: A CASE Tool Extension for Model-driven Software Engineering
Guelfi, Nicolas UL; Ries, Benoît UL; Sterges, Paul UL

in SwSTE'03 IEEE International Conference on Software - Science, Technology & Engineering (2003)

The complexity of today’s software systems leads to the creation of many related diagrams, representing different viewpoints, different levels of abstraction, and different implementation alternatives ... [more ▼]

The complexity of today’s software systems leads to the creation of many related diagrams, representing different viewpoints, different levels of abstraction, and different implementation alternatives. Model-driven software engineering places these models in the center of the development process. Tool support is an essential aspect of model-driven engineering. Of particular interest are model transformation tools: they can facilitate the creation and the evolution of models; they provide a level of traceability between them and they help keeping them synchronized. Unfortunately, currently there are few such tools for UML-based models. This paper presents MEDAL, our model transformation tool. First, we present our viewpoint on model-driven software engineering. Then we describe MEDAL and how we implemented MEDAL on top of Rational XDE. Finally, in the last section we show how a web application development that is based on an architectural framework can be supported by the MEDAL tool. [less ▲]

Detailed reference viewed: 95 (6 UL)
Full Text
Peer Reviewed
See detailUsing and Specializing a Pattern-Based E-business Framework: An Auction Case Study
Guelfi, Nicolas UL; Ries, Benoît UL

in The 6th Annual IASTED International Conference on Software Engineering and Applications (2002)

Sun's J2EE environment is becoming one of the major technologies for the development of web applications. The reuse of stable and integrated components is a well-known mean to achieve effective software ... [more ▼]

Sun's J2EE environment is becoming one of the major technologies for the development of web applications. The reuse of stable and integrated components is a well-known mean to achieve effective software development. Frameworks have this objective but few frameworks are available for the J2EE platform, and moreover, they are rarely integrated in a global methodological approach supported by a tool. Furthermore, the available literature mainly provides a general conceptual presentation of frameworks. The objective of this paper is to present, from a pragmatic perspective, the use of the J2EE framework called JAFAR devoted to the development of web applications. As JAFAR has been developed from a software engineering point of view, we also show how its use can be supported by CASE tools that support design modeling and allows pattern-based development. For this purpose we used the Rational environment. [less ▲]

Detailed reference viewed: 77 (4 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: 20 (0 UL)