-
[show abstract]
[hide abstract]
ABSTRACT: Dependability is a paramount requirement for computer systems, since failures can cause a serious economic impact and jeopardize
profitability. This paper considers electronic funds transfer (EFT) systems, where computing resources must be used efficiently
in order to achieve high availability and reliability for a high quality of the offered service. The design of fault-tolerant
computer systems requires their model-based performability evaluation. A stochastic Petri net model of EFT architecture and
behavior is presented to evaluate the impact of availability and reliability issues on computational resources. An industrial
case study shows the practical usability of the proposed models and techniques.
KeywordsEFT system–Performance and reliability analysis–Modeling–Faults Model–Stochastic Petri nets
Computing 04/2012; 91(4):315-334. · 0.70 Impact Factor
-
2011 Spring Simulation Multi-conference, SpringSim '11, Boston, MA, USA, April 03-07, 2011. Volume 4: Proceedings of the 2011 Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium (TMS-DEVS).; 01/2011
-
Microprocessors and Microsystems - Embedded Hardware Design. 01/2011; 35:426-440.
-
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Anchorage, Alaska, USA, October 9-12, 2011; 01/2011
-
Computing. 01/2011; 91:315-334.
-
Inf. Process. Lett. 01/2010; 110:525-534.
-
ISSE. 01/2010; 6:107-114.
-
Bruno L. B. Silva,
Paulo Romero Martins Maciel,
Eduardo Antonio Guimarães Tavares, Carlos Araújo,
Gustavo Rau de Almeida Callou,
Erica Sousa,
Nelson Souto Rosa,
Manish Marwah,
Ratnesh K. Sharma,
Amip Shah,
Tom Christian,
Jose Paulo Pires
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Istanbul, Turkey, 10-13 October 2010; 01/2010
-
Manish Marwah,
Paulo Romero Martins Maciel,
Amip Shah,
Ratnesh K. Sharma,
Tom Christian,
Virgilio Almeida, Carlos Araújo,
Erica Sousa,
Gustavo Rau de Almeida Callou,
Bruno Silva,
Sergio Mario Lins Galdino,
Jose Paulo Pires
SIGMETRICS Performance Evaluation Review. 01/2010; 37:64-68.
-
Gustavo Rau de Almeida Callou,
Erica Sousa,
Paulo Romero Martins Maciel,
Eduardo Antonio Guimarães Tavares, Carlos Araújo,
Bruno L. B. Silva,
Nelson Souto Rosa,
Manish Marwah,
Ratnesh K. Sharma,
Amip Shah,
Tom Christian,
Jose Paulo Pires,
F. S. Magnani
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Istanbul, Turkey, 10-13 October 2010; 01/2010
-
Proceedings of the 14th IEEE Symposium on Computers and Communications (ISCC 2009), July 5-8, Sousse, Tunisia; 01/2009
-
Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009; 01/2009
-
First International Conference on Intensive Applications and Services, INTENSIVE 2009, Valencia, Spain, 20-25 April 2009; 01/2009
-
23rd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2009, Rome, Italy, May 23-29, 2009; 01/2009
-
[show abstract]
[hide abstract]
ABSTRACT: Before deciding which COTS (commercial off-the-shelf) component will be developed to a given embedded software system, there is a need to estimate the energy consumption and execution time, since a good estimation can help in the decision of whether to implement a COTS solution or not. Thus, a designer is able to guarantee that a component will fit into a target system. This paper presents the mapping process of SysML State Machine diagram into a Time Petri Net with energy constraints in order to analyze timing and energy consumption requirements in early phases of the real-time embedded component development life-cycle. The estimates obtained from the model show that the proposed approach is indeed a good approximation to the respective measures obtained from the real hardware platform.
Information Processing Letters.
-
[show abstract]
[hide abstract]
ABSTRACT: Requirements validation is a critical task in any embedded real-time system project. Normally, these systems have stringent timing constraints that must be satisfied for the correct functioning, since violation might be catastrophic, such as loss of human lives. In addition, there are systems where energy is another constraint that must also be satisfied. Hence, early detection of potential problems may reduce risks of faults propagations from early specification to the final code. This paper presents the mapping process of UML Sequence diagram into a Time Petri Net with Energy constraints (ETPN) so as to validate timing and energy requirements in early phases of the embedded system development life-cycle. Besides, the estimates obtained from the model are 95% close to the respective measures obtained from the real hardware platform.
