Model Based Formal Verification of Distributed Production Control Systems

Software Testing is one of the indispensable parts of the software development lifecycle and structural testing is one of the most widely used testing paradigms to test various software. Structural testing relies on code path identification, which in turn leads to identification of effective paths. Aim of the current paper is to present a simple and novel algorithm with the help of an ant colony optimization, for the optimal path identification by using the basic property and behavior of the ants. This novel approach uses certain set of rules to find out all the effective/optimal paths via ant colony optimization (ACO) principle. The method concentrates on generation of paths, equal to the cyclomatic complexity. This algorithm guarantees full path coverage.

show abstract

“…Transition is the change of state of an object. Action is one or more actions taken by an object in response to a state change [18].…”

Section: Path Testingmentioning

confidence: 99%

An approach of optimal path generation using ant colony optimization

Srivastava

Baby

Raghurama

2009

TENCON 2009 - 2009 IEEE Region 10 Conference

View full text Add to dashboard Cite

show abstract

“…The mapping of the statecycle event in Fig. 9 gives an example, how the predefined time events are ascribed to signal based events [28]. The timer is added to the state machine without modifying the definition of states and transitions.…”

Section: Specification Of the System Behavior With Timed State Dmentioning

confidence: 99%

Specification of hard real-time industrial automation systems with UML-PA

Bitsch

Greil

Gutbrodt

et al.

INDIN '05. 2005 3rd IEEE International Conference on Industrial Informatics, 2005.

View full text Add to dashboard Cite

Nowadays Unified Modeling Language (UML) has found widespread use in software development of commercial IT systems. But the application in industrial automation is still rare. The domain of process automation involves special requirements on software development. Important requirements on the notation used for software specification arise from the real-time characteristics of industrial automation systems. In order to consider these requirements in software design to avoid a hard clash in development between design and implementation the UML notation has to be used in a specific manner. UML for Process Automation (UML-PA) simplifies system and software development for distributed real-time systems. This paper presents adoptions of UML regarding real-time specific modeling elements.

show abstract

Functional Verification for Uml - Based Model Driven Design of Embedded Systems

Kardos

Fristacky

IFIP on-Line Library in Computer Science

View full text Add to dashboard Cite

Model Based Formal Verification of Distributed Production Control Systems

Cited by 6 publications

References 10 publications

An approach of optimal path generation using ant colony optimization

An approach of optimal path generation using ant colony optimization

Specification of hard real-time industrial automation systems with UML-PA

Functional Verification for Uml - Based Model Driven Design of Embedded Systems

Contact Info

Product

Resources

About