1090 search results - page 138 / 218 » Case Study: Componentization of an Industrial Control System |
IMCSIT
2010
2010
Integration of Scheduling Analysis into UML Based Development Processes Through Model Transformation
13 years 4 months ago
The complexity of embedded systems and their safety requirements have risen significantly in recent years. Models and the model based development approach help to keep overview and...
CTW
2002
13 years 9 months ago
2002
: Information Systems (IS) and technology are used extensively throughout the NHS, and the 1998 national information strategy, "Information for Health", sets out how the ...
SBMF
2009
Springer
14 years 3 months ago
2009
Springer
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
CAV
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. We propose a new statistical approach to analyzing stochastic systems against specifications given in a sublogic of continuous stochastic logic (CSL). Unlike past numeri...
DAC
2003
ACM
14 years 10 months ago
2003
ACM
Schedulability analysis of real-time embedded systems requires worst case timing guarantees of embedded software performance. This involves not only language level program analysi...