IPPS
1998
IEEE
13 years 9 months ago
1998
IEEE
This paper presents the RTExpressTM environment which is a software tool that assists a user in rapidly developing real-time embedded systems. RTExpressTM is a compiler and runtim...
ICCD
1999
IEEE
13 years 9 months ago
1999
IEEE
In this paper, we present a hierarchical evolutionary approach to hardware/software partitioning for real-time embedded systems. In contrast to most of previous approaches, we app...
CBSE
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. The usage of components brings significant help in development of real-time embedded systems. There have been a number of component frameworks developed for this purpose...
ACMSE
2004
ACM
13 years 10 months ago
2004
ACM
Real-time embedded systems are time-critical systems that are hard to implement as compared to traditional commercial software, due to the large number of conflicting requirements...
EMSOFT
2005
Springer
13 years 10 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
ICESS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Synchronous models are useful for designing real-time embedded systems because they provide timing control and deterministic concurrency. However, the semantics of such m...
ECRTS
2005
IEEE
13 years 10 months ago
2005
IEEE
Advances in wireless technology have brought us closer to extensive deployment of distributed real-time embedded systems connected through a wireless channel. The medium access co...
SAC
2006
ACM
13 years 10 months ago
2006
ACM
Many embedded systems are designed to take timely reactions to the occurrences of interested scenarios. Sometimes transient overloads might be experienced due to hardware malfunct...
RTCSA
2006
IEEE
13 years 10 months ago
2006
IEEE
Real-time embedded systems are increasingly being networked. In distributed real-time embedded applications, e.g., electric grid management and command and control applications, i...
FDL
2006
IEEE
13 years 11 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...