A Hierarchical Verification Procedure of Timed Petri-Net Model for Real-Time Embedded Systems

2010 ◽  
Author(s):  
Hanbo Wang ◽  
Xingshe Zhou ◽  
Yunwei Dong ◽  
Lei Tang
Keyword(s):  
Embedded Systems ◽  
Real Time ◽  
Petri Net ◽  
Timed Petri Net ◽  
Hierarchical Verification

A Petri Net based Method for Analyzing Schedulability of Distributed Real-time Embedded Systems

2008 ◽  
Vol 3 (12) ◽  
Author(s):  
Liqiong Chen ◽  
Zhiqing Shao ◽  
Guisheng Fan ◽  
Hanhua Ma
Keyword(s):  
Embedded Systems ◽  
Real Time ◽  
Petri Net

A Research of a Remote Control System Based on Timed Petri Net for PDA

2012 ◽  
Vol 472-475 ◽  
pp. 1114-1118
Author(s):  
Wen Chin Chen ◽  
Yi Chia Tai ◽  
Kai Ping Liu
Keyword(s):  
Control System ◽  
Real Time ◽  
Petri Net ◽  
Personal Digital Assistant ◽  
Current Status ◽  
Real Time Control ◽  
Timed Petri Net ◽  
The Real ◽  
Time Control ◽  
Site Monitoring

In the distributed control system, it is not easy to communicate between different operating systems due to the different control platforms. Therefore, the control system is difficult to repair and upgrade. In this study, we employ Timed Petri Net to build up architecture of the real-time control system. The client not only can monitor the current status of production line via the World Wide Web in the OEM plant but also can allow equipment supplier to perform supervision, analysis, and repair in the real-time state. The operation of the hardware platform that is no longer limited to the personal computer (PC) can also support the use of PDA(Personal Digital Assistant) , and internet browsing hardware, and web site monitoring system connected through the web page to monitor the purpose of monitoring equipment machine.

scholarly journals A Novel Rail-Network Hardware Simulator for Embedded System Programming

Electronics ◽  
2020 ◽  
Vol 10 (1) ◽  
pp. 13
Author(s):  
Balaji M ◽  
Chandrasekaran M ◽  
Vaithiyanathan Dhandapani
Keyword(s):  
Embedded Systems ◽  
Embedded System ◽  
Real Time ◽  
Learning Outcomes ◽  
Real World ◽  
Time Constraints ◽  
Network Simulator ◽  
Practical Applications ◽  
Rail Network ◽  
Knowledge Enhancement

A Novel Rail-Network Hardware with simulation facilities is presented in this paper. The hardware is designed to facilitate the learning of application-oriented, logical, real-time programming in an embedded system environment. The platform enables the creation of multiple unique programming scenarios with variability in complexity without any hardware changes. Prior experimental hardware comes with static programming facilities that focus the students’ learning on hardware features and programming basics, leaving them ill-equipped to take up practical applications with more real-time constraints. This hardware complements and completes their learning to help them program real-world embedded systems. The hardware uses LEDs to simulate the movement of trains in a network. The network has train stations, intersections and parking slots where the train movements can be controlled by using a 16-bit Renesas RL78/G13 microcontroller. Additionally, simulating facilities are provided to enable the students to navigate the trains by manual controls using switches and indicators. This helps them get an easy understanding of train navigation functions before taking up programming. The students start with simple tasks and gradually progress to more complicated ones with real-time constraints, on their own. During training, students’ learning outcomes are evaluated by obtaining their feedback and conducting a test at the end to measure their knowledge acquisition during the training. Students’ Knowledge Enhancement Index is originated to measure the knowledge acquired by the students. It is observed that 87% of students have successfully enhanced their knowledge undergoing training with this rail-network simulator.

Sign in / Sign up

Export Citation Format

Share Document