228 search results - page 11 / 46 » On-the-fly symbolic model checking for real-time systems |
ISOLA
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. This article deals with performance verifications of architecture models of real-time embedded systems. We focus on models verified with the real-time scheduling theory...
IJCAI
2007
13 years 9 months ago
2007
The association of perception and action is key to learning by observation in general, and to programlevel task imitation in particular. The question is how to structure this info...
RTSS
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract—We apply automata theory to specifying behavioral interfaces of objects and show how to check schedulability and compatibility of real time asynchronous objects. The beh...
ISPDC
2006
IEEE
14 years 1 months ago
2006
IEEE
We present an incipient implementation of a programming language that allows programming of realtime applications distributed over a network. We have several goals in mind: First,...
IFM
2007
Springer
14 years 1 months ago
2007
Springer
Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analys...