Modeling a Heterogeneous Embedded System in Coloured Petri Nets
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'...
Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2014-01-01
|
| Series: | Journal of Applied Mathematics |
| Online Access: | http://dx.doi.org/10.1155/2014/943094 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832553421307117568 |
|---|---|
| author | Huafeng Zhang Hehua Zhang Ming Gu Jiaguang Sun |
| author_facet | Huafeng Zhang Hehua Zhang Ming Gu Jiaguang Sun |
| author_sort | Huafeng Zhang |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-bb6b980c2c064f28a5d0d49fca9e786a |
| institution | Kabale University |
| issn | 1110-757X 1687-0042 |
| language | English |
| publishDate | 2014-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | Journal of Applied Mathematics |
| spelling | doaj-art-bb6b980c2c064f28a5d0d49fca9e786a2025-02-03T05:54:06ZengWileyJournal of Applied Mathematics1110-757X1687-00422014-01-01201410.1155/2014/943094943094Modeling a Heterogeneous Embedded System in Coloured Petri NetsHuafeng Zhang0Hehua Zhang1Ming Gu2Jiaguang Sun3School of Computer Science, TNList, Tsinghua University, Beijing 100084, ChinaSchool of Software, TNList, Tsinghua University, Beijing 100084, ChinaSchool of Software, TNList, Tsinghua University, Beijing 100084, ChinaSchool of Software, TNList, Tsinghua University, Beijing 100084, ChinaEmbedded 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.http://dx.doi.org/10.1155/2014/943094 |
| spellingShingle | Huafeng Zhang Hehua Zhang Ming Gu Jiaguang Sun Modeling a Heterogeneous Embedded System in Coloured Petri Nets Journal of Applied Mathematics |
| title | Modeling a Heterogeneous Embedded System in Coloured Petri Nets |
| title_full | Modeling a Heterogeneous Embedded System in Coloured Petri Nets |
| title_fullStr | Modeling a Heterogeneous Embedded System in Coloured Petri Nets |
| title_full_unstemmed | Modeling a Heterogeneous Embedded System in Coloured Petri Nets |
| title_short | Modeling a Heterogeneous Embedded System in Coloured Petri Nets |
| title_sort | modeling a heterogeneous embedded system in coloured petri nets |
| url | http://dx.doi.org/10.1155/2014/943094 |
| work_keys_str_mv | AT huafengzhang modelingaheterogeneousembeddedsystemincolouredpetrinets AT hehuazhang modelingaheterogeneousembeddedsystemincolouredpetrinets AT minggu modelingaheterogeneousembeddedsystemincolouredpetrinets AT jiaguangsun modelingaheterogeneousembeddedsystemincolouredpetrinets |