1105 search results - page 102 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
185
Voted
ICALP
1997
Springer
15 years 10 months ago
1997
Springer
Rectangular hybrid automatamodel digital control programs of analog plant environments. We study rectangular hybrid automatawhere the plant state evolves continuously in real-numbe...
171
click to vote
EUROMICRO
2005
IEEE
15 years 11 months ago
2005
IEEE
The guaranty of meeting the timing constraints during the design phase of real-time component-based embedded software has not been realized. To satisfy real-time requirements, we ...
160
click to vote
ETFA
2008
IEEE
16 years 18 days ago
2008
IEEE
This paper presents a novel colored Petri net model for the simulation of fully-switched Ethernet based networked control systems (NCS). The model of the NCS is built from models ...
195
click to vote
ATVA
2008
Springer
15 years 8 months ago
2008
Springer
UPPAAL PORT is a new tool for component-based design and analysis of embedded systems. It operates on the hierarchically structured continuous time component modeling language Save...