نتایج جستجو برای: state machine model

تعداد نتایج: 2935950  

2005
Kevin Hammond

This chapter describes Hume: a functionally-based language for programming with bounded resource usage, including time and space properties. The purpose of the Hume language design is to explore the expressibility/costability spectrum in resource-constrained systems, such as real-time embedded or control systems. It is unusual in being based on a combination of λ-calculus and finite state machi...

Hamid Shayegh Borujerdi Hassan Jahedi

Composition, change and complexity have attracted ev- eryone’s attention towards Self-Adaptive systems. These systems, inspired by the human body, are capable of adapting to changes in the inner and outer environment. The main objective of this study is to achieve a more con- venient availability for e-banking services in the payment switch, using self-healing systems and focusing on the failur...

Journal: :international journal of advanced design and manufacturing technology 0
ramin barzegar young researchers and elite club, tabriz branch, islamic azad university, tabriz, iran mehran mahboubkhah faculty of mechanical engineering, university of tabriz, tabriz, iran vahid zakeri msc. in department of mechanical engineering, tabriz branch , islamic azad university, tabriz, iran hamed hosseingholi pourasl department of mechanical engineering, eastern mediterranean university (emu), cyprus reza matin department of mechanical engineering, tabriz branch, islamic azad university, tabriz, iran

the occurrence of chatter vibrations in boring operation has a great influence in improving workpiece dimensional accuracy, surface quality and production efficiency. in this paper instability analysis of machining process is presented by dynamic model of boring machine. this model, which consists of machine tool’s structure, is provided by finite element method and ansys software. the model is...

2009
Ariel Gonzalez Carlos Daniel Luna

The study of variability in software development has become increasingly important in recent years. A common mechanism to represent the variability in a product line is by means of feature models. However, the relationship between these models and UML design models is not straightforward. UML statecharts are extended introducing variability in their main components, so that the behavior of prod...

2000
Rajeev Alur Radu Grosu Michael McDougall

Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile them to existing model checkers. Aimed at exploiting the modular structure more effectively, our approach is to develop algorithms that work directly on the hierarchical structure. First, we report on an implementation ...

2013
Alma L. Juarez Dominguez

Model checking is a powerful technique for debugging a system description because it generates a counterexample showing a path of the system that fails a property. Instead of the traditional cycle of find bug – fix bug – re-run model checker, often we would like to study multiple bugs before fixing the model to help isolate the cause of the error and to improve the user’s experience by avoiding...

2012
Dimitri Probst Wolfgang Maass Henry Markram Marc-Oliver Gewaltig

We present a biologically inspired recurrent network of spiking neurons and a learning rule that enables the network to balance a ball on a flat circular arena and to steer it towards a target field, by controlling the inclination angles of the arena. The neural controller is a recurrent network of adaptive exponential integrate and fire neurons configured and connected to match properties of c...

Journal: :Computer Communications 1990
Behçet Sarikaya Vassilios N. Koukoulidis Gregor von Bochmann

Formal specifications are the basis for automated verification and implementation in communication software. The paper gives a method of dynamic analysis for modular specifications which is based on symbolic execution and reachability analysis. Symbolic execution is a technique for static analysis and applied first to the specification. It is effective in detecting syntactic and semantic errors...

1992
Ricky W. Butler

We present the formal verification of synchronizing aspects of the Reliable Computing Platform (RCP), a fault-tolerant computing system for digital flight control applications. The RCP uses NMR-style redundancy to mask faults and internal majority voting to purge the effects of transient faults. The system design has been formally specified and verified using the EHDM verification system. Our f...

1999
Krzysztof Palacz Dan C. Marinescu

Recently we introduced a multi-plane state machine model of an agent, released an implementation of the model, and designed several applications of the agent framework. In this paper we address the translation from the Petri net language to the Blueprint language used for agent description as well as the translation from Blueprint to Petri Nets. The simulation of a class of Place Transition Net...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید