252 search results - page 26 / 51 » SaveCCM: An Analysable Component Model for Real-Time Systems |
SAFECOMP
1998
Springer
14 years 25 days ago
1998
Springer
Abstract. We present a method to specify software for a special kind of safetycritical embedded systems, where sensors deliver low-level values that must be abstracted and pre-proc...
ICRA
2005
IEEE
14 years 2 months ago
2005
IEEE
— Few systems have integrated the correct tactile and kinesthetic force feedback response with an accurate computational model of a compliant environment. We examine several desi...
UML
2001
Springer
14 years 1 months ago
2001
Springer
We present a real-time execution semantics for UML activity graphs that is intended for workflow modelling. The semantics is defined in terms of execution algorithms that define...
JIRS
2008
13 years 8 months ago
2008
Abstract This paper proposes an approach for reducing the computational complexity of a model-predictive-control strategy for discrete-time hybrid systems with discrete inputs only...
CBSE
2008
Springer
13 years 10 months ago
2008
Springer
Current software component models insufficiently reflect the different stages of component life-cycle, which involves design, implementation, deployment, and runtime. Therefore, re...