Parameterized Partial Orders for Modeling Embedded System Use Cases: Formal Definition and Translation to Coloured Petri Nets

2011 ◽  
Author(s):  
Nikola Trcka ◽  
Marc Voorhoeve ◽  
Twan Basten
Keyword(s):  
Embedded System ◽  
Petri Nets ◽  
Partial Orders ◽  
Use Cases ◽  
Coloured Petri Nets ◽  
Formal Definition ◽  
System Use

Validation and Verification of Software Systems Using Virtual Reality and Coloured Petri Nets

2007 ◽  
pp. 28-54
Author(s):  
Hyggo Almeida ◽  
Leandro Silva ◽  
Glauber Ferreira ◽  
Emerson Loureiro ◽  
Angelo Perkusich
Keyword(s):  
Virtual Reality ◽  
Embedded System ◽  
Petri Nets ◽  
Formal Methods ◽  
Software Tool ◽  
Software Systems ◽  
Coloured Petri Nets ◽  
Validation And Verification ◽  
Verification Techniques

Validation and verification techniques have been identified as suitable mechanisms to determine if the software meets the needs of the user and to verify if the software works correctly. However, the existing verification techniques do not support friendly visualization. Also, validation techniques with friendly visualization mechanisms do not allow the verification of the system’s correctness. In this chapter, we present a method for the validation and verification of software systems through the integration of formal methods and virtual reality. Furthermore, a software tool associated with such a method is also described along with an embedded system case study.

Formal Definition of Hierarchical Coloured Petri Nets

2009 ◽  
pp. 127-149 ◽  
Author(s):  
Kurt Jensen ◽  
Lars M. Kristensen
Keyword(s):  
Petri Nets ◽  
Coloured Petri Nets ◽  
Formal Definition ◽  
Definition Of

Validation and Verification of Software Systems Using Virtual Reality and Coloured Petri Nets

2009 ◽  
pp. 3361-3380
Author(s):  
Hyggo Oliveira de Almeida ◽  
Leandro Silva ◽  
Glauber Ferreira ◽  
Emerson Loureiro ◽  
Angelo Perkusich
Keyword(s):  
Virtual Reality ◽  
Embedded System ◽  
Petri Nets ◽  
Formal Methods ◽  
Software Tool ◽  
Software Systems ◽  
Coloured Petri Nets ◽  
Validation And Verification ◽  
Verification Techniques

Validation and verification techniques have been identified as suitable mechanisms to determine if the software meets the needs of the user and to verify if the software works correctly. However, the existing verification techniques do not support friendly visualization. Also, validation techniques with friendly visualization mechanisms do not allow the verification of the system’s correctness. In this chapter, we present a method for the validation and verification of software systems through the integration of formal methods and virtual reality. Furthermore, a software tool associated with such a method is also described along with an embedded system case study.

Formal Definition of Timed Coloured Petri Nets

2009 ◽  
pp. 257-271
Author(s):  
Kurt Jensen ◽  
Lars M. Kristensen
Keyword(s):  
Petri Nets ◽  
Coloured Petri Nets ◽  
Formal Definition ◽  
Definition Of

scholarly journals Modeling a Heterogeneous Embedded System in Coloured Petri Nets

2014 ◽  
Vol 2014 ◽  
pp. 1-8 ◽  
Author(s):  
Huafeng Zhang ◽  
Hehua Zhang ◽  
Ming Gu ◽  
Jiaguang Sun
Keyword(s):  
Embedded System ◽  
Petri Nets ◽  
Heterogeneous System ◽  
Personal Computers ◽  
Coloured Petri Nets ◽  
Embedded Devices ◽  
And Behaviors ◽  
Programming Paradigms

Embedded devices are everywhere now and, unlike personal computers, their systems differ in implementation languages and behaviors. Interactions of different devices require programmers to master programming paradigms in all related languages. So, a defect may occur if differences in systems' behaviors are ignored. In this paper, a heterogeneous system which is composed of two subsystems is introduced and we point out a potential defect in this system caused by an interface mismatch. Then, a state based approach is applied to verify our analysis of the system.

Sign in / Sign up

Export Citation Format

Share Document