Performance evaluation based on system modeling using Statecharts extensions

Francês, Carlos Renato Lisboa; Oliveira, Edvar da Luz; Costa, João Crisóstomo Weyl Albuquerque; Santana, Marcos José; Santana, Regina Helena Carlucci; Bruschi, Sarita Mazzini; Vijaykumar, Nandamudi Lankalapalli; Carvalho, Solon

doi:10.1016/j.simpat.2005.02.001

Cited by 12 publications

(10 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Additionally, a large number of "dialects" of varying significance have been developed to extend these representations. The most important dialects of Petri nets are stochastic, timed, and high-level Petri nets [64], and the most important dialects of statecharts are stochastic and timed statecharts, as well as modecharts [65][66][67]. Various software packages exist for specification, modelling and simulation of STDs [68], Petri nets [69], and statecharts [63].…”

Section: Formal Representationsmentioning

confidence: 99%

Achieving Closed‐Loop Control Simulation of Human‐Artefact Interaction: A Comparative Review

Vegte

Horváth

2011

Modelling and Simulation in Engineering

View full text Add to dashboard Cite

To include user interactions in simulations of product use, the most common approach is to couple human subjects to simulation models, using hardware interfaces to close the simulation-control loop. Testing with virtual human models could offer a lowcost addition to evaluation with human subjects. This paper explores the possibilities for coupling human and artefact models to achieve fully software-based interaction simulations. We have critically reviewed existing partial solutions to simulate or execute control (both human control and product-embedded control) and compared solutions from literature with a proof-of-concept we have recently developed. Our concept closes all loops, but it does not rely on validated algorithms to predict human decision making and low-level human motor control. For low-level control, validated solutions are available from other approaches. For human decision making, however, validated algorithms exist only to predict the timing but not the reasoning behind it. To identify decision-making schemes beyond what designers can conjecture, testing with human subjects remains indispensable.

show abstract

Section: Formal Representationsmentioning

confidence: 99%

Achieving Closed‐Loop Control Simulation of Human‐Artefact Interaction: A Comparative Review

Vegte

Horváth

2011

Modelling and Simulation in Engineering

View full text Add to dashboard Cite

show abstract

“…The Statecharts defines four kinds of events: generated by asynchronous processes, generated by an action within a machine, generated by the change in value of an attribute, and generated by regular time advances. By allowing probability distributions of time to event, the Statecharts are also capable of capturing the stochastic behavior of a reactive system [36].…”

Section: Statechartsmentioning

confidence: 99%

“…For example, the event that activates the machine "Scheduling OR time" is synchronized with weekly clock, whereas the event that triggers the placement of a patient record on the surgical wait list is generated by the machine "Outpatient appointments" at the completion of a consultation. The machines react to internal and external events by broadcasting other events, by calling algorithmic functions, or by updating internal queues and data stores similar to what was described elsewhere [36]. Some of these updates trigger actions across several states or machines.…”

Section: A Statecharts-based Modelmentioning

confidence: 99%

See 1 more Smart Citation

Using the Statecharts paradigm for simulation of patient flow in surgical care

Sobolev

Harel

Vasilakis

et al. 2007

Health Care Manage Sci

View full text Add to dashboard Cite

Computer simulation of patient flow has been used extensively to assess the impacts of changes in the management of surgical care. However, little research is available on the utility of existing modeling techniques. The purpose of this paper is to examine the capacity of Statecharts, a system of graphical specification, for constructing a discrete-event simulation model of the perioperative process. The Statecharts specification paradigm was originally developed for representing reactive systems by extending the formalism of finite-state machines through notions of hierarchy, parallelism, and event broadcasting. Hierarchy permits subordination between states so that one state may contain other states. Parallelism permits more than one state to be active at any given time. Broadcasting of events allows one state to detect changes in another state. In the context of the peri-operative process, hierarchy provides the means to describe steps within activities and to cluster related activities, parallelism provides the means to specify concurrent activities, and event broadcasting provides the means to trigger a series of actions in one activity according to transitions that occur in another activity. Combined with hierarchy and parallelism, event broadcasting offers a convenient way to describe the interaction of concurrent activities. We applied the Statecharts formalism to describe the progress of individual patients through surgical care as a series of asynchronous updates in patient records generated in reaction to events produced by parallel finite-state machines representing concurrent clinical and managerial activities. We conclude that Statecharts capture successfully the behavioral aspects of surgical care delivery by specifying permissible chronology of events, conditions, and actions.

show abstract

“…Thanks to Dr. Solon Carvalho for giving permission to use the Stochastic Modeling Software (MODESTO) [12].…”

Section: Final Remarksmentioning

confidence: 99%

A Markovian Performance Model for Resource Allocation Scheduling on GNU/Linux

Kawasaki

Guedes

Cardoso

et al. 2006

Frontiers of High Performance Computing and Networking – ISPA 2006 Workshops

View full text Add to dashboard Cite

Abstract. The current paper addresses the problem of quality of service (QoS) provisioning in a general purpose operating system (GPOS), in this case GNU/Linux. Particularly, we propose to change the CPU allocation in that OS by reserving a percentage of a CPU capacity in order to ensure the QoS provisioning according to the QoS demand of each process. In order to investigate the effectiveness of that approach, Markovian models are proposed to represent the dynamics of the systems. Results show that the OS with reservation outperforms the system without it, but also that there is a performance tradeoff in the OS with reservation in such a way that an improvement in the QoS perceived by processes using the reserved capacity is done at a cost of a degradation in the QoS perceived by the other processes.

show abstract

Performance evaluation based on system modeling using Statecharts extensions

Cited by 12 publications

References 8 publications

Achieving Closed‐Loop Control Simulation of Human‐Artefact Interaction: A Comparative Review

Achieving Closed‐Loop Control Simulation of Human‐Artefact Interaction: A Comparative Review

Using the Statecharts paradigm for simulation of patient flow in surgical care

A Markovian Performance Model for Resource Allocation Scheduling on GNU/Linux

Contact Info

Product

Resources

About