365 search results - page 34 / 73 » Requirements Specifications Checking of Embedded Real-Time S... |
DSL
2009
13 years 5 months ago
2009
Traversals of heterogeneous object structures are the most common operations in schema-first applications where the three key issues are (1) separation of traversal specifications ...
ICAS
2008
IEEE
14 years 2 months ago
2008
IEEE
—The purpose of this paper is to present the linkage of Thetis (a real time multi-vehicles hybrid simulator for heterogeneous vehicles) with a control architecture for the manage...
SPIN
2005
Springer
14 years 1 months ago
2005
Springer
Embedded software verification is an important verification problem that requires the ability to reason about the timed semantics of concurrent behaviors at a low level of atomic...
SPLC
2008
2008
Using Aspects and Component Concepts to Improve Reuse of Software for Embedded Systems Product Lines
13 years 9 months ago
Embedded systems have several characteristics, such as application specific needs, real-time constraints and intrinsic embedded concerns (i.e. energy consumption), which hinder th...
RTCSA
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we consider data freshness and overload handling in embedded systems. The requirements on data management and overload handling are derived from an engine control so...