1294 search results - page 48 / 259 » A Conditional Scheduling Approach to Designing Real-Time Sys... |
176
click to vote
CSREAESA
2006
15 years 5 months ago
2006
- We present a software tool for high-level design and analysis of large-scale embedded real-time software, which has been integrated into a vehicle control platform development to...
154
click to vote
IFM
2007
Springer
15 years 10 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...
150
click to vote
ENTCS
2007
15 years 4 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
212
click to vote
HOLOMAS
2009
Springer
15 years 8 months ago
2009
Springer
The paper gives overview of a multi-agent real-time scheduler for the European operation of one of the largest rent-a-car company in the world. It describes requirements for schedu...
126
click to vote
FBT
1998
15 years 5 months ago
1998
We build on work in designing modeling languages for hybrid systems in the development of CTA, the Cottbus Timed Automata. Our design features a facility to specify a hybrid system...