163
click to vote
SIES
15 years 10 months ago
2007 IEEE 
— This paper introduces and formally defines the environment-and-system-partitioned property for behavioral models of reactive systems expressed in the formal modeling language ...
112
click to vote
SIES
15 years 10 months ago
2007 IEEE
In our previous work [1], Full Duplex Switched Ethernet was put forward as an attractive candidate to replace the MIL-STD 1553B data bus, in next generation "1553B"embedd...
128
click to vote
SIES
15 years 10 months ago
2007 IEEE 
Abstract— The number of electronic systems in cars is continuously growing. Electronic systems, consisting of so-called electronic control units (ECUs) interconnected by a commun...
134
click to vote
SIES
15 years 10 months ago
2007 IEEE
— High level synthesis is one of the next major steps to improve the hw/sw co-design process. The advantages of high nthesis are two-fold. At first the level of abstraction is r...
128
click to vote
SIES
15 years 10 months ago
2007 IEEE 
— In this paper we present an architecture for a test and diagnosis toolset for FlexRay-based automotive distributed networks. Next to data monitoring and recording, this toolset...
|
Embedded Systems