358 search results - page 43 / 72 » Model-Based Specification and Execution of Embedded Real-Tim... |
ENTCS
2008
13 years 7 months ago
2008
We present the current state of our STSLib project. This project aims at defining an environment to formally specify and execute software components. One important feature is that...
FMICS
2009
Springer
13 years 11 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
RTCSA
2006
IEEE
14 years 1 months ago
2006
IEEE
The modeling approach is not used to its full potential in maintenance of legacy systems. Often, models do not even exist. The main reasons being that the economic implications an...
RTCSA
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are two ...
RTCSA
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper describes a context information acquisition framework for a personal device that equips a variety of sensors. The framework captures context information about a user an...